| Interaction terms | NCTHKJB3FK | 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.32829#8UIQ |
| Interaction-free measurement | DWCDBZ831V | unknown | open | Wikipedia List of paradoxes#G8FX |
| Interaction-matrix criterion with a far region | KW6H4WP5M1 | 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.22301#GFZG |
| Interactions of actors theory | RBV4DSP65S | definition | open | Wikipedia Interactions of actors theory, Wikidata Q108415861 |
| Interactive computation | XVP2Q8X87K | definition | open | Wikipedia Interactive computation, Wikidata Q6045374 |
| Interactive computation | YSBRJCDVDW | definition | open | Wikipedia List of computability and complexity topics#CSQ1 |
| Interactive data visualization | 57VMFPMFS5 | unknown | open | Wikipedia Data and information visualization#LTU9 |
| Interactive Decision Maps | YXW2PPFQXR | definition | open | Wikipedia Interactive Decision Maps, Wikidata Q17101720 |
| Interactive local differential privacy | 55SJFRW1FY | 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.22642#PWJV |
| Interactive Mathematics Program | 228QR0PXWZ | definition | open | Wikipedia Interactive Mathematics Program, Wikidata Q6045297 |
| Interactive proof system | CW8KDFHJDH | definition | open | Wikipedia List of mathematical logic topics#6GGE, Wikipedia List of computability and complexity topics#TNYO |
| Interactive proof system | NKGANVK5PR | definition | open | Wikipedia Interactive proof system, Wikidata Q1665886 |
| intercalations | R0RPDBBP5D | definition | open | Wikipedia Glossary of invariant theory#M5QR |
| Intercensal estimate | 89SX3TYF19 | definition | open | Wikipedia Intercensal estimate, Wikidata Q6045638 |
| intercept | 10W7DJ14AR | unknown | open | Wikipedia List of curves topics#U5S2 |
| Intercept theorem | 2SBFPR43VQ | statement | node (a node has the same name as the row) | mathlib_1000 Q3757563, Wikidata Q3757563, thousand_plus Q3757563, Wikipedia Intercept theorem |
| Intercept theorem | EME9Q6VBP7 | statement | open | Wikipedia List of theorems#E8XW |
| interchange | G1YGD375QJ | definition | open | Wikipedia Glossary of category theory#CU4V |
| interchange law | 4QT1AHHBND | concept | open | hott_book index/1.1/interchange-law |
| Interchange law | 6VZYYY5MF5 | statement | open | Wikipedia Natural transformation#PQCM |
| interchange law | QRM4PA1H3W | concept | open | hott_book index/2.2/interchange-law |
| Interchange lemma | 3N76KHJP0Y | statement | open | Wikipedia Interchange lemma, Wikidata Q60789213 |
| Interchange lemma | P4WHZ2RAYC | statement | open | Wikipedia List of lemmas#MYTF |
| Interchange of limiting operations | M4R1YRBPHX | definition | open | Wikipedia Interchange of limiting operations, Wikidata Q6045706 |
| Intercity Bus Atlas | 9Z06C8V2XN | unknown | open | Wikipedia Bureau of Transportation Statistics#E1S6 |
| Interclass correlation | PMADTFZB72 | definition | open | Wikipedia Interclass correlation, Wikidata Q6045770 |
| Interclass correlation | RJHXC4WA9C | definition | open | Wikipedia List of statistics articles#8B38 |
| Intercontinental Cup | CSS9BB1J6J | unknown | open | Wikipedia List of Borussia Dortmund records and statistics#JGPP |
| Interdecile range | WWEDTDKEAQ | definition | open | Wikipedia Interdecile range, Wikidata Q6046031 |
| Interdecile range | YFWX2HZ4H3 | definition | open | Wikipedia List of statistics articles#H5VL |
| Interdependence theory | YR9CMYCRB0 | topic | open | Wikipedia Interdependence theory, Wikidata Q6046058 |
| interest | 7V139NT284 | definition | open | Wikidata Q170924, MathWorld Interest, ProofWiki Definition:Interest |
| Interest | 9394JJNPW4 | unknown | open | Wikipedia List of exponential topics#8HZ9 |
| interesting number paradox | 83JSWSSDT8 | statement | open | Wikidata Q1665996, ProofWiki Interesting_Number_Paradox, Wikipedia Interesting number paradox |
| Interface conditions for electromagnetic fields | ZYTVAPV5BQ | definition | open | Wikipedia Interface conditions for electromagnetic fields, Wikidata Q6046288 |
| interface system | 7BJ4DZJS15 | 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.22355#UQ6W |
| 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 |
| Interim analysis | H0QZ95VRTM | definition | open | Wikipedia Interim analysis, Wikidata Q6046661 |
| Interim analysis | VPVR4MZW53 | definition | open | Wikipedia List of statistics articles#G441 |
| interior | 5D0JYNZ4Z3 | definition | open | Wikipedia List of mathematical abbreviations#XZXZ |
| interior | EWQ54M777N | definition | node (a node has the same Wikidata item as the row) | Wikidata Q862761, MathWorld Interior, nLab interior, Wikipedia Interior (topology) |
| Interior | FQWW0TDN53 | definition | open | Wikipedia Glossary of general topology#GZ80 |
| 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 algebra | 4P992JJH7D | definition | open | Wikipedia List of mathematical logic topics#F1UH, Wikipedia List of Boolean algebra topics#JIIC |
| Interior algebra | BKPX744AED | definition | open | Wikipedia Interior algebra, Wikidata Q10894825 |
| 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 compactness and liminf | RMSGR4X99D | 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.20215#7VKX |
| 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 extremum theorem | 4YJ03WNW9T | statement | open | Wikipedia Differential calculus#3PX2 |
| Interior extremum theorem | H1PM9A6AXE | statement | node (a node has the same name as the row) | mathlib_1000 Q727102, Mathlib IsLocalExtr.deriv_eq_zero, Mathlib IsLocalExtr.fderiv_eq_zero, Wikidata Q727102, thousand_plus Q727102, Wikipedia Fermat's theorem (stationary points), Wikipedia Interior extremum theorem |
| 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 nonemptiness at expected dimension zero | 49CWJPAZN2 | 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.20572#8P5X |
| 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 | XZADFR9WSE | definition | open | Wikipedia Glossary of general topology#74RW |
| interior point method | AAVPEK9PZZ | definition | open | Wikidata Q461992, MathWorld InteriorPointMethod, Wikipedia Interior-point method |
| Interior point method | SMYRDSAHQX | definition | open | Wikipedia List of algorithms#A9DI |
| interior product | GRTVDBSNG9 | definition | open | Wikidata Q767667, MathWorld InteriorProduct, Wikipedia Interior product |
| 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 |
| Interior Schwarzschild metric | 8CDMWYS6WD | definition | open | Wikipedia Interior Schwarzschild metric, Wikidata Q25113032 |
| 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 |
| Interleave sequence | S84R3HWK4T | definition | open | Wikipedia Interleave sequence, Wikidata Q6046889 |
| Interleaving | 9DKDG5WRP9 | definition | open | Wikipedia List of algebraic coding theory topics#KQBB |
| Interleaving distance | 5XXXGQHA3P | definition | open | Wikipedia Interleaving distance, Wikidata Q117465455 |
| Interlock protocol | PRHJJVJEGJ | definition | open | Wikipedia Interlock protocol, Wikidata Q15617427 |
| Interlocking interval topology | EGVGJ5PGRN | definition | open | Wikipedia Interlocking interval topology, Wikidata Q17106378 |
| Interlocking interval topology | YTYTPVAGNV | definition | open | Wikipedia List of topologies#RN3N |
| 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 certificate (cryptography) | 3WKAVBMJ3A | unknown | open | Wikipedia Public key certificate#S2QI |
| 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 invariant | 6RK5M0RTJQ | definition | open | Wikipedia Glossary of invariant theory#BCCG |
| intermediate Jacobian | XY1QYGD09N | definition | open | Wikidata Q17098136, nLab intermediate Jacobian, Wikipedia 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 | definition | open | Wikidata Q5361594, EoM Intermediate_logic, Wikipedia Intermediate logic |
| intermediate logic | TFCQCTEE3B | definition | open | Wikipedia Glossary of logic#N2II |
| Intermediate Math League of Eastern Massachusetts | 6D21A4JNEM | definition | open | Wikipedia Intermediate Math League of Eastern Massachusetts, Wikidata Q6047330 |
| Intermediate Math League of Eastern Massachusetts | TVBXPRFW6J | definition | open | Wikipedia List of United States regional mathematics competitions#UT0X |
| 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 | 32FDKN3TSY | definition | open | Wikipedia Glossary of calculus#YMT9 |
| Intermediate value theorem | 3B365HEK7B | statement | open | Wikipedia Least-upper-bound property#KSQW |
| 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 | FDQKQPY0P4 | statement | open | Wikipedia List of theorems#9O5U |
| Intermediate value theorem | GEHPXNAE6T | statement | open | Wikipedia List of real analysis topics#YWFN |
| Intermediate Value Theorem | H35PX831K9 | statement | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#theorem-3 |
| Intermediate value theorem | JJ1XA16A0Z | statement | open | Wikipedia Nonstandard calculus#X751 |