Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems

DOI10.1145/2930889.2930927zbMath1361.13016arXiv1605.05889OpenAlexW2405626424MaRDI QIDQ2985831

Pierre-Jean Spaenlehauer, Jules Svartz, Jean-Charles Faugère

Publication date: 10 May 2017

Published in: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1605.05889

zbMATH Keywords

complexitycritical pointsreal geometry

Mathematics Subject Classification ID

Algorithms with automatic result verification (65G20) Solving polynomial systems; resultants (13P15)

Related Items (1)

On the robust hardness of Gröbner basis computation

This page was built for publication: Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems