A system for manipulating polynomials given by straight-line programs
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Journal of Symbolic Computation - Special issue on computational algebraic complexity
Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
Exact Real Computer Arithmetic with Continued Fractions
IEEE Transactions on Computers
AXIOM: the scientific computation system
AXIOM: the scientific computation system
Real algebraic closure of an ordered field: implementation in Axiom
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Programming with algebraic structures: design of the MAGMA language
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
The MAGMA algebra system I: the user language
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Lightweight formal methods for computer algebra systems
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Exact real arithmetic: a case study in higher order programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
An exact real algebraic arithmetic with equality determination
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Computing with Formal Power Series
ACM Transactions on Mathematical Software (TOMS)
Explicit Galois realization of transitive groups of degree up to 15
Journal of Symbolic Computation - Algorithmic methods in Galois Theory
“According to Abramowitz and Stegun” or arccoth needn't be uncouth
ACM SIGSAM Bulletin - Special issue of OpenMath
Formal and efficient primality proofs by use of computer algebra oracles
Journal of Symbolic Computation - Special issue on computer algebra and mechanized reasoning: selected St. Andrews' ISSAC/Calculemus 2000 contributions
Scratchpad's View of Algebra I: Basic Commutative Algebra
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
The design of maple: A compact, portable and powerful computer algebra system
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
A New Scheme for Computing with Algebraically Closed Fields
ANTS-V Proceedings of the 5th International Symposium on Algorithmic Number Theory
Semantics of Exact Real Arithmetic
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Determining equivalence of expressions in random polynomial time
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,
What Might "Understand a Function" Mean?
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Effective Set Membership in Computer Algebra and Beyond
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Hidden verification for computational mathematics
Journal of Symbolic Computation
The challenges of multivalued "Functions"
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
| Hi-index | 0.00 |
Equality is such a fundamental concept in mathematics that, in fact, we seldom explore it in detail, and tend to regard it as trivial. When it is shown to be non-trivial, we are often surprised. As is often the case, the computerization of mathematical computation in computer algebra systems on the one hand, and mathematical reasoning in theorem provers on the other hand, forces us to explore the issue of equality in greater detail.