Math 2.0

Inventory: I

The rows of the inventory whose names start with I. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Rows 1201–1300 of 1391.

NameIdKindOutcomeSources
iron-60H5TMPDTK29definitionopenWikidata Q1950935, ProofWiki Definition:Iron/60
irradiation illusionW6WNCZ39DKunknownopenWikidata Q1673175, MathWorld IrradiationIllusion
irrational numberCZQDZ9W7QPunknownnode (a node has the same name as the row)Wikidata Q607728, EoM Irrational_number, Mathlib Irrational, MathWorld IrrationalNumber
irrational torus, f\/irst construction1R3DY452RNexamplerecord (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 1408.1555#OV01
irrational torus, second constructionJ0QTYV8T2Cexamplerecord (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 1408.1555#LCI5
irrationality measureE9A89WDYMGunknownopenWikidata Q14917576, MathWorld IrrationalityMeasure
Irrationality sequence8Z68E96V57unknownopenWikidata Q17079511, MathWorld IrrationalitySequence
Irreducibility3ZZ9VY58EGstatementrecord (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.33590#6G9U
IrreducibilityS6KDMXM2AEstatementrecord (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 equationSBQTYV5CWJstatementrecord (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 references7H7F3H8877statementrecord (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 TheoremK83883BASXstatementrecord (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 convolutionQ6BC1969WGstatementrecord (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 componentA9V93VS419unknownopenWikidata Q6073574, nLab irreducible component
irreducible element9EW0SZJM7Eunknownnode (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
irreducible fractionB6NTP8GM93unknownopenWikidata Q263865, MathWorld IrreducibleFraction, MathWorld ReducedFraction
Irreducible holomorphic eta quotientsG76JBDJGNQdefinitionrecord (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 idealPK9G3XV9ZWunknownopenWikidata Q17098198, MathWorld IrreducibleIdeal, nLab irreducible ideal
irreducible matrixKCW6ZYTGQXunknownopenWikidata Q2731964, MathWorld IrreducibleMatrix
irreducible polynomialGNXYRGGVDTdefinitionnode (a node has the same name as the row)Wikidata Q1476663, EoM Irreducible_polynomial, MathWorld IrreduciblePolynomial, nLab irreducible polynomial, ProofWiki Definition:Irreducible_Polynomial
Irreducible polynomials have distinct rootsPMZ03HE5BJstatementopennapkin tex/alg-NT/norm-trace.tex#lem:irred_complex
irreducible rangeD8STWGX4M0statementrecord (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 representationB7B2AH85ENunknownopenWikidata Q13690522, MathWorld IrreducibleRepresentation, nLab irreducible representation
irreducible representationTM9JQEW51Punknownopenmathlib_undergrad Linear algebra > Linear representations > irreducible representation, Mathlib Representation.IsIrreducible
irreducible varietyYAFGFY0HF0unknownopenWikidata Q78514498, EoM Irreducible_variety, MathWorld IrreducibleVariety
Irreducible-constituent boundZGS4BQDQA8statementrecord (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 number8FF9RJD6JJunknownopenWikidata Q130486770, MathWorld IrredundanceNumber
irreflexive relationFNXN4YNNFSunknownopenWikidata Q1097991, MathWorld Irreflexive, nLab irreflexive relation
IrreflexivityHFBZSC49PWdefinitionopenopen_logic content/sets-functions-relations/relations/special-properties.tex#defn-6
irreflexivity, of $<$ for realsV74J39DBBYconceptopenhott_book index/B.2.1/irreflexivity-of-for-reals
irreflexivity, of $<$ in a fieldQDTMMYR0CBconceptopenhott_book index/B.2.1/irreflexivity-of-in-a-field
irreflexivity, of apartnessW4CZZZWXA4conceptopenhott_book index/B.2.1/irreflexivity-of-apartness
irreflexivity, of well-founded relationKH8783AZYEconceptopenhott_book index/C.4/irreflexivity-of-well-founded-relation
irregular pairPWY5CHX5XHunknownopenWikidata Q133868602, MathWorld IrregularPair, OEIS A189683
Irregular pointsPJBZXR3RD1statementrecord (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 prime6G8KBDWZMXunknownopenWikidata Q119790302, EoM Irregular_prime_number, MathWorld IrregularPrime, OEIS A000928
irregular singularity929CDDQCTQunknownopenWikidata Q117349539, EoM Irregular_singular_point, MathWorld IrregularSingularity
irregularity of distributions5CP15909Y3problemopenWikidata Q4183837, MathWorld 18-PointProblem
Irreps give an orthonormal basisFHFEJ0FHR0statementopennapkin tex/rep-theory/characters.tex#corollary-1
Irreversible exclusion frontSV8T0MP7GZstatementrecord (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
irrotational field4PG1BT9BS0unknownopenWikidata Q15054459, MathWorld IrrotationalField
Irving CopiQEHXTH5835unknownout_of_scope (a person, not an item of mathematics)Wikidata Q6074533, ProofWiki Mathematician:Irving_Marmer_Copi
Irving Kaplansky50E6XMEGGRunknownout_of_scope (a person, not an item of mathematics)Wikidata Q129368, nLab Irving Kaplansky
Irving Segal5SJ861GN37unknownout_of_scope (a person, not an item of mathematics)Wikidata Q381347, nLab Irving Segal
Irwin–Hall distribution63WNJT1NHAconceptopenWikidata Q3258194, MathWorld UniformSumDistribution
IsaacDKSWCWJ803definitionrecord (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 Asimov8Q38R6FGF8unknownout_of_scope (a person, not an item of mathematics)Wikidata Q34981, ProofWiki Mathematician:Isaac_Asimov
Isaac Jacob SchoenbergSZJH8CBWH7unknownout_of_scope (a person, not an item of mathematics)Wikidata Q537974, ProofWiki Mathematician:Isaac_Jacob_Schoenberg
Isaac NewtonRB0BSD92NTunknownout_of_scope (a person, not an item of mathematics)Wikidata Q935, nLab Isaac Newton, ProofWiki Mathematician:Isaac_Newton
Isaak Yaglom5T9XHSW7WRunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1565305, ProofWiki Mathematician:Isaak_Moiseyevich_Yaglom
Isabelle77DRVPQ8R4unknownopenWikidata Q460340, nLab Isabelle
Isadore SingerMNEVFBK4DXunknownout_of_scope (a person, not an item of mathematics)Wikidata Q353407, nLab Isadore Singer
Isaiah KantorZGPJ0R2A60unknownout_of_scope (a person, not an item of mathematics)Wikidata Q6078534, nLab Isaiah Kantor
Ishango boneN6BJ7JZ6G1unknownopenWikidata Q1077717, MathWorld IshangoBone
Ishii--NimuraR5WBB6GPAZstatementrecord (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.16962#ATJL
Ishioka--Kunugi61WF1CB4H0statementrecord (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.25967#LW9P
Isidore of Miletus33NZT36GQAunknownout_of_scope (a person, not an item of mathematics)Wikidata Q310028, ProofWiki Mathematician:Isidorus_of_Miletus
Ising model2GRNBCWPP8unknownopenWikidata Q1076349, EoM Ising_model, MathWorld IsingModel, nLab Ising model
Islamic calendarNR8XFWBRZ9definitionopenWikidata Q28892, ProofWiki Definition:Calendar/Muslim
Ismail--Obermaier 2011KX10GXA7F3statementrecord (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 2306.16411#OB05
isoclineEQ4N6D9B4JunknownopenWikidata Q1546820, MathWorld Isocline
Isoclinism of groupsV65YNS5C2XunknownopenWikidata Q6085500, LMFDB knowl group.isoclinism
Isoduality and reciprocal scales2VM8WR48CQstatementrecord (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.37615#R15R
isodynamic pointYSY49ZQ5JZunknownopenWikidata Q427657, MathWorld IsodynamicPoints
isogenyH9H7W5B4EPunknownopenWikidata Q1674414, EoM Isogeny, MathWorld Isogeny, nLab isogeny
isogonal conjugateX8K2PQYSFWunknownopenWikidata Q1156867, MathWorld IsogonalConjugate
isohedral figure3HBERCRAJ8unknownopenWikidata Q3847067, MathWorld IsohedralTiling
isohedronW1C51XZKMFunknownopenWikidata Q23821397, MathWorld Isohedron
isolated chordXEXA5C4G8Mdefinitionrecord (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.31919#V743
isolated critical point7G27J50GGWconceptopenlebl_diffyqs index/8.2.1/isolated-critical-point
isolated pointE4KX2K12HYdefinitionnode (a node has the same name as the row)Wikidata Q1142889, ProofWiki Definition:Isolated_Point_(Topology)
isolated singularitiesYA40HW5H6Bunknownopenmathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > isolated singularities
isolated singularity4KCHGWYE76conceptopenlebl_ra index/1.5.1/isolated-singularity
isolated singularityESMYZJ99FTdefinitionnode (a node has the same name as the row)Wikidata Q2297037, EoM Isolated_singular_point, MathWorld IsolatedSingularity, ProofWiki Definition:Isolated_Singularity
isolated vertexRK5N7H36TXdefinitionopenWikidata Q30912486, MathWorld IsolatedPoint, ProofWiki Definition:Isolated_Vertex
Isolated-facet crossing7SZ6BW7QZYstatementrecord (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.39855#6487
Isolating a derivativeVBW91EHBMNstatementrecord (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.28028#C3QS
Isolating seeded intervalXZ83HAAYXSstatementrecord (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.36594#6Z26
Isometric coboundednessV9DARDMZT1definitionrecord (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.17400#TZUR
isometric inclusion in double dualVF7GR5KCP6unknownopenmathlib_overview Analysis > Normed vector spaces/Banach spaces > isometric inclusion in double dual, Mathlib NormedSpace.inclusionInDoubleDualLi
Isometric mixersT06V0FD0YYstatementrecord (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.06653#RWHO
IsometriesBRVG6DZAJ4definitionrecord (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.17004#JGBU
isometries of a Euclidean affine spaceNFDZXQ2MF5unknownopenmathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > isometries of a Euclidean affine space, Mathlib AffineIsometryEquiv
isometries that do and do not preserve orientationCE7XSRZV18unknownopenmathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > isometries that do and do not preserve orientation
isometryQ8VDQWZH0Aunknownnode (a node has the same Wikidata item as the row)Wikidata Q740207, MathWorld Isometry, nLab isometry
isometry group3Z1CDTBJ2DunknownopenWikidata Q2211166, nLab isometry group
IsomonodromyH4JJSBDE7Estatementrecord (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.30730#LOGK
isomorphicS0ECDXZ5ZBconceptopenlevin_dmoi index/5.1/isomorphic
isomorphism420NB7AWFPunknownopenmathlib_overview General algebra > Category theory > isomorphism, Mathlib CategoryTheory.Iso
IsomorphismMPJPY9TNWXdefinitionopenopen_logic content/sets-functions-relations/functions/isomorphic-functions.tex#defn-1
IsomorphismPCQE0RP2Z4definitionrecord (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.26262#3YI4
isomorphismQ6NZJAQKJBdefinitionopenWikidata Q189112, EoM Isomorphism, MathWorld Isomorphism, nLab isomorphism, ProofWiki Definition:Isomorphism_(Category_Theory)
isomorphismRJCG5AA706conceptopenlevin_dmoi index/5.1/isomorphism
isomorphismV2Z4NFQR6Qconceptopenlebl_scv index/D/isomorphism
Isomorphism $\iff$ monic and epic22E2P35RBMstatementopennapkin tex/cats/abelian.tex#proposition-2
isomorphism classA8D4FT4TZDconceptopenlevin_dmoi index/5.1/isomorphism-class
Isomorphism extension theoremHPFC251MMNstatementopenmathlib_1000 Q6086104, Wikidata Q6086104, thousand_plus Q6086104, Wikipedia Isomorphism extension theorem
Isomorphism normal formHWQVB66TBZstatementrecord (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.14135#GMYG
Isomorphism of line bundles70FCPMV4VNdefinitionopennapkin tex/riemann-surface/line-bundles.tex#definition-4
Isomorphism of qm-spaces138E4VNKX1definitionrecord (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.27752#6SON