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 3 items.
- CBLIB 2014: a benchmark library for conic mixed-integer and continuous optimization (Q298162) (← links)
- Automatic generation of bounds for polynomial systems with application to the Lorenz system (Q1755304) (← links)
- Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems (Q2817922) (← links)
