# 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