Recommendations
Cites work
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Cylindrical algebraic decomposition using validated numerics
- Definability and decision problems in arithmetic
- scientific article; zbMATH DE number 1952952 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- On Computable Numbers, with an Application to the Entscheidungsproblem
- The Jordan Curve Theorem, Formally and Informally
Cited in
(4)
This page was built for publication: Reduction among bracket polynomials
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452409)