Category:Computer-assisted proofs

From Wikipedia, the free encyclopedia

Jump to navigation Jump to search

See also Category:Automated theorem proving.

Pages in category "Computer-assisted proofs"

The following 18 pages are in this category, out of 18 total. This list may not reflect recent changes.

B

Boolean Pythagorean triples problem

C

F

Four color theorem

G

Goldbach's weak conjecture

K

M

O

Optimal solutions for the Rubik's Cube

P

Projective plane

R

Robbins algebra

S

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Computer-assisted_proofs&oldid=722340787"

Mathematical proofs