| classification of abelian simple groups | 862A0R3RSK | unknown | open | mathlib_overview General algebra > Group theory > classification of abelian simple groups, Mathlib CommGroup.is_simple_iff_prime_card |
| Classification of Clifford algebras | RB5S6H6MY7 | definition | open | Wikipedia Classification of Clifford algebras, Wikidata Q662523 |
| Classification of compact surfaces | 42HVK61STV | definition | open | Wikipedia List of theorems#SQWI |
| classification of compatible additions | 1YB59HTWJC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.22667#ZIF1 |
| classification of elements of $\mathrm{O}(2, \R)$ | FC638ZFZHR | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Low dimensions > classification of elements of $\mathrm{O}(2, \R)$ |
| classification of elements of $\mathrm{O}(3, \R)$ | 44VPWCN0V0 | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Low dimensions > classification of elements of $\mathrm{O}(3, \R)$ |
| Classification of Fatou components | P95GM2Z24W | definition | open | Wikipedia Classification of Fatou components, Wikidata Q4223035 |
| Classification of finite $2$-transitive groups | X3SGHQNMJ1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15340#53DZ |
| Classification of finite simple groups | GM7SN54B6N | definition | open | Wikipedia List of group theory topics#3JVD, Wikipedia List of group theory topics#4GY0 |
| Classification of finite simple groups | MD9AEDY0FA | definition | open | Wikipedia List of long mathematical proofs#DIL4 |
| Classification of finite simple groups | Q3274NSQ6G | definition | open | Wikipedia List of incomplete proofs#KH6E |
| Classification of finite simple groups | TDQB69ATRG | definition | open | Wikipedia List of theorems#TFZR |
| classification of finite simple groups | YXFV02XE2Y | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1340623, Wikidata Q1340623, thousand_plus Q1340623, Wikipedia Classification of finite simple groups, MathWorld ClassificationTheoremofFiniteGroups, nLab classification of finite simple groups |
| Classification of finite-output parameters | D9C8N16GJG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25805#RKY1 |
| Classification of finitely generated abelian groups | K8EH3X1K7Y | unknown | open | Wikipedia Finitely generated abelian group#WI9J |
| Classification of fuzzy opens | NT1DAPTEV8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.23281#ZPQA |
| Classification of Global Solutions in 2d | J4RMSACAJE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18270#AKKP |
| Classification of invariant measures | BCKQSZ88WX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27204#LOJD |
| classification of isometries in two and three dimensions | 4MEXRXF1RD | unknown | open | mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > classification of isometries in two and three dimensions |
| Classification of low-dimensional real Lie algebras | NEFNDDZNC1 | definition | open | Wikipedia Classification of low-dimensional real Lie algebras, Wikidata Q60792514 |
| Classification of manifolds | HDZE4CZV77 | definition | open | Wikipedia Classification of manifolds, Wikidata Q5128404 |
| Classification of maximal subsheaves | GCT2SDKGNT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15887#1MCA |
| Classification of maximally symmetric three-dimensional Einstein manifolds | 5VHN2G2VDP | unknown | open | |
| Classification of multiple hypothesis tests | K4270RA0KQ | statement | open | Wikipedia Family-wise error rate#IOL3 |
| Classification of multiple hypothesis tests | QNBWKF357V | statement | open | Wikipedia False coverage rate#JIEW |
| Classification of multiple hypothesis tests | QTMT0GSN3P | statement | open | Wikipedia False positive rate#CE1O |
| Classification of multiple hypothesis tests | W5ZBN4QKNW | statement | open | Wikipedia False discovery rate#HVZ2 |
| Classification of multiple hypothesis tests | WY6S5FQHEF | statement | open | Wikipedia Multiple comparisons problem#PMQC |
| Classification of partial differential equations | 50H1G2G3J6 | unknown | open | Wikipedia Partial differential equation#CE2O |
| Classification of Platonic solids | E3GXJFRWX7 | definition | open | Wikipedia List of theorems#ZHQE |
| Classification of possible minimal representatives | YTY4EV4DT7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10950#BD7T |
| Classification of prime subsheaves | PCQ774G7DX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15887#5N1B |
| Classification of real prime subsheaves | DR08T9JJ81 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15887#HDF6 |
| Classification of residual limits under $\rho=\delta_1$ | FPZ8238A5T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16680#81PU |
| Classification of retained edge states | MEB3QSS1CW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.31811#CYUN |
| Classification of submodules | S432NCFGKN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15887#OGT5 |
| Classification of surfaces | Y0QBHST0C0 | unknown | open | Wikipedia Surface (topology)#W8BF |
| Classification of symmetric spaces | BNWVG1C4PP | definition | open | Wikipedia List of theorems#1ROU |
| Classification of the $2$-homogeneous groups | DW7CR3WXEA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15340#A3YB |
| Classification of the binary orbit codes | 4M8ZZADG10 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15340#119Z |
| Classification of the eight smooth types | 3BKECD57X9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03298#RTJZ |
| Classification of the logarithmic dimple | NG9HJ04DQS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28278#VP6H |
| Classification of zero-drift orbits | WDZ30HJ4X3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12434#TU9B |
| Classification over a domain | GQ9S76KKAV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04164#2WF1 |
| Classification rule | 8R75KZDMM8 | definition | open | Wikipedia List of statistics articles#BZHN |
| Classification rule | QSN6WYB1PC | definition | open | Wikipedia Classification rule, Wikidata Q137731318 |
| Classification theorem | WC46Z7TN3Q | statement | open | Wikipedia Petrov classification#GJAC |
| Classification theorem | XQHYEHP2CS | statement | open | Wikipedia Classification theorem, Wikidata Q5128418 |
| Classification theorems | E506BF7V0B | statement | open | Wikipedia Bregman divergence#9U8K |
| Classification via the extension | S1JX9NEFQ9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27042#Q04B |
| Classifier (mathematics) | 7KD6MB8Q20 | definition | open | Wikipedia List of statistics articles#BV7V |
| Classifier chains | YJ9FQTNAHF | definition | open | Wikipedia Classifier chains, Wikidata Q5128441 |
| classifier, object | 83SA0GXCT4 | concept | open | hott_book index/3.9/classifier-object |
| classifier, subobject | 5C0BZPRE6Z | concept | open | hott_book index/C.1.4/classifier-subobject |
| classifying map interpretation | 5SAQCK0F2M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15099#V84W |
| classifying space | 3RSMHX899G | definition | open | Wikipedia Glossary of algebraic topology#4ELZ |
| classifying space | 8Y3BQB8S0Y | definition | open | Wikipedia Glossary of category theory#F6HA |
| classifying space | YTCE2A3CSG | definition | open | Wikidata Q5128445, EoM Classifying_space, nLab classifying space, Wikipedia Classifying space |
| Classifying space for O | 514VQCE62H | unknown | open | Wikipedia Classifying space for O(n)#ORCG |
| Classifying space for O(n) | ZJ4P36K1SA | definition | open | Wikipedia Classifying space for O(n), Wikidata Q5128444 |
| Classifying space for SO | MQG6Q5HG4A | unknown | open | Wikipedia Classifying space for SO(n)#R4O7 |
| Classifying space for SO(n) | 1TAJHZM7H9 | definition | open | Wikipedia Classifying space for SO(n), Wikidata Q124846096 |
| Classifying space for SU | 8HSD3R3E9V | unknown | open | Wikipedia Classifying space for SU(n)#J0WA |
| Classifying space for SU(n) | CTBT2JM4X0 | definition | open | Wikipedia Classifying space for SU(n), Wikidata Q124846097 |
| Classifying space for U | X553GHZT08 | unknown | open | Wikipedia Classifying space for U(n)#FTRW |
| Classifying space for U(n) | VCY18RW0NK | definition | open | Wikipedia Classifying space for U(n), Wikidata Q5128446 |
| classifying stack | FPHH1RGMG8 | definition | open | Wikipedia Glossary of algebraic geometry#X8BI |
| classifying topos | VRXM0C40N3 | definition | open | Wikidata Q17006942, nLab classifying topos, Wikipedia Classifying topos |
| Classwise GD transfer | AK0VNRW0PN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04357#LFHP |
| Claude Ambrose Rogers | 74EG7VY5GP | topic | open | Wikipedia Claude Ambrose Rogers, Wikidata Q1097115 |
| Claude Ambrose Rogers | 9NN0SB2Y0E | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PCMM |
| Claude Berge | 8CV62MDCXE | topic | open | Wikipedia Claude Berge, Wikidata Q551830 |
| Claude Berge | 9J6RQMKSZP | topic | open | Wikipedia List of people by Erdős number#A3Y1 |
| Claude Chabauty | 57SDBFBJ7M | topic | open | Wikipedia Claude Chabauty, Wikidata Q1096561 |
| Claude Chevalley | CPW61VXQ8M | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q634850, nLab Claude Chevalley, ProofWiki Mathematician:Claude_Chevalley, Wikipedia Claude Chevalley |
| Claude Chevalley | QAM0KJ58HG | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#85NI |
| Claude Crépeau | 9CWAT4ZK4C | unknown | open | Wikipedia List of cryptographers#MALR |
| Claude Crépeau | 9QJ48VAM0V | unknown | open | Wikipedia List of people by Erdős number#JBZW |
| Claude Dechales | M52G8ACBBB | topic | open | Wikipedia Claude Dechales, Wikidata Q2977414 |
| Claude Dellacherie | RGSSEHSS98 | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#U77U |
| Claude E. Robinson | R6FHZD8R7R | topic | open | Wikipedia Claude E. Robinson, Wikidata Q5128814 |
| Claude Elwood Shannon | 4BJAV753YP | topic | open | Wikipedia List of cryptographers#SUGJ |
| Claude Fable 5 | 77RMXZ67HP | unknown | open | Wikipedia List of unsolved problems in mathematics#0QM8 |
| Claude Gaspar Bachet de Méziriac | 85P2JQ0A78 | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q371882, ProofWiki Mathematician:Claude_Gaspard_Bachet_de_Méziriac, Wikipedia Claude Gaspar Bachet de Méziriac |
| Claude LeBrun | DZ2X4TB4K3 | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#94Y5 |
| Claude LeBrun | RFNYTRKJSY | topic | open | Wikipedia Claude LeBrun, Wikidata Q5128926 |
| Claude Lemaréchal | 53XWNRYX3S | topic | open | Wikipedia Claude Lemaréchal, Wikidata Q5128934 |
| Claude Lévi-Strauss | 3ZZTSMBEWY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q128126, nLab Claude Lévi-Strauss |
| Claude Mydorge | T8XM7KMGZV | topic | open | Wikipedia Claude Mydorge, Wikidata Q2669938 |
| Claude Sabbah | NQ64BVM7N2 | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q15433438, nLab Claude Sabbah, Wikipedia Claude Sabbah |
| Claude Shannon | 4W4DPEGASE | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q92760, nLab Claude Shannon, Wikipedia Claude Shannon |
| Claude Shannon | ASWMYF4DQP | topic | open | Wikipedia List of people by Erdős number#SKQ0 |
| Claude Shannon | ZZEM3D8435 | topic | open | Wikipedia List of publications in mathematics#OFZ9 |
| Claude-Louis Mathieu | SR3CN6SFCR | topic | open | Wikipedia Claude-Louis Mathieu, Wikidata Q1096910 |
| Claude-Louis Navier | EMRBNY19PK | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q313512, ProofWiki Mathematician:Claude-Louis_Navier |
| Claudia Klüppelberg | ER4GQN2GB6 | topic | open | Wikipedia Claudia Klüppelberg, Wikidata Q1097553 |
| Claudia Malvenuto | RYYWWVGYG4 | unknown | open | Wikipedia List of people by Erdős number#SQBQ |
| Claudia Neuhauser | ECF3HS0EWM | topic | open | Wikipedia Claudia Neuhauser, Wikidata Q18705966 |
| Claudia Neuhauser | Y4XQTJVS3G | topic | open | Wikipedia List of people by Erdős number#TZK7, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3Q5R |
| Claudia Polini | 6R578JHEHN | topic | open | Wikipedia Claudia Polini, Wikidata Q58416608 |