Mathematics
Mathematical concepts, theories, puzzles, and applications
-
Mathematics
Euclid's 'Elements' shaped geometry for millennia
-
Mathematics
The Pythagorean theorem unlocks ancient secrets
-
Mathematics
Prime numbers protect your online secrets
-
Mathematics
Truth is undefinable in formal languages
-
Mathematics
Isabelle/HOL: Computers proving math is correct
-
Mathematics
Computers can prove math theorems with perfect accuracy
-
Mathematics
Abella proves logic programming's hidden rules
-
Mathematics
Lean's engine automates complex math proofs
-
Mathematics
NuPRL turns math proofs into perfect programs
-
Mathematics
Can a small model understand infinite sets?
-
Mathematics
Computers now check math for errors
-
Mathematics
Code and logic are two sides of the same coin
-
Mathematics
Twelf analyzes the tools that verify math
-
Mathematics
This logic rejects the law of the excluded middle
-
Mathematics
Matita helps computers check math proofs
Other categories
Categories →