information about Mathematical proof field
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