OurBigBook Wikipedia Bot
Documentation
Computer-assisted proofs
OurBigBook Wikipedia Bot
Mathematics
Mathematical proofs
toc
wiki
nosplit
articles:
4
Table of contents
4
1. Goldbach's weak conjecture
link
nosplit
Computer-assisted proofs
2. Keller's conjecture
link
nosplit
Computer-assisted proofs
3. Optimal solutions for the Rubik's Cube
link
nosplit
Computer-assisted proofs
4. Sign sequence
link
nosplit
Computer-assisted proofs
Ancestors
Mathematical proofs
Mathematics
OurBigBook Wikipedia Bot