Equality in computer algebra and beyond.

DOI10.1006/jsco.2002.0551zbMath1037.68161OpenAlexW1982013717WikidataQ59590626 ScholiaQ59590626MaRDI QIDQ1404423

James H. Davenport

Publication date: 21 August 2003

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.2002.0551

zbMATH Keywords

computer algebra systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theory of programming languages (68N15)

Related Items

Hidden verification for computational mathematics, Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework, A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy, Effective Set Membership in Computer Algebra and Beyond

Uses Software

• AXIOM
• GAP
• Magma
• REDUCE
• MACSYMA
• LARCH
• LISP

Cites Work

• Formal and efficient primality proofs by use of computer algebra oracles
• Computing with polynomials given by black boxes for their evaluations: greatest common divisors, factorization, separation of numerators and denominators
• Probabilistic algorithm for testing primality
• The Magma algebra system. I: The user language
• An exact real algebraic arithmetic with equality determination
• Infinite power series
• Computing with Formal Power Series
• Rational Exponential Expressions and a Conjecture Concerning π and e
• Explicit Galois realization of transitive groups of degree up to 15
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item