This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

information about Mathematical proof field

Mathematical proof

https://www.wikidata.org/wiki/Q11538
Field Hierarchy
Parent
Mathematics
21.8M papers
Geometry
6.4M papers
Current
Mathematical proof
44.7k papers
Child
Gas meter prover
3,104 papers
Proof theory
2,380 papers
Zero-knowledge proof
2,230 papers
Proof assistant
2,126 papers
Sequent calculus
1,767 papers
Proof complexity
1,332 papers
Structural proof theory
1,129 papers
Analytic proof
901 papers
Computer-assisted proof
781 papers
Formal proof
761 papers
Trends