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.4M papers
Geometry
6.3M papers
Current
Mathematical proof
44.5k papers
Child
Gas meter prover
3,100 papers
Proof theory
2,376 papers
Proof assistant
2,135 papers
Zero-knowledge proof
2,044 papers
Sequent calculus
1,753 papers
Proof complexity
1,324 papers
Structural proof theory
1,117 papers
Analytic proof
896 papers
Computer-assisted proof
772 papers
Formal proof
763 papers
Trends
Field Trends