information about Constructive proof field
Field Hierarchy
Parent | |||
---|---|---|---|
Mathematics 21.8M papers | Combinatorics 2.1M papers | Discrete mathematics 685k papers | Algebra 98 papers |
Current | |||
Constructive proof 1,587 papers | |||
Child | |||
Higman's lemma 0 papers |
Trends
Notes
History