The following pages link to Mathematics by machine (Q3452371):
Displaying 5 items.
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- On multivariate Hermitian quadratic forms (Q2319444) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams (Q3452283) (← links)
