Pages that link to "Computer-assisted proof"
Showing 50 items.
- Conjecture (links | edit)
- Four color theorem (links | edit)
- Series (mathematics) (links | edit)
- Mathematics (links | edit)
- Natural deduction (links | edit)
- Figure-eight knot (mathematics) (links | edit)
- Mathematical proof (links | edit)
- Hilbert's problems (links | edit)
- Spectral method (links | edit)
- Automated Mathematician (links | edit)
- Experimental mathematics (links | edit)
- Finite geometry (links | edit)
- Combinatorial game theory (links | edit)
- Finite volume method (links | edit)
- Optimal solutions for the Rubik's Cube (links | edit)
- Proof by exhaustion (links | edit)
- Additive Schwarz method (links | edit)
- 3D tic-tac-toe (links | edit)
- Particle-in-cell (links | edit)
- 1976 in science (links | edit)
- Method of characteristics (links | edit)
- Level-set method (links | edit)
- Proof assistant (transclusion) (links | edit)
- Smoothed-particle hydrodynamics (links | edit)
- Kazhdan's property (T) (links | edit)
- Werner Boy (links | edit)
- Raph Levien (links | edit)
- Numerical methods for partial differential equations (links | edit)
- Boundary element method (links | edit)
- Multigrid method (links | edit)
- Crank–Nicolson method (links | edit)
- Finite-difference time-domain method (links | edit)
- Analytic element method (links | edit)
- Galerkin method (links | edit)
- Computer-assisted proof (transclusion) (links | edit)
- Computer-aided proof (redirect page) (links | edit)
- Automated theorem proving (links | edit)
- Group (mathematics) (links | edit)
- Collatz conjecture (links | edit)
- Experimental mathematics (links | edit)
- Hilbert's eighteenth problem (links | edit)
- SNARK (theorem prover) (links | edit)
- An Introduction to the Philosophy of Mathematics (links | edit)
- User:Jarble/Watchlist (links | edit)
- User:Oneequalsequalsone/sandbox (links | edit)
- Portal:Mathematics/Featured article/2006 41 (links | edit)
- Portal:Mathematics/Selected article/8 (links | edit)
- Portal:Mathematics/Selected article archive (links | edit)
- Damien Doligez (links | edit)
- Chua's circuit (links | edit)
- Oren Patashnik (links | edit)
- Computer-aided (links | edit)
- Hyperbolic Dehn surgery (links | edit)
- Split-step method (links | edit)
- Collocation method (links | edit)
- High-resolution scheme (links | edit)
- Godunov's scheme (links | edit)
- MUSCL scheme (links | edit)
- Method of lines (links | edit)
- Metamath (links | edit)
- Finite difference method (links | edit)
- Meshfree methods (links | edit)