Equality in computer algebra and beyond.

DOI10.1006/jsco.2002.0551zbMath1037.68161WikidataQ59590626 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

68W30: Symbolic computation and algebraic computation

68N15: Theory of programming languages

Related Items

Effective Set Membership in Computer Algebra and Beyond, Hidden verification for computational mathematics

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