The complexity of elementary algebra and geometry
Journal of Computer and System Sciences
Journal of Symbolic Computation
Curves and surfaces for computer aided geometric design
Curves and surfaces for computer aided geometric design
Efficient topology determination of implicitly defined algebraic plane curves
Computer Aided Geometric Design
Efficient isolation of polynomial's real roots
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
| Hi-index | 0.00 |
In this paper we present SARAG, which is a software library for real algebraic geometry written in the free computer algebra system Maxima. SARAG stands for “Some Algorithms in Real Algebraic Geometry” and has two main applications: extending the capabilities of Maxima in the field of real algebraic geometry and being part of the interactive version of the book “Algorithms in Real Algebraic Geometry” by S. Basu, R. Pollack, M.-F. Roy, which can be now freely downloaded. The routines of the library deal with: theory of signed sub-resultants, linear algebra, gcd computation, real roots counting, real roots isolation, sign determination, Thom encodings, study of the topology of curves. At the moment SARAG is being used as a tool to develop, implement and tune algorithms coming from new research results, e.g. an algorithm for faster gcd computation, an algorithm for the study of the topology of curves over non-Archimedian real closed fields.