| Irreducibility | S6KDMXM2AE | 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.26055#1TGL |
| Irreducibility and the minimal period equation | SBQTYV5CWJ | 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.10828#6HHT |
| Irreducibility is the exact criterion for positive references | 7H7F3H8877 | 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.38228#3LWK |
| Irreducibility Theorem | 6AVK1MRKF8 | statement | open | Wikipedia Valuation (geometry)#TCJV |
| Irreducibility Theorem | K83883BASX | 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 math/0301148#3PP2 |
| Irreducibility under multiplicative middle convolution | Q6BC1969WG | 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#AHSR |
| irreducible | 4DXTYZ8BNM | definition | open | Wikipedia Glossary of invariant theory#A3AG |
| irreducible | 4R56SJBWR8 | definition | open | Wikipedia Glossary of ring theory#XCMX |
| irreducible | MBJ4RHB0J6 | definition | open | Wikipedia Glossary of commutative algebra#5ZBC |
| irreducible | RK0W03V80Y | definition | open | Wikipedia Glossary of algebraic geometry#PXI7 |
| irreducible | ZB9ZEDZ6YT | definition | open | Wikipedia Glossary of representation theory#60AF |
| irreducible component | A9V93VS419 | definition | open | Wikidata Q6073574, nLab irreducible component, Wikipedia Irreducible component |
| Irreducible Coxeter group | 5B5GJ8G9W1 | unknown | open | Wikipedia Coxeter group#A8K8 |
| irreducible element | 9EW0SZJM7E | definition | node (a node has the same name as the row) | mathlib_overview General algebra > Divisibility in integral domains > irreducible element, Mathlib Irreducible, mathlib_overview General algebra > Polynomials and power series > irreducible polynomial, mathlib_undergrad Ring Theory > Divisibility in integral domains > irreducible elements, mathlib_undergrad Ring Theory > Polynomial rings > irreducible polynomial, Wikidata Q2989575, MathWorld IrreducibleElement, nLab irreducible element, Wikipedia Irreducible element |
| Irreducible element | THQT64XPDP | unknown | open | Wikipedia List of order theory topics#0ZY5 |
| Irreducible fraction | 852TPPJSVN | definition | open | Wikipedia List of number theory topics#2BGK |
| irreducible fraction | B6NTP8GM93 | definition | open | Wikidata Q263865, MathWorld IrreducibleFraction, MathWorld ReducedFraction, Wikipedia Irreducible fraction |
| Irreducible holomorphic eta quotients | G76JBDJGNQ | definition | 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.10576#ULXO |
| irreducible ideal | PK9G3XV9ZW | definition | open | Wikidata Q17098198, MathWorld IrreducibleIdeal, nLab irreducible ideal, Wikipedia Irreducible ideal |
| Irreducible manifold | T8EQ8RD0HB | unknown | open | Wikipedia Prime manifold#X2U6 |
| irreducible matrix | KCW6ZYTGQX | unknown | open | Wikidata Q2731964, MathWorld IrreducibleMatrix |
| irreducible module | 2K07VK7H6D | definition | open | Wikipedia Glossary of module theory#BESW |
| Irreducible polynomial | 4Z34YVEBYK | definition | open | Wikipedia List of polynomial topics#LB6T |
| irreducible polynomial | GNXYRGGVDT | definition | node (a node has the same name as the row) | Wikidata Q1476663, EoM Irreducible_polynomial, MathWorld IrreduciblePolynomial, nLab irreducible polynomial, ProofWiki Definition:Irreducible_Polynomial, Wikipedia Irreducible polynomial |
| Irreducible polynomials have distinct roots | PMZ03HE5BJ | statement | open | napkin tex/alg-NT/norm-trace.tex#lem:irred_complex |
| irreducible range | D8STWGX4M0 | 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.39395#YQCP |
| Irreducible representation | 82FB2NYT85 | definition | open | Wikipedia List of representation theory topics#QXYL, Wikipedia List of harmonic analysis topics#KSGL |
| irreducible representation | B7B2AH85EN | definition | open | Wikidata Q13690522, MathWorld IrreducibleRepresentation, nLab irreducible representation, Wikipedia Irreducible representation |
| irreducible representation | TM9JQEW51P | unknown | open | mathlib_undergrad Linear algebra > Linear representations > irreducible representation, Mathlib Representation.IsIrreducible |
| Irreducible representations and Schur's lemma | JYVH7BQJS8 | statement | open | Wikipedia Representation theory of finite groups#80OF |
| Irreducible ring | S5E8DF7Z54 | definition | open | Wikipedia Irreducible ring, Wikidata Q6073577 |
| irreducible variety | YAFGFY0HF0 | unknown | open | Wikidata Q78514498, EoM Irreducible_variety, MathWorld IrreducibleVariety |
| Irreducible-constituent bound | ZGS4BQDQA8 | 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#9X3R |
| irredundance number | 8FF9RJD6JJ | unknown | open | Wikidata Q130486770, MathWorld IrredundanceNumber |
| Irredundant support domain | V02NNX1CD0 | definition | 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.21670#VDCL |
| irreflexive relation | FNXN4YNNFS | unknown | open | Wikidata Q1097991, MathWorld Irreflexive, nLab irreflexive relation |
| irreflexivity | AR9SKRTC25 | definition | open | Wikipedia Glossary of logic#GQ8I |
| Irreflexivity | HFBZSC49PW | definition | open | open_logic content/sets-functions-relations/relations/special-properties.tex#defn-6 |
| irreflexivity, of $<$ for reals | V74J39DBBY | concept | open | hott_book index/B.2.1/irreflexivity-of-for-reals |
| irreflexivity, of $<$ in a field | QDTMMYR0CB | concept | open | hott_book index/B.2.1/irreflexivity-of-in-a-field |
| irreflexivity, of apartness | W4CZZZWXA4 | concept | open | hott_book index/B.2.1/irreflexivity-of-apartness |
| irreflexivity, of well-founded relation | KH8783AZYE | concept | open | hott_book index/C.4/irreflexivity-of-well-founded-relation |
| Irregular matrix | 1ABGHVDSE1 | definition | open | Wikipedia Irregular matrix, Wikidata Q12797410 |
| Irregular matrix | RG6ZCT0GYN | definition | open | Wikipedia List of named matrices#NE2F |
| irregular pair | PWY5CHX5XH | unknown | open | Wikidata Q133868602, MathWorld IrregularPair, OEIS A189683 |
| Irregular points | PJBZXR3RD1 | 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.13753#9781 |
| irregular prime | 6G8KBDWZMX | unknown | open | Wikidata Q119790302, EoM Irregular_prime_number, MathWorld IrregularPrime, OEIS A000928 |
| irregular singularity | 929CDDQCTQ | unknown | open | Wikidata Q117349539, EoM Irregular_singular_point, MathWorld IrregularSingularity |
| Irregular Z-buffer | VD3DPN43PF | unknown | open | Wikipedia List of computer graphics and descriptive geometry topics#THWY |
| irregularity | 4YQY8TQEAJ | definition | open | Wikipedia Glossary of classical algebraic geometry#Q3PQ |
| Irregularity of a surface | 109KBB5EW7 | definition | open | Wikipedia Irregularity of a surface, Wikidata Q15122156 |
| irregularity of distributions | 5CP15909Y3 | definition | open | Wikidata Q4183837, MathWorld 18-PointProblem, Wikipedia Irregularity of distributions |
| irrelevant | XYHJZCAKD6 | definition | open | Wikipedia Glossary of commutative algebra#55GJ |
| Irrelevant conclusion | R5T72S99MD | definition | open | Wikipedia Irrelevant conclusion, Wikidata Q737677 |
| Irrelevant ideal | 7NRS7DN0FF | definition | open | Wikipedia Irrelevant ideal, Wikidata Q6073624 |
| Irrelevant ideal | KHM4CQZYDN | definition | open | Wikipedia List of algebraic geometry topics#YIZW |
| Irreps give an orthonormal basis | FHFEJ0FHR0 | statement | open | napkin tex/rep-theory/characters.tex#corollary-1 |
| Irresistible force paradox | EA8EM2DWA7 | statement | open | Wikipedia Irresistible force paradox, Wikidata Q6073779 |
| Irreversible exclusion front | SV8T0MP7GZ | 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.39633#SSS6 |
| Irreversible process | 7BRA1AA8JZ | definition | open | Wikipedia Irreversible process, Wikidata Q632388 |
| Irrigation statistics | K10YQ6JRCG | definition | open | Wikipedia Irrigation statistics, Wikidata Q6073853 |
| irrotational field | 4PG1BT9BS0 | unknown | open | Wikidata Q15054459, MathWorld IrrotationalField |
| Irrotational vector field | 2SQ1VRR819 | definition | open | Wikipedia List of multivariable calculus topics#54ME |
| Irvin Cohen | FT2F051H4N | topic | open | Wikipedia Irvin Cohen, Wikidata Q1673262 |
| Irvin Cohen | RXZ5DSDFSZ | topic | open | Wikipedia List of Jewish mathematicians#5K1X |
| Irving Copi | 9NXS8QFJK7 | topic | open | Wikipedia List of people by Erdős number#3KG8 |
| Irving Copi | QEHXTH5835 | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q6074533, ProofWiki Mathematician:Irving_Marmer_Copi, Wikipedia Irving Copi |
| Irving Ezra Segal | XRQE38MEPY | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NYU6 |
| Irving Kaplansky | 3788XBA0KT | unknown | open | Wikipedia List of people by Erdős number#0GPS |
| Irving Kaplansky | 50E6XMEGGR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q129368, nLab Irving Kaplansky |
| Irving Kaplansky | V5SP62YVNA | unknown | open | Wikipedia List of Jewish mathematicians#3GLB |
| Irving Lorge | E54W5X0NTA | topic | open | Wikipedia List of fellows of the American Statistical Association#PZR2 |
| Irving Lorge | S987VXQJJK | topic | open | Wikipedia Irving Lorge, Wikidata Q56000374 |
| Irving S. Reed | XYNTN9867A | unknown | open | Wikipedia List of people by Erdős number#0VVP |
| Irving Segal | 5SJ861GN37 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q381347, nLab Irving Segal |
| Irving Segal | TZ6AFD3MKA | unknown | open | Wikipedia List of Jewish mathematicians#PWGW |
| Irving Stringham | 3VW3PSNXFQ | topic | open | Wikipedia Irving Stringham, Wikidata Q6074815 |
| Irving Stringham | W2Y3QZ1168 | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K0Y9 |
| Irwin I. Shapiro | NRT5E00E4H | unknown | open | Wikipedia List of contributors to general relativity#KKP9 |
| Irwin Kra | 27MQM87G4Y | topic | open | Wikipedia List of people by Erdős number#KHYU |
| Irwin Kra | GXE3MPP9P1 | topic | open | Wikipedia Irwin Kra, Wikidata Q1673303 |
| Irwin Molasky | CYR6Z7VTFY | unknown | open | Wikipedia List of University of California, Los Angeles people#KQRL |
| Irwin, Joseph Oscar | MGMZVNA887 | unknown | open | Wikipedia List of statisticians#Z4W1 |
| Irwin–Hall distribution | 63WNJT1NHA | concept | open | Wikidata Q3258194, MathWorld UniformSumDistribution, Wikipedia Irwin–Hall distribution |
| Irwin–Hall distribution | 9GQF8T8EGQ | definition | open | Wikipedia List of probability distributions#5876 |
| Irwin–Hall distribution | TZJGGCNXW9 | definition | open | Wikipedia List of statistics articles#7SAE |
| Iryna Sushko | 3JX7C4W3K7 | topic | open | Wikipedia Iryna Sushko, Wikidata Q59912831 |
| Irène Gijbels | Z2KRABVPGK | unknown | open | Wikipedia List of fellows of the American Statistical Association#6DI7 |
| Irène Waldspurger | F22E0VMF99 | topic | open | Wikipedia Irène Waldspurger, Wikidata Q104516415 |
| Irénée-Jules Bienaymé | JTHSYJYCN2 | topic | open | Wikipedia Irénée-Jules Bienaymé, Wikidata Q738295 |
| Is Logic Empirical? | QHN7Q7HXT3 | definition | open | Wikipedia Is Logic Empirical?, Wikidata Q9098060 |
| is taken | T15X3C4WP0 | definition | open | Wikipedia List of mathematical series#KDPV |
| ISAAC | A7V8CFM177 | definition | open | Wikipedia ISAAC (cipher), Wikidata Q1994471 |
| ISAAC | A8E91BSNZB | definition | open | Wikipedia List of number theory topics#PT8H |
| Isaac | DKSWCWJ803 | definition | 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.21899#20YB |
| Isaac Albalia | Y5VS6P3P2C | unknown | open | Wikipedia List of Jewish mathematicians#GIZF |
| Isaac Albert Barnett | 3BS6QCDMWM | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BZQ4 |
| Isaac Argyros | S2E4T6RVSH | unknown | open | Wikipedia List of Greek mathematicians#XB8Y |
| Isaac Asimov | 8Q38R6FGF8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q34981, ProofWiki Mathematician:Isaac_Asimov |
| Isaac Babel | MQE90NDCC8 | unknown | open | Wikipedia List of Ukrainian Jews#F6XT |