Equality in computer algebra and beyond.
type: Item
instance of: scholarly article
title: Equality in computer algebra and beyond.
zbMATH Open document ID: 1037.68161
author: James H. Davenport
published in: Journal of Symbolic Computation
publication date: 2003-08-21T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1968941
zbMATH Keywords: computer algebra systems
Wikidata QID: Q59590626
describes a project that uses: AXIOM
describes a project that uses: LARCH
describes a project that uses: Magma
describes a project that uses: MACSYMA
describes a project that uses: GAP
describes a project that uses: REDUCE
describes a project that uses: LISP
MaRDI profile type: Publication
full work available at URL: jsco.2002.0551
OpenAlex ID: W1982013717
cites work: Q3331506
cites work: Q4234284
cites work: The Magma algebra system. I: The user language
cites work: Rational Exponential Expressions and a Conjecture Concerning π and e
cites work: Formal and efficient primality proofs by use of computer algebra oracles
cites work: Q4322849
cites work: Q4536341
cites work: Q4302494
cites work: Q4232479
cites work: Q4282672
cites work: Infinite power series
cites work: An exact real algebraic arithmetic with equality determination
cites work: Q4023355
cites work: Computing with polynomials given by black boxes for their evaluations: greatest common divisors, factorization, separation of numerators and denominators
cites work: Explicit Galois realization of transitive groups of degree up to 15
cites work: Computing with Formal Power Series
cites work: Probabilistic algorithm for testing primality
cites work: Q4234243
cites work: Q4317890
cites work: Q3997095
DOI: 10.1006/JSCO.2002.0551
description: scientific article; zbMATH DE number 1968941