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 1301–1391 of 1391.

NameIdKindOutcomeSources
Isomorphism of Reeb graphsCN0TSM1A6Tdefinitionrecord (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.03126#DOKO
Isomorphism of stacksFPRNCENH4Wdefinitionrecord (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.28514#NI2G
Isomorphism theoremQ72ADQWVHMstatementnode (a node has the same name as the row)mathlib_1000 Q1065966, Mathlib QuotientGroup.quotientKerEquivRange, Mathlib QuotientGroup.quotientInfEquivProdNormalQuotient, Mathlib QuotientGroup.quotientQuotientEquivQuotient, Wikidata Q1065966, mathlib_1000 Q1187646, Wikidata Q1187646, mathlib_1000 Q3527189, Wikidata Q3527189, mathlib_overview General algebra > Group theory > first isomorphism theorem, mathlib_overview General algebra > Group theory > second isomorphism theorem, mathlib_overview General algebra > Group theory > third isomorphism theorem, thousand_plus Q1065966, Wikipedia Isomorphism theorem, thousand_plus Q1187646, Wikipedia Fundamental theorem on homomorphisms, thousand_plus Q3527189, Wikipedia Lattice theorem
Isomorphism type and decisionQNCHF53M94statementrecord (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.08280#PYXI
isomorphism with $K^n$Z87EWKA5JKunknownopenmathlib_overview Linear algebra > Finite-dimensional vector spaces > isomorphism with $K^n$, Mathlib Module.Basis.equivFun, mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > isomorphism with $K^n$
isomorphism with bidual2N9892CYCBunknownopenmathlib_overview Linear algebra > Finite-dimensional vector spaces > isomorphism with bidual, Mathlib Module.evalEquiv, mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > isomorphism with bidual
isomorphism, invariance underE7MT6N9T0Dconceptopenhott_book index/2.9/isomorphism-invariance-under
isomorphism, naturalC40WQ1Z1GQconceptopenhott_book index/2.2/isomorphism-natural
isomorphism, naturalW9AMQ23FVSconceptopenhott_book index/1.4/isomorphism-natural
isomorphism, of graphsB4C5M68K2Kconceptopenapplied_combinatorics index/5.1/isomorphism-of-graphs
isomorphism, of posets2M820M3JAPconceptopenapplied_combinatorics index/6.2/isomorphism-of-posets
isomorphism, of setsZ728T7R24Qconceptopenhott_book index/1.4/isomorphism-of-sets
isomorphism, semigroupY4WAZ7E8YNconceptopenhott_book index/1.14.2/isomorphism-semigroup
isomorphism, transfer acrossTG60XQCQ0Econceptopenhott_book index/8.2/isomorphism-transfer-across
isoperimetric inequality8MW4N210P3statementopenmathlib_1000 Q617417, Wikidata Q617417, thousand_plus Q617417, Wikipedia Isoperimetric theorem, MathWorld IsoperimetricInequality
Isoperimetric inequality with generalized boundaryXX35YCPQQ1statementrecord (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.24716#RP19
isoperimetric point9TJ4964AMRunknownopenWikidata Q609079, MathWorld IsoperimetricPoint
isosceles right triangleZ06R5ZHNX1unknownopenWikidata Q20524281, MathWorld IsoscelesRightTriangle
isosceles trapezoidYJJ1C55MAWunknownopenWikidata Q1194115, MathWorld IsoscelesTrapezoid
isosceles triangleZNCRXJ4R55unknownopenWikidata Q875937, MathWorld IsoscelesTriangle
Isosceles Triangle TheoremARQ6ENP0RGstatementopenmathlib_100 65, Mathlib EuclideanGeometry.angle_eq_angle_of_dist_eq
isosceles triangle theoremDDMDPP5NPMstatementopenWikidata Q649616, MathWorld PonsAsinorum
isospin7ZSHHWCKNTunknownopenWikidata Q836938, nLab isospin
isothermHT36AJYFNTdefinitionopenWikidata Q7421486, ProofWiki Definition:Isothermal_Surface
isotomic conjugateGHW6SQ50PEunknownopenWikidata Q1511235, MathWorld IsotomicConjugate
Isotomic TransversalZJFNX8Z0ZVconceptopenWikidata Q105332773, MathWorld IsotomicTransversal
isotopy7E4BV5M0VNunknownopenWikidata Q13424747, nLab isotopy
Isotropic count via the radicalK03D6XXK71statementrecord (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.14509#89WW
Isotropic dilationsZDRPE0HS93examplerecord (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.36237#SPV2
Isotropic ETF geometry at three deletionsD33TJ6YPG4statementrecord (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.07721#1VA3
Isotropic Gaussian sampling can lose the support gapQ9KQZKRHZQexamplerecord (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.09356#CXO0
Isotropic link, $m=d$4583MJAJW6statementrecord (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.19208#58M2
Isotropic rates on the same retained subspace3CBRA3CWR4statementrecord (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.10640#PDC4
IsraelE89C3NAQYVunknownout_of_scope (a person, not an item of mathematics)Wikidata Q801, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Israel
Israel GelfandXVV8S1TTK1unknownout_of_scope (a person, not an item of mathematics)Wikidata Q315414, MathWorld GelfandMazurTheorem, nLab Israel Gelfand, ProofWiki Mathematician:Israel_Moiseevich_Gelfand
Issai SchurA8W849GDPQunknownout_of_scope (a person, not an item of mathematics)Wikidata Q72599, ProofWiki Mathematician:Issai_Schur
Isserlis--WickY4VBV4SW1Hstatementrecord (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.36332#HX0O
It\^o formulaR51WMWE5AJstatementrecord (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.24789#WOXH
It\^o identitiesKCM1VJ6GAAstatementrecord (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.06480#BPGD
It\^o identities along the field diffusionSMETDFQ2BKstatementrecord (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.18350#7G8J
It\^o identities from a nonzero starting pointAXTNGN0Y81statementrecord (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.06480#5CV4
It\^o's formula along the branch4C4K5Y6V8Jstatementrecord (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.18350#RZLE
It\^o's theorem for binary Zinbiel algebras6Z5JA00BXZstatementrecord (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.02852#83K3
It\^{o}'s lemmaXQ22BMJFDGstatementrecord (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 2303.10636#4NQ9
Italy81QVGFDRTEunknownout_of_scope (a person, not an item of mathematics)Wikidata Q38, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Italy
ITEM-f rate correspondence4DKR257H9Jstatementrecord (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.33360#BMAK
ITEM-w upper boundPCRTDHNY24statementrecord (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.33360#9FUC
Iterated barycenterEEXSVRY1NAdefinitionrecord (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.17909#CEEH
Iterated cotangent-difference integralFWXTJMZ3S3definitionrecord (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.04214#RP2L
Iterated descendants5B61HPZ71Xstatementrecord (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.05652#QOQ7
Iterated excess boundXMAP0FNTVWstatementrecord (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.00525#648N
iterated facesH639TXQY17definitionrecord (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.32733#JXI2
iterated function9G877JEWRYunknownopenWikidata Q78079020, MathWorld IteratedMap
iterated integralFPM5FSVPQBunknownnode (a node has the same name as the row)Wikidata Q6094400, nLab iterated integral
iterated loop spaceSP06J4PXHVconceptopenhott_book index/1.1/iterated-loop-space
iterated productMQGQ4YVGNGunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q140132240, ProofWiki Symbols:Continued_Product
Iterated ridge regressionYA9XMJ1YTTexamplerecord (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 2604.23212#3X2R
Iterates and hitting time1EGQAE36APstatementrecord (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.03811#THHX
Iterates on monomialsEYTANZTXYEstatementrecord (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.20593#HQ7A
Iterates on polynomialsD3JAGHP50Gstatementrecord (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.20593#7HPE
iteration97SNKAJCZYconceptopenlevin_dmoi index/3.4/iteration
Iteration complexity266WRSWS82statementrecord (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.26873#AIQI
Iteration complexity2N9BMBJG3Vstatementrecord (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.32997#7F5U
Iteration complexityBNFF76YD9Rstatementrecord (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.38741#9IP6
Iteration ComplexityTFV9EM490Vstatementrecord (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.10927#PKDJ
Iteration criterion for constant referenceZKKC25ZRX0statementrecord (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.09522#MIIA
Iteration lower bounds for all midpoint methodsW9BRHNR9HVstatementrecord (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.06308#RYMT
Iteration numberEVCVVKG514statementrecord (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.40203#NQAE
Iteration-wise CA distance under uniform convexityQJH4NBW4TGstatementrecord (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.13773#7OSP
Iteration-wise inner gap, with progressNQME49PYK4statementrecord (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.13773#6FM2
Iterative learning controlSYNJ5XEBAGtopicopenWikidata Q6094414
iterative numerical methodDD9NQS0Z9StopicopenWikidata Q2321565
Iterative procedureWKMY0E65ZFstatementrecord (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.15460#ILXS
iterator, for natural numbersKAVQ5SMGRMconceptopenhott_book index/A.12.3/iterator-for-natural-numbers
Ito's theorem for transposed Novikov-Poisson algebras387GGPZM7Wstatementrecord (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 2607.00323#U0N3
Ito--OkadaCSA8YHSMD4statementrecord (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.07280#5WG4
Ito--ReidMWVEXSCE9Aproblemrecord (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#10NQ
Ittay Weiss681ACQEWNEunknownout_of_scope (a person, not an item of mathematics)Wikidata Q57550897, nLab Ittay Weiss
Itzhak BarsQX8CQVGMNEunknownout_of_scope (a person, not an item of mathematics)Wikidata Q6095252, nLab Itzhak Bars
Ivan Fesenko2C3260RS2Eunknownout_of_scope (a person, not an item of mathematics)Wikidata Q3408482, nLab Ivan Fesenko
Ivan M. NivenKTQ7PC4S0Funknownout_of_scope (a person, not an item of mathematics)Wikidata Q1675580, ProofWiki Mathematician:Ivan_Morton_Niven
Ivanov , Handel--MosherRVM0QWTPS2statementrecord (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.12054#N9A9
Ivanov , Luo2YK8HQKZ55statementrecord (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.12054#N642
Ivanyos, Magniez and SanthaVM6JEFC2N7statementrecord (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.40260#97DY
Ivarsson--Kutzschebauch3W6130AMKWstatementrecord (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.26808#O7J2
Iverson bracketA8ZXJNNP9VdefinitionopenWikidata Q2114682, MathWorld IversonBracket, ProofWiki Definition:Iverson's_Convention
Iwahori–Hecke algebraXASQ2DHZHVconceptopenWikidata Q1012612, nLab Iwahori–Hecke algebra
Iwasawa algebra9EMDCHFKJBunknownopenWikidata Q6100701, nLab Iwasawa algebra
Iwasawa decompositionV05WQZ51NZunknownopenWikidata Q750099, MathWorld IwasawaDecomposition, nLab Iwasawa decomposition
Iwasawa theory1AM95MDG4JtopicopenWikidata Q1392559, nLab Iwasawa theory
Izumi--MukoharaGFV7A2A8E4statementrecord (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.27518#0UHU