Inventory

The inventory is the list of each item of mathematics that a source presents: each definition, theorem, conjecture, problem and object. Each row is one item. It groups the mentions of the item in the sources. A row is open until math2 decides what to do with it, for example to make a node for it. The open count is the number of open rows, and the target is zero.

Counts

Rows	242225
Open rows	132224
Mentions	329881

Sources

Source	Mentions
arxiv	177558
wikipedia	121157
wikidata	12302
napkin	2574
hott_book	2562
open_logic	2549
lebl_ra	1941
thousand_plus	1200
mathlib_1000	1199
lebl_diffyqs	1142
levin_dmoi	950
applied_combinatorics	948
lebl_scv	890
austin_ula	717
ernst_ibl	648
mathlib_undergrad	566
mathlib_overview	512
active_calculus	366
mathlib_100	100

Outcomes

Outcome	Rows
open	132224
record	106589
out_of_scope	2156
node	1104
deferred	152
merged	54

Kinds

Kind	Rows
statement	108480
definition	62856
unknown	22183
topic	18102
example	15042
exercise	4965
concept	3982
problem	2166
proof	1838
conjecture	1449
object	1050
counterexample	112

Rows by name

Other 29490
A 14276
B 8378
C 15607
D 13617
E 14772
F 9322
G 9280
H 7946
I 4245
J 5846
K 5471
L 6535
M 10449
N 6691
O 2386
P 13732
Q 4142
R 9674
S 15820
T 11759
U 2142
V 4994
W 5624
X 3003
Y 3402
Z 3622

Rows by subject

MSC	Rows
none	133677
05 Combinatorics	15572
35 Partial differential equations	11399
14 Algebraic geometry	11043
11 Number theory	10467
60 Probability theory and stochastic processes	10373
20 Group theory and generalizations	9768
81 Quantum theory	9701
53 Differential geometry	8670
46 Functional analysis	7891
93 Systems theory; control	7128
49 Calculus of variations and optimal control; optimization	7125
90 Operations research, mathematical programming	7123
37 Dynamical systems and ergodic theory	5412
47 Operator theory	4954
55 Algebraic topology	4731
03 Mathematical logic and foundations	4712
16 Associative rings and algebras	4425
94 Information and communication theory, circuits	4341
22 Topological groups, Lie groups	4314
62 Statistics	4192
57 Manifolds and cell complexes	3690
26 Real functions	3583
30 Functions of a complex variable	3451
32 Several complex variables and analytic spaces	3399
13 Commutative algebra	3312
18 Category theory; homological algebra	3293
51 Geometry	3041
52 Convex and discrete geometry	2957
65 Numerical analysis	2912
17 Nonassociative rings and algebras	2356
58 Global analysis, analysis on manifolds	1669
54 General topology	1494
00 General and overarching topics	1370
19 K-theory	977
01 History and biography	236
68 Computer science	40
91 Game theory, economics, finance, and other social and behavioral sciences	40
15 Linear and multilinear algebra; matrix theory	28
12 Field theory and polynomials	27
28 Measure and integration	27
06 Order, lattices, ordered algebraic structures	15
34 Ordinary differential equations	13
33 Special functions	9
70 Mechanics of particles and systems	9
42 Harmonic analysis on Euclidean spaces	8
76 Fluid mechanics	8
78 Optics, electromagnetic theory	8
74 Mechanics of deformable solids	7
83 Relativity and gravitational theory	7
82 Statistical mechanics, structure of matter	6
08 General algebraic systems	5
80 Classical thermodynamics, heat transfer	5
86 Geophysics	5
92 Biology and other natural sciences	5
44 Integral transforms, operational calculus	4
40 Sequences, series, summability	3
43 Abstract harmonic analysis	3
39 Difference and functional equations	2
85 Astronomy and astrophysics	2
31 Potential theory	1
41 Approximations and expansions	1
45 Integral equations	1
97 Mathematics education	1

The rows and the mentions are in records/ of the content repository, under CC0 1.0. The JSON summary is api/inventory.json. The design is in corpus spec K04.