The Importance of Being Zero
From MaRDI portal
Publication:5120213
DOI10.1145/3208976.3208981zbMath1467.13060MaRDI 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
polynomial ideals; GeoGebra; Schwartz-Zippel lemma; zero-test; automated reasoning in geometry; proving by examples
68W30: Symbolic computation and algebraic computation
12-08: Computational methods for problems pertaining to field theory
13P15: Solving polynomial systems; resultants
Related Items
Uses Software