Computing the dimension of a real algebraic set

Authors :: Lairez, Pierre
Safey El Din, Mohab
Symbolic Special Functions : Fast and Certified (SPECFUN)
Inria Saclay - Ile de France
Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Polynomial Systems (PolSys)
LIP6
Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)
This work is supported by ANR under grants ANR-19-CE48-0015 (ECARP), ANR-18-CE33-0011 (Sesame) and ANR-19-CE40-0018 (DeRerumNatura), and the EU H2020 research and innovation programme under grant 813211 (POEMA).
ANR-19-CE48-0015,ECARP,Algorithmes efficaces et exacts pour la planification de trajectoire en robotique(2019)
ANR-19-CE40-0018,DeRerumNatura,Décider l'irrationalité et la transcendance(2019)
European Project: 813211,H2020,POEMA(2019)
Source :: ISSAC 2021-46th International Symposium on Symbolic and Algebraic Computation, ISSAC 2021-46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia
Publication Year :: 2021
Publisher :: HAL CCSD, 2021.
Abstract: International audience

Subjects :: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Algebraic algorithms
ComputingMilieux_MISCELLANEOUS
Computing methodologies

Language :: English
Database :: OpenAIRE
Journal :: ISSAC 2021-46th International Symposium on Symbolic and Algebraic Computation, ISSAC 2021-46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia
Accession number :: edsair.dedup.wf.001..b2235f4ddcf88beffecdde2ca6884a35

Tools