Pages that link to "Item:Q384995"
From MaRDI portal
The following pages link to An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995):
Displaying 13 items.
- Covering of surfaces parametrized without projective base points (Q3452419) (← links)
- Linear independence oracles and applications to rectangular and low rank linear systems (Q3452420) (← links)
- Faster relaxed multiplication (Q3452421) (← links)
- Unimodular completion of polynomial matrices (Q3452422) (← links)
- Applied Algebraic Geometry in Model Based Design for Manufacturing (Q3455008) (← links)
- (Q4234240) (← links)
- Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Q5145435) (← links)
- A new idea on the interval-symbol method with correct zero rewriting for reducing exact computations (Q5268827) (← links)
- Matrix-F5 algorithms over finite-precision complete discrete valuation fields (Q5891054) (← links)
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5899515) (← links)
- Logspace computations in graph products (Q5899516) (← links)
- Tame decompositions and collisions (Q5899518) (← links)
- Cylindrical algebraic decomposition using local projections (Q6487176) (← links)