Pages that link to "Computer-assisted proof"
Jump to navigation
Jump to search
The following pages link to Computer-assisted proof:
Displaying 29 items.
- Conjecture (← links)
- Four color theorem (← links)
- Series (mathematics) (← links)
- Mathematics (← links)
- Natural deduction (← links)
- Figure-eight knot (mathematics) (← links)
- Experimental mathematics (← links)
- Finite geometry (← links)
- Combinatorial game theory (← links)
- Optimal solutions for the Rubik's Cube (← links)
- Kazhdan's property (T) (← links)
- Chua's circuit (← links)
- Hyperbolic Dehn surgery (← links)
- Metamath (← links)
- SAT solver (← links)
- Tensor rank decomposition (← links)
- Oscar Lanford (← links)
- Minimum-weight triangulation (← links)
- Computer algebra (← links)
- Keller's conjecture (← links)
- Double bubble theorem (← links)
- Boolean Pythagorean triples problem (← links)
- Euler's Gem (← links)
- Common fixed point problem (← links)
- Testwiki:Reference desk/Archives/Mathematics/2008 July 15 (← links)
- Testwiki:Village pump (proposals)/Archive 35 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2009 August 26 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2013 January 24 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2023 November 14 (← links)