The SARAG Library: Some Algorithms in Real Algebraic Geometry

DOI10.1007/11832225_11zbMath1230.14002OpenAlexW1576980141MaRDI QIDQ5747804

Fabrizio Caruso

Publication date: 14 September 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11832225_11

zbMATH Keywords

real root isolationsign determination\texttt{Maxima} computer algebra system\texttt{SARAG} libraryalgorithms over real closed fieldsdecision of topology of real plane curve over Archimedean real closed fieldreal root counting of univariate polynomials

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Real algebraic and real-analytic geometry (14P99) Software, source code, etc. for problems pertaining to computer science (68-04) Software, source code, etc. for problems pertaining to field theory (12-04)

Related Items

Certificates of positivity in the Bernstein basis, SARAG

Uses Software

• GAP
• Maxima
• gnuplot
• ISOLATE