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.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 901–1000 of 1391.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| interest | 7V139NT284 | definition | open | Wikidata Q170924, MathWorld Interest, ProofWiki Definition:Interest |
| interesting number paradox | 83JSWSSDT8 | statement | open | Wikidata Q1665996, ProofWiki Interesting_Number_Paradox |
| Interface with the Polymath effective approximation | 7T05H3MSQW | statement | record (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.37164#R48B |
| interior | EWQ54M777N | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q862761, MathWorld Interior, nLab interior |
| Interior $H^2$ regularity | YNF5Q04FXA | statement | record (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.32561#OS4X |
| Interior and exterior regions | 5MW3WKCN61 | definition | record (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#3O1P |
| Interior branch point touching the boundary | HEPP3QPN45 | example | record (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.09596#D877 |
| Interior bridge | WT8HQ0XRJ5 | statement | record (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.27799#FLJK |
| Interior bridge for resolved sheaves | E5K187S5SN | statement | record (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.27799#7EWE |
| Interior Cauchy data | HW03S51VYC | definition | record (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#UV1D |
| Interior classical tangent cones | JVMJ18FCCS | definition | record (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.04833#DZJ3 |
| Interior coercivity | AAZJ0070G2 | statement | record (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#PBTS |
| Interior compactness | KG3ABGF0FQ | statement | record (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#Z7DW |
| Interior constant of $H_4$ | 1EVPXCRSAY | statement | record (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#97SO |
| Interior convergence and logarithmic error estimate | X7GRNNTNYY | statement | record (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.10484#UJ57 |
| Interior eigenvalues and approximation | ZX8J8PWWXC | statement | record (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.31768#JDVQ |
| Interior fractional TBC | N33Y00JBJS | statement | record (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.06631#9J0Z |
| Interior Higher Order Estimates - Laplacian | A9F9844J62 | statement | record (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 2401.14638#VQ1U |
| Interior Hölder estimate - Laplacian | JCVR5SMW2M | statement | record (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 2401.14638#JUIQ |
| Interior Hölder estimate - uniformly elliptic | 3EBMW62KBP | statement | record (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 2401.14638#16MK |
| Interior non-degeneracy and smoothness of weak solutions | P3DH9G2R7S | statement | record (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.08434#P42F |
| interior of a manifold | HPS3MAEP52 | unknown | open | mathlib_overview Geometry > Differentiable manifolds > interior of a manifold, Mathlib ModelWithCorners.interior |
| interior point | 9K6M053JE2 | unknown | open | Wikidata Q5116525, nLab interior point |
| interior point method | AAVPEK9PZZ | unknown | open | Wikidata Q461992, MathWorld InteriorPointMethod |
| interior product | GRTVDBSNG9 | unknown | open | Wikidata Q767667, MathWorld InteriorProduct |
| Interior real-analyticity | 2AAYDG6GXZ | statement | record (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.28014#NRK0 |
| Interlacing across Lie rank | 12W2N1QSM4 | statement | record (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.24541#71B9 |
| Intermediate $t$ lower bound | 2EDM4K4VD8 | statement | record (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.04135#6XTD |
| Intermediate $t$ lower bound under trial heterogeneity | Q3VF8T7GY3 | statement | record (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.04135#8I9O |
| Intermediate Hermitian form in an orthonormal basis | M4SE00NV44 | definition | record (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#OQDK |
| intermediate Jacobian | XY1QYGD09N | unknown | open | Wikidata Q17098136, nLab intermediate Jacobian |
| Intermediate leading edge | G4NYP2WBE3 | statement | record (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.33805#FKOA |
| intermediate logic | BKY4755M13 | topic | open | Wikidata Q5361594, EoM Intermediate_logic |
| Intermediate situations | 6F8G7AN8EY | example | record (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.25275#YFRP |
| Intermediate uniform upper bound | 99VV9GFEDB | statement | record (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#71N5 |
| intermediate value theorem | 5S7VRZQNC8 | statement | node (a node has the same Wikidata item as the row) | mathlib_100 79, Mathlib intermediate_value_Icc, mathlib_1000 Q245098, Wikidata Q245098, mathlib_1000 Q245098X, mathlib_overview Topology > Topological algebra > intermediate value theorem, mathlib_undergrad Single Variable Real Analysis > Real-valued functions defined on a subset of $\R$ > intermediate value theorem, thousand_plus Q245098, Wikipedia Intermediate value theorem, thousand_plus Q245098X, Wikipedia Bolzano's theorem, MathWorld IntermediateValueTheorem, nLab intermediate value theorem, ProofWiki Intermediate_Value_Theorem |
| Intermediate Value Theorem | H35PX831K9 | statement | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#theorem-3 |
| intermediate value theorem | RBAZ7AJ0ZN | concept | open | lebl_ra index/2.3.2/intermediate-value-theorem |
| Intermittent communication | 8QPJBJFNNM | definition | record (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.12641#30VR |
| internal category | 2EQNW1M6BB | unknown | open | Wikidata Q6047782, nLab internal category |
| Internal controllability around $w$ | ZAXR2MQSTF | statement | record (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.11968#U8BK |
| Internal controllability around zero | WXPXQ0MM92 | statement | record (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.11968#NNY7 |
| Internal homs over a base | 3N4M7KHP47 | statement | record (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.26270#CFEU |
| Internal hypercovers and chart targets | B8SHPVSB7A | statement | record (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.28220#PWPR |
| internal set | PS8KWB6P9Z | unknown | open | Wikidata Q6047933, nLab internal set |
| internal unfurling | QJZGG6DVA0 | definition | record (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.37520#SLYX |
| Internal-marker correction | YVG5HKCB33 | statement | record (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.00448#5BO6 |
| International Congress of Mathematicians | 8QDZ40KRXY | unknown | open | Wikidata Q860611, nLab ICM |
| international mile | 7JEP29AV1G | definition | open | Wikidata Q61750260, ProofWiki Definition:Imperial/Length/International_Mile |
| International Standard Book Number | 58938BYZPN | unknown | open | Wikidata Q33057, MathWorld ISBN |
| Interpolating identity | S66TKDRFTR | statement | record (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.15419#20RG |
| Interpolation | JNFGH9M7C4 | statement | record (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.02714#I0P3 |
| Interpolation | MXSF49ZVJ8 | statement | record (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.00501#0W9O |
| Interpolation | RJTV02RJ24 | statement | record (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.33327#A5PY |
| interpolation | YG7A9MSKEK | statement | record (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.20775#XJ4I |
| interpolation between energy wells | 20SB2FFMA5 | statement | record (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#A5EJ |
| interpolation between locking states | FT6ZNYVZ0Y | statement | record (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#J5VV |
| Interpolation Configuration | PAP85BFYE7 | definition | record (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.13222#BXIZ |
| Interpolation derivative | YXSA65220J | statement | record (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.00453#5Q4C |
| Interpolation identity | PVD4XAVCEP | statement | record (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#M4NX |
| Interpolation in Lorentz spaces | NE9KFGBMJ5 | statement | record (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#XE8F |
| Interpolation in Lorentz spaces | NG5ZSH8P4A | statement | record (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#8RVW |
| Interpolation lemma | 1CB9KEBF4H | statement | record (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 2106.09062#WFO9 |
| Interpolation on arbitrary sets | 6YC5RVG00C | statement | record (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.09912#YKMN |
| Interpolation slack | DHK4G3XBAC | definition | record (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#U074 |
| Interpolation with a bound | D6ARAT3GQ1 | definition | record (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.28028#W7RL |
| Interpolation without strong growth | TSNWNJA3R6 | statement | record (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.12641#6EV4 |
| Interpolatory and Oversampled Regimes | VPNF6WVYKN | statement | record (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.13222#CE3F |
| Interpolatory Collocation | YAK7TG9PX3 | definition | record (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.13222#0DOQ |
| interpretation | MJ8W4VXB72 | concept | open | Wikidata Q17101792, MathWorld Interpretation, nLab interpretation, Wikidata Q523607 |
| Interpretation | TGH2MGQ4RS | statement | record (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.18512#VKYI |
| Interpretation of approximate feasibility | PXBHAF73ZW | statement | record (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.39736#4U50 |
| Interpretation of exceptional interactions | 5G3A13483V | statement | record (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.27799#DF6Y |
| interpretation of quantum mechanics | TPXZW2GWG2 | unknown | open | Wikidata Q899137, nLab interpretation of quantum mechanics |
| interprime | S82JNSP1QE | object | open | Wikidata Q6056535, MathWorld Interprime, OEIS A024675 |
| interquartile range | Q31XF814WA | unknown | open | Wikidata Q1916617, MathWorld H-Spread, MathWorld InterquartileRange |
| intersecting chords theorem | 44PTXK7GAD | statement | node (a node has the same Wikidata item as the row) | mathlib_100 55, Mathlib EuclideanGeometry.mul_dist_eq_mul_dist_of_cospherical_of_angle_eq_pi, mathlib_1000 Q2266397, Wikidata Q2266397, thousand_plus Q2266397, Wikipedia Intersecting chords theorem, ProofWiki Intersecting_Chord_Theorem |
| Intersecting projected sections | GRBY3P0W4K | statement | record (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.02407#TIBA |
| Intersecting secants theorem | Y897EED5PC | statement | node (a node has the same name as the row) | mathlib_1000 Q1727461, Mathlib EuclideanGeometry.mul_dist_eq_mul_dist_of_cospherical_of_angle_eq_zero, Wikidata Q1727461, thousand_plus Q1727461, Wikipedia Intersecting secants theorem |
| intersection | 6DRQFYH4C4 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q185837, MathWorld Intersection |
| intersection | 6EEX72719W | concept | open | levin_dmoi index/1.3.1/intersection |
| intersection | 7T9BZHEWQ4 | concept | open | applied_combinatorics index/B.2/intersection |
| intersection | CNRMTS2T2Y | concept | open | levin_dmoi index/1.3.3/intersection |
| Intersection | V18M72EHMY | definition | open | open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#defn-2 |
| Intersection and period pairings, {\cf | 5JKCA3GDFE | statement | record (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 2311.01874#TN80 |
| Intersection array of $^2A_{2r-1}(q)$ | GCNSRJ1Y60 | statement | record (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.01731#JEFZ |
| Intersection classes | M7Z1X3T82H | definition | record (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.04164#EWK2 |
| Intersection Cut | AV1K8BRHD5 | statement | record (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.33946#JUUT |
| Intersection Flow, I | 279EQNJ432 | statement | record (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#P3PH |
| Intersection Flow, II | A8NEPC3J2P | statement | record (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#AMVP |
| intersection form | 14GHB3Z709 | unknown | open | Wikidata Q6056717, nLab intersection pairing |
| intersection homology | QVRVPH0HGT | unknown | open | Wikidata Q6056721, nLab intersection cohomology |
| intersection lemma | EJ04QDP8V6 | statement | record (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.04000#4L9X |
| intersection number | 4VXWT7QSZ3 | unknown | open | Wikidata Q638846, nLab intersection number |
| Intersection number | JT2ZFH27WB | definition | record (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.11383#6H3X |
| intersection number | W2G59K9D5H | unknown | open | Wikidata Q17101799, MathWorld IntersectionNumber |
| Intersection numbers | KRXHXCYKT9 | statement | record (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.01731#8Q5B |
| Intersection principle | 8V03DTMK10 | statement | record (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.09557#SBEG |
| Intersection theorem | 52ZKHSK56E | statement | open | mathlib_1000 Q17101806, Wikidata Q17101806, thousand_plus Q17101806, Wikipedia Intersection theorem |
| intersection theory | A18WBBGQTH | topic | open | Wikidata Q15176852, nLab intersection theory |