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

NameIdKindOutcomeSources
Inner Multipermutation SID SyndromeSZ04NYAT1Hstatementrecord (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.37578#B6CM
inner productHE1J3Q8VXRunknownnode (a node has the same name as the row)Wikidata Q23924662, EoM Pre-Hilbert_space, MathWorld InnerProduct
inner product of functionsVK43Z2SBEGconceptopenlebl_diffyqs index/3.1.2/inner-product-of-functions
Inner product on function spaceQGWNGDHGAYdefinitionrecord (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.37074#2PV3
inner product spaceZ2P723Z1AGunknownnode (a node has the same name as the row)mathlib_overview Analysis > Hilbert spaces > Inner product space, over $R$ or $C$, Mathlib InnerProductSpace, mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > Euclidean vector spaces, mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > Hermitian vector spaces, Wikidata Q214159, MathWorld InnerProductSpace, nLab inner product space
inner product space $L^2$5AP9EGBPW5unknownopenmathlib_undergrad Topology > Hilbert spaces > inner product space $L^2$, Mathlib MeasureTheory.L2.innerProductSpace
inner product space $l^2$MJVNNNSJ1Junknownopenmathlib_undergrad Topology > Hilbert spaces > inner product space $l^2$, Mathlib lp.instInnerProductSpace
Inner product structure of tensors77HK0699HHexerciseopennapkin tex/linalg/inner-form.tex#prob:inner_prod_tensor
Inner regret on bounded gradient sequencesGQ3EXWHNH2statementrecord (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#ATKT
inner regularity68GYGWCWC4statementrecord (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 2406.07116#K9NT
Inner-product on parameter space241N4TGCKBdefinitionrecord (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.37074#QMTE
Innovation and representationX04ZPWES00statementrecord (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.18180#1JDK
Innovation variance recurrenceYRFS9J4BV6statementrecord (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.00614#D4RR
InnumeracyQ9A9EB9GNQunknownout_of_scope (a book, not an item of mathematics)Wikidata Q3211589, ProofWiki Book:John_Allen_Paulos/Innumeracy
Input in discrete space, output signed measureS5R79K5QSQstatementrecord (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 2204.09167#BZZG
input size3E2YXNWT4Zconceptopenapplied_combinatorics index/4.2.4/input-size
Input--output behavior3TS92PBR1Tdefinitionrecord (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.25431#V55C
Input--output tests for approximate controllability1Q45GN8KMRstatementrecord (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.25431#8J55
Input--state tests for approximate controllability408PMRHD01statementrecord (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.25431#JHOX
Input-size complexityQH8JBABF6Dstatementrecord (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.07293#9KWY
inradiusGZEZH8M2P2definitionopenWikidata Q3799068, MathWorld Inradius, ProofWiki Definition:Incircle_of_Triangle/Inradius
inscribed angleTB83Q1B023definitionopenWikidata Q915985, MathWorld InscribedAngle, ProofWiki Definition:Angle_Inscribed_in_Circle
inscribed angle theoremT13XHX9564unknownopenmathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > inscribed angle theorem, Mathlib Orientation.two_zsmul_oangle_sub_eq_two_zsmul_oangle_sub_of_norm_eq
inscribed angle theoremZ0HFY4QEFKstatementopenWikidata Q124419940, ProofWiki Inscribed_Angle_Theorem
inscribed circlePND0G8SFR8definitionopenWikidata Q354337, MathWorld Incircle, ProofWiki Definition:Incircle_of_Triangle
inscribed sphereDM7ZDS699BunknownopenWikidata Q683362, MathWorld Insphere
inscribed square problemTK6V6D6PDWproblemopenWikidata Q2264221, MathWorld SquareInscribing
inscribed triangle8V9PWPYYZ4unknownopenWikidata Q18762468, MathWorld InscribedTriangle
Inseparability does not determine homotopy typeFR1N7ACA89examplerecord (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.14783#Z5M0
InsertionDFHDQXA2WCproblemrecord (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.13972#442W
Insertion criterionS99YE61CDAstatementrecord (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#5UZ8
Insertion for $n\ge9$CKBSKRHTAPstatementrecord (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.13972#KEEV
Insertion ratio4Z97QJ778Tstatementrecord (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#VUJR
Insertion work3SJXT4BW2Gstatementrecord (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.11330#5OMX
Insertional decompositionAETJSF6ZYDdefinitionrecord (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.14615#3NXV
Insertional PseudoentropyGC3ZNBJKZ1definitionrecord (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.14615#PX8C
Insertional pseudoentropy implies conditional sampling hardnessXDRP96GTAAstatementrecord (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.14615#EL91
Insertional sampling is stronger than sequential samplingS62ZDEXT7Sstatementrecord (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.14615#Y2UP
Insertionally samplable pseudorandom generatorsXTSRZP4R43statementrecord (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.14615#Z0NA
Instabilities and energy concentrationC4PA36JHSRstatementrecord (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 2603.28861#0BX5
Instability around a fixed nonzero electric trajectoryEQKQ2MQAZZstatementrecord (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.24962#SH5K
Instability gives infinite laddersG7S12N00AQstatementrecord (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.11002#IV4U
Instability of stationary maps on $\mb S^m$JW0190B10Nstatementrecord (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.13214#1XLO
Instability of the intersection pointsPMSF6RNV4Bstatementrecord (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.19953#PEZQ
Instability of the order projection4HPC80ZYE5statementrecord (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.11002#A15P
Instability of the Symmetric Turnover Before Changing VariablesB4ZXSBV9ARexamplerecord (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#HDTJ
Instability requires two idealized factorsKVDMJCK8TVstatementrecord (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.11002#30Y6
Instability TheoremV9ZYHDBK34statementrecord (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.10558#IQF2
instantAXBX04M11CdefinitionopenWikidata Q16963779, ProofWiki Definition:Instant_of_Time
Instantaneous density coercivityHZ949NQSEXstatementrecord (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.04894#ZHLX
instantaneous rate of change79TW1Y4RPBconceptopenactive_calculus index/1.3.2/instantaneous-rate-of-change
instantaneous rate of changeT1NXC9H7B1conceptopenactive_calculus index/1.5.2/instantaneous-rate-of-change
Instantaneous reward under \lpfpW098NHSX01statementrecord (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.38132#66Y6
instantaneous velocity5MD463YBCNconceptopenactive_calculus index/1.2.3/instantaneous-velocity
instantaneous velocityV06Y20DDYQconceptopenactive_calculus index/1.1.3/instantaneous-velocity
Instantiation of published theoremsRDJY37D07Astatementrecord (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.26258#NL8G
instantonF7KZD3AD87unknownopenWikidata Q1192916, nLab instanton
Instructions for Measuring with Compass and RulerK0F9SPR4BYunknownout_of_scope (a book, not an item of mathematics)Wikidata Q19231907, ProofWiki Book:Albrecht_Dürer/Underweysung_der_Messung_mit_dem_Zirckel_und_Richtscheyt
Instrument calculus for CoTPESPG5576Sstatementrecord (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.25039#TLB2
Insufficiency of finite angular dataP5GGZ0A8F4statementrecord (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.37704#E0T6
integerPG77BBWG3Ydefinitionnode (a node has the same Wikidata item as the row)Wikidata Q12503, EoM Integer, MathWorld Integer, ProofWiki Definition:Integer
integerXA48MVJZ8Kunknownopenmathlib_overview General algebra > Numbers > integer, Mathlib Int
Integer arguments, unconditional6B5Z0Z77FEstatementrecord (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.07214#HXAH
Integer complexityJDZX9XQ0VXconceptopenWikidata Q25304002, MathWorld IntegerComplexity
integer composition5P999NTC5Kunknownnode (a node has the same Wikidata item as the row)Wikidata Q141281347, MathWorld Composition, Wikidata Q244761, EoM Composition
integer division6BP8MWWABPunknownopenWikidata Q141269953, MathWorld IntegerDivision
integer exponentEAXMKV5C59unknownopenWikidata Q141280173, MathWorld IntegerExponent
integer factorizationQK538Q25F3topicnode (a node has the same Wikidata item as the row)Wikidata Q4846249, MathWorld PrimeFactorization
integer intervalFZBXEQQ6XDdefinitionopenWikidata Q129167027, ProofWiki Definition:Integer_Interval
integer latticeYT91J7Y920unknownopenWikidata Q1252145, MathWorld IntegerLattice
integer matrix7N8RKCRQB4unknownopenWikidata Q6042601, MathWorld IntegerMatrix
Integer parameters and matrix referencesX5GD77TDD1examplerecord (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#459A
integer partNH47N3X3YCunknownopenWikidata Q109852010, MathWorld IntegerPart
integer partition1ZP2TJP9HGstatementnode (a node has the same Wikidata item as the row)mathlib_100 45, Mathlib Nat.Partition.card_odds_eq_card_distincts, mathlib_1000 Q1082910, Wikidata Q1082910, thousand_plus Q1082910, MathWorld Partition
Integer partitionsMHB8KA8TN2definitionrecord (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.10745#Z3Q0
integer polynomialR5VCMKXD2ZunknownopenWikidata Q130417258, MathWorld IntegerPolynomial
Integer powers and Teichmuller representativesS1YG7FTBZ3statementrecord (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.10583#KL90
integer programming1H4094GMS7unknownopenWikidata Q6042592, EoM Integer_programming
Integer rectanglesWFACFMBYTXstatementrecord (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.37410#XU86
integer sequence4JQME5D4WBunknownopenWikidata Q2297602, MathWorld IntegerSequence
integer sequence prime51CQ24HF9TunknownopenWikidata Q6042604, MathWorld IntegerSequencePrimes
Integer stationary representatives4A1REJN3ZSstatementrecord (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.10583#H381
integer triangleQZ7KQM5GGKunknownopenWikidata Q6042609, MathWorld IntegerTriangle
Integer valuesMFEFJFKV8Qstatementrecord (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.02806#O2R4
Integer-root termXST217NR17statementrecord (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.13365#SAJQ
integers8GNMHN46MJconceptopenhott_book index/7/integers
integersEB7PHMMVGSconceptopenhott_book index/7.1.3/integers
integersK9QFXG5WBBconceptopenlevin_dmoi index/1.3.1/integers
integersTXQWDBY7R9conceptopenhott_book index/7.1.2/integers
integers, formal definition ofRZ2A1DTS05conceptopenapplied_combinatorics index/B.14/integers-formal-definition-of
integers, induction principle for107MPVF3WTconceptopenhott_book index/5.10/integers-induction-principle-for
integers, positiveBTKSXHSSPBconceptopenapplied_combinatorics index/B.12.1/integers-positive
Integrability of the energy5D64P8KHVNstatementrecord (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.15528#LQ8R
Integrability of the information driftY788KNF9F3statementrecord (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.18180#R09R
integrable distributionDT68NM5JKPunknownopenWikidata Q117309066, EoM Involutive_distribution, nLab integrable distribution of subspaces
integrable functionQJMXE0DX4YdefinitionopenWikidata Q3153745, MathWorld Integrable, ProofWiki Definition:Integrable_Function
Integrable hidden-face transferA1SFM0EDMEstatementrecord (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.29658#UVJO
integrable on $S$J5EHPRJB76conceptopenlebl_ra index/5.5.2/integrable-on-s
Integrable oscillation varianceA8D2N81SV3statementrecord (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.12387#DGNM
integrable system5JK586V142unknownopenWikidata Q1957758, nLab integrable system