Testing elementary function identities using CAD

DOI10.1007/S00200-007-0052-YMaRDI QIDQ944998zbMATH OpenOpenAlexWikidataFDO

Authors James C. Beaumont, Russell Bradford, James H. Davenport, Nalina Phisanbut

Publication date 10 September 2008

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00200-007-0052-y

zbMATH Keywords

CADelementary functionsbranch cuts

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational aspects and applications of commutative rings (13P99)

Recommendations

• Testing matrix function algorithms using identities
• Calculation and testing of discriminant functions
• Testing functional inequalities
• Testing piecewise functions
• Testing linear-invariant function isomorphism
• scientific article; zbMATH DE number 1263427
• Testing regularity of functional equations with computer
• Proving properties about functions on lists involving element tests
• Evaluating elementary functions with guaranteed precision

Cites work

• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 1263422 (Why is no real title available?)
• scientific article; zbMATH DE number 2151178 (Why is no real title available?)
• scientific article; zbMATH DE number 2151213 (Why is no real title available?)
• scientific article; zbMATH DE number 3996993 (Why is no real title available?)
• scientific article; zbMATH DE number 3273551 (Why is no real title available?)
• A cluster-based cylindrical algebraic decomposition algorithm
• A fast Euclidean algorithm for Gaussian integers
• A poly-algorithmic approach to simplifying elementary functions
• Adherence is better than adjacency: computing the Riemann index using CAD
• Counting connected components of a semialgebraic set in subexponential time
• Efficient projection orders for CAD
• Not seeing the roots for the branches: multivalued functions in computer algebra
• On using bi-equational constraints in CAD construction
• Partial cylindrical algebraic decomposition for quantifier elimination
• Real quantifier elimination is doubly exponential
• Reasoning about the elementary functions of complex analysis
• Some undecidable problems involving elementary functions of a real variable

Cited in

(4)

• Recent advances in real geometric reasoning
• scientific article; zbMATH DE number 1961544 (Why is no real title available?)
• Adherence is better than adjacency: computing the Riemann index using CAD
• Not seeing the roots for the branches: multivalued functions in computer algebra

Describes a project that uses

Uses Software

• QEPCAD

This page was built for publication: Testing elementary function identities using CAD

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q944998)