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

NameIdKindOutcomeSources
Integrable upper envelope for the quasi-likelihood contrast32H0BA0556statementrecord (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.19421#D95W
integral8CN3WYVA2TconceptopenWikidata Q80091, MathWorld Integral
Integral $k$-currentBEHH5VRYWVdefinitionrecord (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.24451#38LV
Integral arithmetic twists5DC0QRE5H6statementrecord (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.26318#1K24
Integral assignment dualityG971NSBV3Cstatementrecord (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.13580#AZAQ
Integral boundMVQ28WDVH7statementrecord (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.17276#U32V
integral calculusQYP9BX3EGNtopicopenWikidata Q150008, MathWorld IntegralCalculus, nLab integral calculus
Integral capacities and inequalitiesVZBEXKX0V6statementrecord (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#S8PZ
Integral classification of the odd familyQGH580NJTQstatementrecord (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.14582#H3D5
Integral clearing of polesMFAYMYA594statementrecord (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.33808#6BT0
integral closureJ8YJKZX5HVunknownopenWikidata Q78650261, MathWorld IntegralClosure, nLab integral closure
integral curves12K3S0RZWPunknownopenmathlib_overview Geometry > Differentiable manifolds > integral curves, Mathlib IsMIntegralCurve
Integral determinant precisionP3D4JB25XYstatementrecord (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#Q5C5
integral domainJZCW37FSDAdefinitionnode (a node has the same name as the row)Wikidata Q628792, EoM Integral_domain, LMFDB knowl ring.integral_domain, MathWorld IntegralDomain, nLab integral domain, ProofWiki Definition:Integral_Domain
integral equation2HKKVBXSS8conceptopenlebl_diffyqs index/7.3.3/integral-equation
integral equationZ026KJP742topicopenWikidata Q580101, EoM Integral_equation
integral extensionNTNKFX3ETSunknownopenWikidata Q78649322, EoM Integral_extension_of_a_ring, MathWorld IntegralExtension
Integral form of the kernel6P6A7B5C0Sstatementrecord (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.31689#QR6E
integral functionB5JJ3T73QEconceptopenactive_calculus index/5.1.4/integral-function
integral geometry86HRQEDF17topicopenWikidata Q2725319, EoM Integral_geometry
Integral Gr\"onwall inequality5KYERFEPVFstatementrecord (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.27414#Q8OE
integral graphYR84QG6DHWunknownopenWikidata Q3036983, MathWorld IntegralGraph
Integral identity for equal Cauchy pairs413QVZA5FDstatementrecord (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.17519#65HT
Integral inequality for $L_t$MGZETVBG9Jstatementrecord (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.19410#1AQE
Integral isometries are signed permutationsYXNXRRF4VWstatementrecord (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.38668#88HE
Integral lattice and base changeZZWEW9KN9Bstatementrecord (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#PS0E
Integral Liouville TheoremZ54PJVDKGGstatementrecord (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 1808.00180#IORY
Integral mixed normal form6MR2EM4N2Wstatementrecord (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.27970#SDXN
integral of motionQ4F87NM3FTunknownopenWikidata Q12021694, MathWorld IntegralofMotion
integral operatorNRYRGY476EtopicopenWikidata Q43230999
integral over a segment of piecewise continuous functionsV3MAQCAKGGunknownopenmathlib_undergrad Single Variable Real Analysis > Integration > integral over a segment of piecewise continuous functions
Integral pendant-edge splittingT3WRT2GPTMstatementrecord (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.04305#GCWP
Integral primary vectorRJP5HQPKJCstatementrecord (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#25TH
Integral pure-pair obstruction latticeT6HDYJ8MX7statementrecord (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.20649#9UN6
Integral reconstruction8FPR76NGJ8statementrecord (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.15262#JSEO
Integral representationDWMP8RYCZVstatementrecord (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.14695#QLK7
Integral representationTKH0XTWEJMstatementrecord (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.06028#JQ3N
Integral representationV7XKSP8R9Hstatementrecord (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 2509.22289#5YBN
Integral representation for $\widehat{U}^\omega$DB90F4QYT5statementrecord (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 2512.08487#01EC
Integral representation of the smoothed relative errorBYS32KKK13statementrecord (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.08231#GIPV
Integral representations of the modified extension of the classical beta functionGSHMY0XTQEstatementrecord (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 1704.08191#H4SO
integral schemeXDPTVRJW4SunknownopenWikidata Q3475665, nLab integral scheme
integral signXE18BD43NMconceptopenactive_calculus index/4.3.2/integral-sign
Integral spectral-block decomposition63SPVFENYMstatementrecord (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.04189#OYPV
Integral testKPBDCWMYDBstatementopenlebl_ra ch-riemann.tex#prop-10
integral test for seriesJQJ03P1EBXconceptopenlebl_ra index/8.5.1/integral-test-for-series
integral transformEA2YVF2RXVunknownopenWikidata Q877802, EoM Integral_transform, MathWorld IntegralTransform
Integral transportation criterion55KEADKK01statementrecord (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.13580#EXQ6
Integral universal series and reductionB1AV8FC4W6statementrecord (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#5YQN
Integral varifolds with generalized boundaryHJAZ4DV3FBstatementrecord (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#DGIE
IntegralityQEH31PRFAHstatementrecord (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#HBC2
IntegralityY76W6RHTS0statementrecord (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.35722#GCQP
Integrality; cf.\ Merris for general cographs9AWGE7MG6Kstatementrecord (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.08599#STD1
integrally closed domain6GT0M8J196unknownopenWikidata Q2851427, LMFDB knowl ring.integrally_closed, MathWorld IntegrallyClosed
Integrals on annuli, shells and stripsTXG4VWRHQ5statementrecord (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#TY3I
integrandKG0D6Q4MHTconceptopenactive_calculus index/4.3.2/integrand
integrandMKYKWQE7NPunknownopenWikidata Q138036390, MathWorld Integrand
Integrated approximation under a margin conditionQPP0KTGNT2statementrecord (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#SRVN
Integrated Chern--Lu identityS5S2DN1CA2statementrecord (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.25762#EWIU
Integrated entropy derivativeGSRGAY51QSstatementrecord (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.24931#JBUL
Integrated formKNHAX1XXZ4statementrecord (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.37479#6CCK
Integrated gradient boundGKAYCH2TBXstatementrecord (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.20106#B48O
Integrated graph distance control near the full separatrixSR16F1EKKRstatementrecord (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.01050#BWRI
Integrated heat approximation22PWJTERF0statementrecord (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.05204#XZZA
Integrated leading kernelWXZECJ6QJBstatementrecord (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.06875#ZYGT
Integrated query and weight bounds2MQC0JR3RPstatementrecord (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.05388#IUJP
Integrated score approximation by the Transformer classSWV8CVQ246statementrecord (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.05333#7P16
Integrated shallow approximation lower boundD5EG41Y4QWstatementrecord (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.10875#CD65
integrating factor755VZE1XD2unknownnode (a node has the same name as the row)Wikidata Q2734005, MathWorld IntegratingFactor
integrating factor method, for systemsK7PFRN7RK3conceptopenlebl_diffyqs index/10.9.1/integrating-factor-method-for-systems
Integrating the Lagrange multiplierDFZ5YW29CNstatementrecord (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.04099#N5LX
Integrating the residualPNM633F57Nstatementrecord (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.05164#WH46
Integration against a Kolmogorov perturbationTDKF7WSEE1statementrecord (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.16351#J7IW
integration along fibers2S26SSPT14unknownopenWikidata Q17100615, nLab fiber integration
Integration and finiteness for the resulting equationsS7AYPSNDYSstatementrecord (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.14065#MQLP
Integration by parts6QS8H7YA0Hstatementrecord (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#UHUY
integration by partsPRBRE9D7QRunknownnode (a node has the same Wikidata item as the row)Wikidata Q273328, MathWorld IntegrationbyParts, nLab integration by parts
integration by partsWPVTZ58HMJconceptopenactive_calculus index/5.4.2/integration-by-parts
integration by partsY8V88X1R5Bunknownopenmathlib_undergrad Single Variable Real Analysis > Integration > integration by parts, Mathlib intervalIntegral.integral_mul_deriv_eq_deriv_mul
integration by substitution2Y3RC7BHEYunknownnode (a node has the same Wikidata item as the row)Wikidata Q1071270, Mathlib intervalIntegral.integral_comp_mul_deriv, MathWorld ChangeofVariablesTheorem
Integration over $t$PV2KNCSXPDstatementrecord (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.03081#3P3A
Integration with a two-atom support theorem: conditional partDDVSC2ZYYNstatementrecord (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.24931#CUMQ
Integration-by-parts1PARHATFGAstatementrecord (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.21781#R2A7
intensional logicMXDAYB0NKJdefinitionopenWikidata Q6044335, ProofWiki Definition:Intensional_Logic
intensional type theory861NE23EY4conceptopenhott_book index/1.15/intensional-type-theory
intensional type theory9W7RY07B6Aconceptopenhott_book index/A.12.3/intensional-type-theory
intensionally defined setDV7M040V0AunknownopenWikidata Q109941991, MathWorld Intension
Intensities for constant variancesD6F47MYXHZstatementrecord (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.32695#4QLB
Intensity measureF94PWYY7X5unknownopenWikidata Q47068090, MathWorld IntensityMeasure
inter-universal Teichmüller theory77MVWW9EWSunknownopenWikidata Q19597596, nLab inter-universal Teichmüller theory
Interacting components478AWF26WCproblemrecord (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.19669#5BTN
Interacting particle system5J4XGQK5ZWdefinitionrecord (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/0003117#R96V
InteractionA7EXY000FHdefinitionrecord (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.27181#5AB6
InteractionKW5KBHB201definitionrecord (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.12731#6QYA
Interaction between the inserted pointsGDPJ181DZVstatementrecord (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.06372#BKSS
Interaction Morawetz functionalANDRR4BCEJdefinitionrecord (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.28454#6T0S
Interaction termsNCTHKJB3FKstatementrecord (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#8UIQ
Intercept theorem2SBFPR43VQstatementnode (a node has the same name as the row)mathlib_1000 Q3757563, Wikidata Q3757563, thousand_plus Q3757563, Wikipedia Intercept theorem
interchange law4QT1AHHBNDconceptopenhott_book index/1.1/interchange-law
interchange lawQRM4PA1H3Wconceptopenhott_book index/2.2/interchange-law