The SARAG library: some algorithms in real algebraic geometry

DOI10.1007/11832225_11MaRDI QIDQ5747804zbMATH OpenOpenAlexFDO

Authors 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

\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 polynomialsreal root isolationsign determination

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to field theory (12-04) 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) Symbolic computation and algebraic computation (68W30)

Recommendations

• Computing real radicals and S-radicals of polynomial systems
• Algorithms in real algebraic geometry
• Towards faster real algebraic numbers
• scientific article; zbMATH DE number 953041
• scientific article; zbMATH DE number 786596

Cited in

(4)

• SARAG
• SIROCCO: a library for certified polynomial root continuation
• scientific article; zbMATH DE number 1273696 (Why is no real title available?)
• Certificates of positivity in the Bernstein basis

Describes a project that uses

Uses Software

• ISOLATE
• Maxima
• gnuplot
• GAP

This page was built for publication: The SARAG library: some algorithms in real algebraic geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747804)