Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition
From MaRDI portal
Publication:6536548
DOI10.1145/3614408.3614413MaRDI QIDQ6536548
Christopher W. Brown, Tomas Recio, Zoltán Kovács
Publication date: 13 May 2024
Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)
Symbolic computation and algebraic computation (68W30) Computational real algebraic geometry (14Q30)
Cites Work
- Title not available (Why is that?)
- A polynomial-time algorithm for the topological type of real algebraic curve
- Polynomial constraints and unsat cores in \textsc{Tarski}
- Computing the topology of a plane or space hyperelliptic curve
- Isotopic meshing of a real algebraic space curve
- Reasoning about linkages with dynamic geometry
- Automated reasoning tools in GeoGebra discovery
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- Computing with Tarski formulas and semi-algebraic sets in a web browser
This page was built for publication: Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536548)
