What are the theorems of mathematics proved by a computer so far?
89851
Has any previously unknown result been proven by an automated theorem prover?
146867
Combinatorial Proof Of A Number Theory Theorem--Confusion
111783
Is there a formal proof for the superposition theorem?
49703
Analogue of closed graph theorem
10905
Avoiding negative integers in proof of Fundamental Theorem of Arithmetic
145759
formal proof from calulus
32441
How to prove or disprove statements about sets
145457
Some maps of the land of mathematics?
109964
the converse of Pythagoras Theorem
50240
Can you provide me historical examples of pure mathematics becoming "useful"?
120065
Niven’s theorem proof.
121469
Proof of observations on natural numbers being expressed as differences of squares.
88135
What are the differences between proofs based on simulation and proofs based on games?
11841
Introduction to proofs with a fair amount of hand-holding?
5964
Are there areas of mathematics (current or future) that cannot be formalized in set theory?
34938
Recalling a theorem
146947
A multiplication algorithm found in a book by Paul Erdős: how does it work?