information about Mathematical proof field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Mathematics 26.3m papers | Geometry 7.5m papers | Algebra 123 papers | |
| Current | |||
Mathematical proof 74.6k papers | |||
| Child | |||
Gas meter prover 5,468 papers | Proof theory 4,630 papers | Proof assistant 3,929 papers | Zero-knowledge proof 3,306 papers |
Sequent calculus 2,921 papers | Proof complexity 2,259 papers | Structural proof theory 1,965 papers | Formal proof 1,308 papers |
Analytic proof 1,254 papers | Cut-elimination theorem 1,223 papers | ||
Trends