Algorithm 976
From MaRDI portal
Publication:4581365
DOI10.1145/3056528zbMath1484.14109OpenAlexW2735656302WikidataQ113310134 ScholiaQ113310134MaRDI QIDQ4581365
Daniel A. Brake, Daniel J. Bates, Charles W. Wampler, Jonathan D. Hauenstein, Wenrui Hao, Andrew John Sommese
Publication date: 17 August 2018
Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3056528
Symbolic computation and algebraic computation (68W30) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Numerical roadmap of smooth bounded real algebraic surface, A 3D printed Arduino-powered interactive Barth Sextic, Visualizing planar and space implicit real algebraic curves with singularities, Solving determinantal systems using homotopy techniques, Homotopy techniques for solving sparse column support determinantal polynomial systems, Bertini_real, Computing complex and real tropical curves using monodromy, Computing critical points for invariant algebraic systems
Uses Software