Enlarging the REDUCE domain of computation
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Factoring Polynomials Over Algebraic Number Fields
ACM Transactions on Mathematical Software (TOMS)
Integration of algebraic functions
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Lattices and Factorization of Polynomials over Algebraic Number Fields
EUROCAM '82 Proceedings of the European Computer Algebra Conference on Computer Algebra
REDUCE - A Case Study in Algebra System Development
EUROCAM '82 Proceedings of the European Computer Algebra Conference on Computer Algebra
Factoring polynominals over algebraic number fields
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
Non-modular computation of polynomial GCD's using trial division
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Algebraic factoring and rational function integration
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Implementing a polynomial factorization and GCD package
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
P-adic reconstruction of rational numbers
ACM SIGSAM Bulletin
ACM SIGSAM Bulletin
Constructive real interpretation of numerical programs
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Enlarging the REDUCE domain of computation
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Recovery of algebraic numbers from their p-adic approximations
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Signature functions for algebraic numbers
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
A modular GCD algorithm over number fields presented with multiple extensions
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Algorithms for polynomial GCD computation over algebraic function fields
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
| Hi-index | 0.00 |
This paper describes a package implemented in REDUCE 3.2 for the manipulation of algebraic numbers. The package regards algebraic numbers as elements of abstract extensions of the rational numbers, not as particular real or complex numbers. We describe in this paper the various design choices that were made, and the current state of the package, as well as future possibilities for enhancement.