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

NameIdKindOutcomeSources
implicit function theoremDK871VD81Vstatementnode (a node has the same Wikidata item as the row)arXiv 2610.21781#FJP9, mathlib_1000 Q848375, Mathlib ImplicitFunctionData.implicitFunction, Wikidata Q848375, mathlib_overview Analysis > Differentiability > implicit function theorem, mathlib_undergrad Multivariable calculus > Differential calculus > implicit function theorem, thousand_plus Q848375, Wikipedia Implicit function theorem, MathWorld ImplicitFunctionTheorem
implicit function theoremGHW8X0XC43conceptopenlebl_scv index/1.3/implicit-function-theorem
implicit function theoremGK9NWPTC85conceptopenlebl_ra index/11.5.1/implicit-function-theorem
Implicit function theoremTX5C33RMQVstatementopenlebl_ra ch-several-vars-ders.tex#thm:implicit
Implicit function theorem\index{implicit function theorem}\index{holomorphic implicit function theorem}H0D14ZQ2DGstatementopenlebl_scv scv.tex#thm:ift
Implicit in , Theorem 17ZVGD1M0QSstatementrecord (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 2411.05198#RKX7
Implicit recursive accelerated bound49KVN7G973statementrecord (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#3I6M
Important: prime ideals divide rational primesGFY587Y9BVstatementopennapkin tex/alg-NT/dedekind.tex#thm:prime_ideals_over_rational
Impossibility of a Universal Power Lower BoundW2QY9H2P99statementrecord (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.04264#NR1J
Impossibility of modulus-free gap certificationF2Q77ZR8RKstatementrecord (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.00295#K4G3
Impossibility of simultaneous optimalityNKZAZC9ZFZstatementrecord (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.35631#WLCR
Impossibility of Structured Backward Error for Nearly-Unitary OutputsBB0SZPSWW9examplerecord (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.12228#SQFU
impossible cube8VBB09WT7AunknownopenWikidata Q1464984, MathWorld FreemishCrate
impossible objectGHHHQBZBT1unknownopenWikidata Q601362, MathWorld ImpossibleFigure
impossible tridentZDHAC12PBYunknownopenWikidata Q660994, MathWorld ImpossibleFork
impredicative, encoding of a $\w$-type7M1KDBCRA0conceptopenhott_book index/8.8/impredicative-encoding-of-a-w-type
impredicative, quotientG90FXVFD4Yconceptopenhott_book index/C.1.3/impredicative-quotient
impredicative, quotientYQ4HWX0PZ8conceptopenhott_book index/5.10/impredicative-quotient
impredicative, truncation5Y2ZAWXWZFconceptopenhott_book index/9.11/impredicative-truncation
impredicativity8A5FW65H83unknownopenWikidata Q3149511, MathWorld Impredicative
improper fractionCANFENYQW6unknownopenWikidata Q11922677, MathWorld ImproperFraction
improper integralDPKBRR863Sunknownnode (a node has the same name as the row)Wikidata Q464118, EoM Improper_integral, MathWorld ImproperIntegral
improper integralP69XJHJN46conceptopenactive_calculus index/6.5.2/improper-integral
improper integral, convergesW34414GP7Dconceptopenactive_calculus index/6.5.3/improper-integral-converges
improper integral, diverges3SZC17Q589conceptopenactive_calculus index/6.5.3/improper-integral-diverges
improper integral, unbounded integrandG5E5VPXQB4conceptopenactive_calculus index/6.5.4/improper-integral-unbounded-integrand
improper integral, unbounded region of integration5B8JR1RHCXconceptopenactive_calculus index/6.5.2/improper-integral-unbounded-region-of-integration
improper integralsNS1E91WJN3unknownopenmathlib_undergrad Single Variable Real Analysis > Integration > improper integrals
improper rotationDPXFSW4AWCunknownopenWikidata Q1256684, MathWorld ImproperRotation
improper subsetAWM6XEHDAMunknownopenWikidata Q141201437, MathWorld ImproperSubset
Improved Ball-Box TheoremNGQK0DYKCEstatementrecord (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 2503.00560#5JDS
Improved Bochner InequalityDBRFN9XKR8statementrecord (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.27516#5ADQ
Improved cumulant boundsVNE767WTWJstatementrecord (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.17717#PPF5
Improved Euler's methodF44K9KNSMHconceptopenlebl_diffyqs index/4.7.1/improved-euler-s-method
Improved forward rateVD19CRTSMAstatementrecord (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.07380#JLPF
Improved horizontal derivative estimatesRA1P51HD58statementrecord (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.32829#X5CU
Improved log-Lichnerowicz inequality, KlartagSMZKE049R9statementrecord (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.22109#SMCS
Improved moment estimates9SBDZH6GQQstatementrecord (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.25301#B8PY
Improved moment estimates at infinityD7SB03M4WRstatementrecord (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.25301#7MNP
Improved multicollision boundA9X9Y6KHRKstatementrecord (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.39233#OH8A
Improved outgoing remainderF3HZPTVTE9statementrecord (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.00241#E5XL
Improved place-fair upper boundHCWH27YM19statementrecord (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.15421#UN2H
Improved Scalability for Large Sample Sizes via Dual ProgramC6G9REQN5Bstatementrecord (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.12239#1TQM
Improved Stability InequalityYCJJ0PCZYPstatementrecord (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.27516#07TI
Improvement of Flatness for general $F$M6ZCDPQGHMstatementrecord (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#64N3
Improvement of Flatness for type I cones27NCEHXPV9statementrecord (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#3G83
Improvement of Flatness for type I conesWZK3EJSMWGstatementrecord (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#9CFZ
Improvement of Flatness in dimension $n\geq 3$EG15Y20M4Jstatementrecord (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#GX8T
Improvement of Flatness near type II conesJXN2FZ45YAstatementrecord (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#6NCR
impulseFJZGA7J9JKdefinitionopenWikidata Q837940, ProofWiki Definition:Impulse
Impulse response without correction by trajectory classYGW3XGHSP3statementrecord (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.25545#A3MO
Impulsive Equivalence9RAFQBJKTCdefinitionrecord (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.20126#C5KC
IMU Abacus MedalYVCNSQAZ9CunknownopenWikidata Q902556, MathWorld NevanlinnaPrize
in $\Z + \text{Weak-Reflection}$.EQ86K5XWHHstatementopenopen_logic content/set-theory/replacement/refproofs.tex#lem:reflect
in $\Z$ + Weak-ReflectionNDTG9TKA9Mstatementopenopen_logic content/set-theory/replacement/refproofs.tex#thm:replacement
in $\ZF$8TY82YE950statementopenopen_logic content/set-theory/choice/wellorderingproblem.tex#thmwochoice
in $\ZF$AHDYGZB5DEstatementopenopen_logic content/set-theory/choice/justifications.tex#choiceset
in $\Zminus + \text{Countable Choice}$4RJXEY3MCJstatementopenopen_logic content/set-theory/choice/countablechoice.tex#thm-2
in $\Zminus + \text{Countable Choice}$R6MCXQ2R5Wstatementopenopen_logic content/set-theory/choice/countablechoice.tex#thm-1
in $\Zminus$R89Q1K336Mstatementopenopen_logic content/set-theory/choice/countablechoice.tex#lem-1
in \emph{Grundgesetze}GBK6H73VZXstatementopenopen_logic content/set-theory/story/grundgesetze.tex#lem:Fregeextensions
in \emph{Grundgesetze}.QSD0EMP3JSstatementopenopen_logic content/set-theory/story/grundgesetze.tex#lem-1
In Pursuit of the Unknown: 17 Equations That Changed the WorldK651R40T7Bunknownout_of_scope (a book, not an item of mathematics)Wikidata Q30247949, ProofWiki Book:Ian_Stewart/17_Equations_that_Changed_the_World
In shuffle84PXQ1HX2EconceptopenWikidata Q17116081, MathWorld In-Shuffle
in terms of Turing machinesC5ZQ3XYT91unknownopenmathlib_overview Logic and computation > Computability > computable function > in terms of Turing machines, Mathlib Turing.TM2Computable
In)finiteness of slopes4MPK8WZNNSdefinitionrecord (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.12165#J2Z7
inaccessible cardinalGECR4GG1VGdefinitionopenWikidata Q1331373, MathWorld InaccessibleCardinal, nLab inaccessible cardinal, ProofWiki Definition:Strongly_Inaccessible_Cardinal
inaccessible cardinalRHRYHWNNQ1conceptopenhott_book index/u1.u7/inaccessible-cardinal
incenterSJMBZVPSDDdefinitionnode (a node has the same Wikidata item as the row)Wikidata Q10614739, MathWorld Incenter, ProofWiki Definition:Incircle_of_Triangle/Incenter
inchG610AT6ZJSdefinitionopenWikidata Q218593, ProofWiki Definition:Imperial/Length/Inch
inch of mercuryDEYTSMWVKZdefinitionopenWikidata Q1050958, ProofWiki Definition:Inch_of_Mercury
incidence9E7KQ9FWZEunknownopenWikidata Q1671857, MathWorld Incident
incidence algebra9JGH98MD6EtopicopenWikidata Q371133
Incidence descentTWZMPT1GAFstatementrecord (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.33365#4Z0T
Incidence formulaKXRVF4CVQCstatementrecord (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.17006#YQ86
incidence geometry7NWXY5GXTJunknownopenWikidata Q4582901, nLab incidence geometry
Incidence matrix2HWPZ0SKT2definitionrecord (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.09810#G3V2
incidence matrixDTVXP7C5DDunknownopenWikidata Q939272, MathWorld IncidenceMatrix
incident to6HB8BW0ADFconceptopenapplied_combinatorics index/5.1/incident-to
Inclusion in maximal achronal sets2REVPFVN3Zstatementrecord (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.21775#5YJT
inclusion mapWQQRJNDX88unknownopenWikidata Q1663694, MathWorld InclusionMap
Inclusions graded by \(\Z\) or square-free cyclic groupsWTT5MTRW5Sstatementrecord (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#B7ZA
inclusion–exclusion principleMSSTJ0C480unknownnode (a node has the same Wikidata item as the row)Wikidata Q849335, EoM Inclusion-and-exclusion_principle, MathWorld Inclusion-ExclusionPrinciple
inclusive orG9GT4G9G9Fconceptopenlevin_dmoi index/1.2.1/inclusive-or
Incoherence of a Gaussian crowdHMJFWCP4X4statementrecord (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.04671#WFFK
Incoming normalization of the raw Poincar\'e series1MB4NFAAS5statementrecord (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.25925#PPBP
incommensurability and non-trivial $\bf m$-stability45TFJGTHA0examplerecord (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 2210.06147#V39W
Incomparability of $S$ and $C$EQKKWB695Gexamplerecord (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.26776#GZEY
incomparableKTBJ0P2WX6conceptopenapplied_combinatorics index/6.1/incomparable
Incomparable maximal private releases near a GaussianWQ04V3YY2Kstatementrecord (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#RHTB
Incompatibility of directional kernels, spherical output and equivariance1M52HP5KVHstatementrecord (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.13892#U298
Incompatibility with power operationsNHXNEV3T3Qexamplerecord (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.21675#HF9R
incomplete beta function3TZHC3QVZCunknownopenWikidata Q13199212, MathWorld IncompleteBetaFunction
incomplete elliptic integral of the first kind1GKBPZ27PRunknownopenWikidata Q109752309, MathWorld EllipticIntegraloftheFirstKind
incomplete elliptic integral of the second kindEQ66HN9B22unknownopenWikidata Q109752773, MathWorld EllipticIntegraloftheSecondKind
incomplete elliptic integral of the third kindGN7KGER9JVunknownopenWikidata Q109753096, MathWorld EllipticIntegraloftheThirdKind
Incomplete gammaMMT1Y6E3BNstatementrecord (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.29605#4GB5
incomplete gamma functionGWFEA90GCJunknownopenWikidata Q1319246, MathWorld IncompleteGammaFunction
Incompressibility for the ambient quotientFRSWQVJSWTstatementrecord (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.26984#IDLX
Incompressible flow along one pathR977YKXZ7Sproblemrecord (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.31294#FK9W