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.6M papers
Geometry
6.3M papers
Current
Mathematical proof
44.6k papers
Child
Gas meter prover
3,099 papers
Proof theory
2,376 papers
Zero-knowledge proof
2,140 papers
Proof assistant
2,132 papers
Sequent calculus
1,758 papers
Proof complexity
1,327 papers
Structural proof theory
1,121 papers
Analytic proof
901 papers
Computer-assisted proof
775 papers
Formal proof
763 papers
Trends