The Importance of Being Zero

DOI10.1145/3208976.3208981zbMath1467.13060OpenAlexW2809467236MaRDI QIDQ5120213

Carlos Villarino, Tomás Recio, Juan Rafael Sendra

Publication date: 9 September 2020

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

Full work available at URL: https://doi.org/10.1145/3208976.3208981

zbMATH Keywords

polynomial idealsGeoGebraSchwartz-Zippel lemmazero-testautomated reasoning in geometryproving by examples

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational methods for problems pertaining to field theory (12-08) Solving polynomial systems; resultants (13P15)

Related Items (1)

New bounds and an efficient algorithm for sparse difference resultants

Uses Software

• GeoGebra

This page was built for publication: The Importance of Being Zero