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

NameIdKindOutcomeSources
Identification-limited regimeF9XNAK256Dstatementrecord (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.21363#2QKS
Identifying reduced row echelon matricesA19K5TC0YDexerciseopenaustin_ula src/section1-2.xml#activity-3
Identities between $y_n^\pm$ and $w_n^-$QPHPSW1PJPstatementrecord (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.00770#V78G
identityBNV6XZG0FZconceptopenhott_book index/u1.u3/identity
IdentityD9ZX3G63W3statementopenlebl_scv scv.tex#thm:onevaridentity
identityNY044HH5BWunknownopenWikidata Q609647, MathWorld Identity
Identity and covariance requirements8H6ZWH0B9Dstatementrecord (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.27120#G1RD
identity componentNZGYBAAR19unknownopenWikidata Q5988368, nLab identity component
Identity coset496AFMYXEHstatementrecord (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.37368#3026
identity element75FBJRN7YRunknownnode (a node has the same name as the row)Wikidata Q185813, EoM Identity_element, LMFDB knowl alg.binary_operation.identity, MathWorld IdentityElement, nLab identity element
Identity for Alexandrov's TheoremCWK2S99PY2statementrecord (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.29393#499O
Identity for Serrin's type Theorem4BFVC2Q308statementrecord (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.29393#5A54
Identity for the magnitude contributionGHWM7AGBA9statementrecord (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.02843#L2BZ
identity functionF0PX7F5QA6unknownnode (a node has the same name as the row)Wikidata Q321119, MathWorld IdentityFunction, MathWorld IdentityMap, MathWorld IdentityOperator, nLab identity function
identity functorDD3F60H1P7unknownopenWikidata Q128032193, nLab identity functor
Identity Instantiation of Semantic TypingZY1S7K0AGWstatementrecord (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.21131#3Z9W
Identity is a Semantic Weakening2JV2XB0AKTstatementrecord (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.21131#ZSX1
Identity is semanticDDP4F1WR88statementrecord (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.21131#NCQA
Identity link functionCNAC1KBVZEexamplerecord (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 2601.15880#YXTA
identity matrixYKF2GFKYC3unknownnode (a node has the same Wikidata item as the row)Wikidata Q193794, MathWorld IdentityMatrix, nLab identity matrix
Identity null hypothesis296QFJCGS5statementrecord (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.03629#A14J
Identity null hypothesisNVA3M4TFBWstatementrecord (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.03629#LDU2
identity of indiscerniblesPDEN9GDKNVstatementopenWikidata Q525506, nLab identity of indiscernibles, ProofWiki Axiom:Leibniz's_Law
Identity Substitution15GT9QE2KGstatementrecord (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.21131#M33S
Identity Substitution is Well-TypedAGN26PJ93Sstatementrecord (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.21131#2CBR
identity tensor1RP3RA2W0Vdefinitionrecord (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 2505.04063#50AN
identity theoremE8WMKJ75BDconceptopenlebl_ra index/1.3.5/identity-theorem
identity theoremMD5GKR9AR4conceptopenlebl_scv index/1.2/identity-theorem
Identity theoremW1S1CFAGWEstatementopenlebl_ra ch-approximate.tex#thm:identityanalytic
Identity theoremWV3SN733GHstatementnode (a node has the same name as the row)mathlib_1000 Q1038716, Mathlib AnalyticOnNhd.eqOn_of_preconnected_of_frequently_eq, Wikidata Q1038716, mathlib_overview Analysis > Complex analysis > principle of analytic continuation, mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > principle of analytic continuation, thousand_plus Q1038716, Wikipedia Identity theorem
identity theoremZ9Q7J6VQEDconceptopenlebl_scv index/B/identity-theorem
Identity theorem for Riemann surfacesBG19032RSXstatementopenmathlib_1000 Q5988409, Wikidata Q5988409, thousand_plus Q5988409, Wikipedia Identity theorem for Riemann surfaces
Identity theorem\index{identity theorem}FSR1AY9BCGstatementopenlebl_scv scv.tex#thm:identity
Identity Weakening32QXA01ECGstatementrecord (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.21131#8R0N
Identity WeakeningKMAAEGAVH9statementrecord (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.21131#1MEJ
identity, function6F0S303N27conceptopenhott_book index/1.4/identity-function
identity, functionXZYM8EGBEFconceptopenhott_book index/1.10/identity-function
identity, modalityAAJSEPZ7SSconceptopenhott_book index/6.7/identity-modality
identity, systemJ8RTD1NGDRconceptopenhott_book index/8.8/identity-system
identity, system, at a pointWK7F2NM61Dconceptopenhott_book index/8.8/identity-system-at-a-point
Identric meanJ340R8CE3BconceptopenWikidata Q10972421, MathWorld IdentricMean
idoneal number8Q59S4K49JunknownopenWikidata Q3879415, MathWorld IdonealNumber
Ieke MoerdijkTHS5YHF6P3unknownout_of_scope (a person, not an item of mathematics)Wikidata Q167048, nLab Ieke Moerdijk
if and only ifD2G7VAMEBEdefinitionopenWikidata Q949972, MathWorld Iff, ProofWiki Definition:Iff
if and only ifK6AF5DQGYXconceptopenlevin_dmoi index/1.2.1/if-and-only-if
if, then7VC1M9GCTAconceptopenlevin_dmoi index/1.2.1/if-then
Igor Dolgachev6VNDNBNWY7unknownout_of_scope (a person, not an item of mathematics)Wikidata Q339333, nLab Igor Dolgachev
Igor Frenkel5HCGDZVBJXunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1657690, nLab Igor Frenkel
Igor KhavkinePHES42VYDMunknownout_of_scope (a person, not an item of mathematics)Wikidata Q64007986, nLab Igor Khavkine
Igor Klebanov20NZ6BQ8SHunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1239168, nLab Igor Klebanov
Igor Rivin3CD8B6JGNGunknownout_of_scope (a person, not an item of mathematics)Wikidata Q5993638, nLab Igor Rivin
Igor Shafarevich5SFFEYTCWWunknownout_of_scope (a person, not an item of mathematics)Wikidata Q710920, nLab Igor Shafarevich
Ihara's constant8CCD9H37DNdefinitionrecord (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.32834#87Q7
Ihara--Kaneko--Zagier2CST54H4QZstatementrecord (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.17957#ME1Z
Ilka AgricolaFPNJJY85CZunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1658686, nLab Ilka Agricola
Illumination problemPC9F5P92XQproblemopenWikidata Q390518, MathWorld IlluminationProblem
ILP$(\mathcal{I},\vec{\gamma}\in\mathbb{Z}_{\geq 0}^{\phi})$T73ZBV8Z7HunknownopenarXiv 2609.26366#WS0K
Ilya PrigogineBVRXQ7HT0Eunknownout_of_scope (a person, not an item of mathematics)Wikidata Q183509, nLab Ilya Prigogine
imageT560Q70Q45conceptopenWikidata Q860623, MathWorld Image
imageWCB960M7ACconceptopenhott_book index/7.4/image
imageX611KHR083conceptopenhott_book index/C.1.2/image
image of a free pointP6JEZHKY4Xstatementrecord (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.09298#8VZH
Image of a rational map on an open setGTHN2NY0XWstatementrecord (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.08610#HTAO
image of a rational map on an open set (cf.675013T88Hstatementrecord (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.08610#VEPV
image of a segmentPDZZYT27NVunknownopenmathlib_undergrad Single Variable Real Analysis > Real-valued functions defined on a subset of $\R$ > image of a segment, Mathlib ContinuousOn.image_Icc
image, stability under pullbackW32QE99QZWconceptopenhott_book index/6.6/image-stability-under-pullback
Images of bounded componentsG16DBQR0RPstatementrecord (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.30103#618I
Images of compacts are compactBRS7NDXR37statementopennapkin tex/topology/compactness.tex#theorem-1
imaginary error functionCRQ7P851W1unknownopenWikidata Q111218548, MathWorld Erfi
imaginary line1X8JHZ1W7HconceptopenWikidata Q6002522, MathWorld ImaginaryLine
imaginary numberMGZDA4BS68unknownopenWikidata Q9165172, MathWorld ImaginaryNumber
imaginary partNMX9HD815JdefinitionopenWikidata Q1341545, MathWorld ImaginaryPart, ProofWiki Definition:Complex_Number/Imaginary_Part
Imaginary pointKDXTYJZ2AKconceptopenWikidata Q19597580, MathWorld ImaginaryPoint
Imaginary post-automorphism diameterXKTFV6SFYJstatementrecord (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.25027#1CG3
imaginary unitGKPB28DR2Jobjectnode (a node has the same Wikidata item as the row)Wikidata Q193796, MathWorld ImaginaryUnit, nLab imaginary unit, ProofWiki Definition:Complex_Number/Imaginary_Unit
Imaginary-part kernel identity800H1KP6YTstatementrecord (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.12853#5084
Immanant of a matrixQXR5XFPQ1EconceptopenWikidata Q15297666, MathWorld Immanant
Immanuel KantCX4F3KXX7Nunknownout_of_scope (a person, not an item of mathematics)Wikidata Q9312, nLab Immanuel Kant
Immediate !!^{subformula}MZ6722RKS8definitionopenopen_logic content/first-order-logic/syntax-and-semantics/subformulas.tex#defn-1
Immediate basin of attractionHAARFMKGY1definitionrecord (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.07064#MIQ3
Immediate compactness without a spectral gap38JFA6Y3Z5examplerecord (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.13358#IN1E
Immerman–Szelepcsényi theoremGM4F4GHKKZstatementopenmathlib_1000 Q744440, Wikidata Q744440, thousand_plus Q744440, Wikipedia Immerman–Szelepcsényi theorem
Immersion8APAX3PDB1statementrecord (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.08987#PQSF
immersionM51WV07JQEdefinitionopenWikidata Q574523, MathWorld Immersion, ProofWiki Definition:Immersion
impartial gameT13C6GSNMBunknownopenWikidata Q2289490, MathWorld ImpartialGame
imperative programmingR7RG3F37AHunknownopenWikidata Q275596, nLab imperative programming
Imperfect compliance5VQ8C76JSMexamplerecord (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.40156#ZGBR
imperial system of unitsGXJNNTN90FdefinitionopenWikidata Q641227, ProofWiki Definition:Imperial
Implementable flux half-turn2MPTBAZP0Cstatementrecord (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.16248#TI06
Implementable frozen-tilt estimate13SR07DYHEstatementrecord (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.03633#RXLL
Implementable persistent sampler8B6VPX1G7Mstatementrecord (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.16248#NOBB
Implementation theoremXPFZ7ZT642statementrecord (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.16248#1JHT
implication4X77ET5QJAconceptopenlevin_dmoi index/1.2.1/implication
implicationYYEP95KR4Nconceptopenhott_book index/A.11/implication
implication, equivalent disjuctionCVCSQ6ECE3conceptopenlevin_dmoi index/4.1.2/implication-equivalent-disjuction
Implications between the hypothesesJTD28P498Ystatementrecord (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.27766#MCXA
implicit argumentXY6WAPASFAconceptopenhott_book index/4.2.11/implicit-argument
Implicit derivativesD4JXRJ1WMPunknownopenWikidata Q1311643, MathWorld ImplicitDifferentiation
implicit function53H7FXA6JFconceptopenactive_calculus index/2.7.1/implicit-function
implicit function6BPS692Y9TunknownopenWikidata Q1196523, EoM Implicit_function, MathWorld ImplicitFunction