The following pages link to Mathematics by machine (Q3452371):
Displaying 13 items.
- Proof verification and proof discovery for relativity (Q514557) (← links)
- 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)
- Machine synthesis of mathematical theorems (Q3485887) (← links)
- (Q3805867) (← links)
- (Q4545702) (← links)
- (Q4793040) (← links)
- Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Q5145435) (← links)
- (Q5471420) (← links)
- Mechanized mathematics (Q5522905) (← links)