ACM Communications in Computer Algebra, Issue 177, Vol. 45, No. 3, September 2011 Abstracts of Recent Doctoral Dissertations in Computer Algebra Communicated by Jeremy Johnson Each month we are pleased to present abstracts of recent doctoral dissertations in Computer Algebra and Symbolic Computation. We encourage all recent Ph.D. graduates (and their supervisors), who have defended in the past two years, to submit their abstracts for publication in CCA. Please send abstracts to the CCA editors for consideration. Author: Loredana Tec Title: A Symbolic Framework for General Polynomial Domains in Theorema: Applications to Boundary Problems Institution: Research Institute for Symbolic Computation Thesis Advisors: Bruno Buchberger and Markus Rosenkranz In this thesis, we present a symbolic framework for working with general polynomial domains, targeted at dealing with linear boundary problems on the operator level. We consider two approaches for constructing general polynomials: the rst approach comes from universal algebra, whereas the latter employs monoid algebras. This framework is developed in Theorema, an integrated environment for doing mathematics (proving / computing / solving) in a uni ed formal frame anchored in higher-order predicate logic. A hierarchy for general polynomial domains is designed by the powerful construct of functors, a mechanism that was introduced in Theorema by B. Buchberger. In addition, an algorithmic setting is devised for polynomial reduction modulo suitable in nite systems, not covered by existing packages but needed for applications to boundary problems. In the context of symbolic boundary problems, two algebraic structures arise naturally: integrodi erential operators and polynomials. Their symbolic representation and computation involve canonical forms in certain commutative and noncommutative polynomial domains that are realized as instances of the two generic approaches. Furthermore, we establish an interesting link between integro-di erential polynomials and operators: The canonical simpli er of the former is employed in a new automated proof establishing a canonical simpli er for the latter. Various operations are implemented for applications to boundary problems, including the computation of Greenâs operators, composition and factorization of boundary problems for linear ordinary di erential equations and some simple classes of linear partial di erential equations. The implementation is completely coded in the Theorema version of higher-order predicate logic, except for some operations like solving di erential equations, which are delegated to Mathematica.
/lp/association-for-computing-machinery/a-symbolic-framework-for-general-polynomial-domains-in-theorema-D0wYz0mHEB
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Free Article
A symbolic framework for general polynomial domains in theorema: applications to boundary problems
Tec, Loredana
Follow ACM Communications in Computer Algebra
, Volume 45 (3/4)
Association for Computing Machinery – Jan 23, 2012
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
