| Intrinsic trace formalism and conditional transfer | 2XF967R80C | 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#31RR |
| Intrinsic volumes | 8T805AP005 | unknown | open | Wikipedia Mixed volume#HVH9 |
| Intrinsic volumes | Z570WX5XCS | definition | open | Wikipedia List of integration and measure theory topics#PZHF |
| Intrinsic Wald inference | WHAYQPM838 | 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.22642#W8RS |
| Intrinsic-dimensional indistinguishable pair | 48DHQKYPXN | 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.33008#7CDW |
| Intrinsic-lattice reduction | DJVR7BN58C | 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.26576#5YDE |
| Intrinsically knotted graph | X89QBWMXMK | unknown | open | Wikipedia Linkless embedding#ZLKP |
| Intrinsically universal cellular automata | 1X6DW6HWYD | 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 math/0003117#3ONZ |
| Intrinsically universal cellular automata | NA34SRZMY6 | 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 math/0003117#6424 |
| Introducing formula | 8434M048BK | statement | open | Wikipedia Tomographic reconstruction#T9TA |
| Introductio in analysin infinitorum | 815ZX8M03M | definition | open | Wikipedia Introductio in analysin infinitorum, Wikidata Q534087 |
| Introductio in analysin infinitorum | SQSTGEHF5Y | definition | open | Wikipedia List of mathematics books#K4JA |
| introduction rule | 15X5G5RMGD | concept | open | hott_book index/4.2.4/introduction-rule |
| introduction rule | FXWKC4RGE0 | definition | open | Wikipedia Glossary of logic#FUTD |
| Introduction to 3-Manifolds | QS1NF2Y1X8 | definition | open | Wikipedia Introduction to 3-Manifolds, Wikidata Q96382774 |
| Introduction to Algorithms | BY1QH35R19 | unknown | open | Wikipedia List of mathematics books#MQJ1 |
| Introduction to Analysis | 5A1JX49SM5 | topic | open | Wikipedia List of mathematics books#DJ4Y |
| Introduction to Circle Packing | 52EH2017MH | definition | open | Wikipedia Introduction to Circle Packing, Wikidata Q96382775 |
| Introduction to Commutative Algebra | JCR3Z36Q0P | definition | open | Wikipedia Introduction to Commutative Algebra, Wikidata Q6058914 |
| Introduction to eigenstates | YVSYNREY1R | unknown | open | Wikipedia Quantum state#6Z49 |
| Introduction to gauge theory | YSJ0XH16XP | definition | open | Wikipedia Introduction to gauge theory, Wikidata Q16743426 |
| Introduction to general relativity | AYBD6X2TWB | topic | open | Wikipedia Introduction to general relativity, Wikidata Q2743587 |
| Introduction to Lattices and Order | AKBANDGTZ7 | definition | open | Wikipedia Introduction to Lattices and Order, Wikidata Q106609815 |
| Introduction to Mathematical Philosophy | T1CF1WPN7N | definition | out_of_scope (a book, not an item of mathematics) | Wikidata Q544347, ProofWiki Book:Bertrand_Russell/Introduction_to_Mathematical_Philosophy, Wikipedia Introduction to Mathematical Philosophy |
| Introduction to Probability Models | P5F6EACQVY | topic | open | Wikipedia List of mathematics books#ED22 |
| Introduction to Statistical Pattern Recognition | QN06KE5R4Q | definition | open | Wikipedia Introduction to Statistical Pattern Recognition, Wikidata Q65068187 |
| Introduction to the mathematics of general relativity | 9ZXBAZQK84 | definition | open | Wikipedia Introduction to the mathematics of general relativity, Wikidata Q6058963 |
| Introduction to the Theory of Error-Correcting Codes | VM1AMKPBA1 | definition | open | Wikipedia Introduction to the Theory of Error-Correcting Codes, Wikidata Q96382778 |
| Introduction to topos theory | CRF6BR8B9H | definition | open | Wikipedia List of mathematical logic topics#MLXS |
| Introduction to Tropical Geometry | 3FS7EDX1H9 | definition | open | Wikipedia Introduction to Tropical Geometry, Wikidata Q96382776 |
| Introselect | EMS3VMHZRW | unknown | open | Wikipedia List of algorithms#6IBT |
| Intuition | 2Y3XFVBSMA | definition | open | Wikipedia Intuition, Wikidata Q189222 |
| Intuition behind the Allais paradox | 94KFEHFXEG | statement | open | Wikipedia Allais paradox#PE9J |
| intuitionism | JBJPHVVSAK | definition | open | Wikipedia Glossary of logic#312M |
| intuitionism | ZG98XKWD8K | definition | open | Wikidata Q10879018, ProofWiki Definition:Intuitionist_School, Wikipedia Intuitionism |
| Intuitionist definitions of the law (principle) of excluded middle | PQJJRKTAHZ | definition | open | Wikipedia Law of excluded middle#6411 |
| intuitionistic logic | 9MMDN0SC4J | definition | open | Wikipedia Glossary of logic#1847 |
| Intuitionistic logic | PS9BKWV4W6 | definition | open | Wikipedia List of mathematical logic topics#ED4N |
| intuitionistic logic | ZV56ZT1YT8 | definition | open | Wikidata Q176786, MathWorld IntuitionisticLogic, nLab intuitionistic logic, Wikipedia Intuitionistic logic |
| intuitionistic mathematics | E4W3V4GJB0 | definition | open | Wikipedia Glossary of logic#PR4E |
| intuitionistic propositional logic | FCRE8J3S94 | definition | open | Wikipedia List of PSPACE-complete problems#98CM |
| Intuitionistic type theory | 13RQA9C5A5 | definition | open | Wikipedia Glossary of areas of mathematics#T1GT |
| Intuitionistic type theory | EQ1NGZYV7G | definition | open | Wikipedia List of mathematical logic topics#A10W |
| Intuitionistic type theory | T5NWWH99JN | definition | open | Wikipedia Intuitionistic type theory, Wikidata Q6059147 |
| Intuitive statistics | BYRE35WZBM | definition | open | Wikipedia Intuitive statistics, Wikidata Q55614586 |
| invalid | SJBRMEMBBC | definition | open | Wikipedia Glossary of logic#GG6L |
| Invalid converses of the theorems | TWVKGCRES6 | statement | open | Wikipedia Iterated limit#GLS0 |
| invalid deductive argument | NP50NDF7GQ | definition | open | Wikipedia Glossary of logic#1ZLY |
| Invalidity of the lemma converse | 5TCXSY00XV | statement | open | Wikipedia Pumping lemma for regular languages#S3RD |
| Invariable plane | CAW41C03BT | definition | open | Wikipedia Invariable plane, Wikidata Q2556676 |
| Invariance | 7NRR6MW0FX | 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.27966#3XF9 |
| Invariance | B9SB3B79C3 | 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.13658#EU8Y |
| Invariance | DA8S89ZHH7 | 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.18078#IFF6 |
| Invariance and distributed optimization on trees | 5S43RXNAZG | 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.20031#8AC9 |
| Invariance and refresh dissipation | 1F98JS4534 | 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.16248#F1DI |
| Invariance defect of a weak mode | S94T93YHMP | 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.27966#VM3L |
| Invariance of $\psi$ | GJJRSQ6MRN | 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.32585#JNPB |
| Invariance of $S(k)$ under perturbed $A$ | WA31VSWZN3 | 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.07341#0B7Q |
| invariance of domain | 6TSSJYBZ94 | definition | open | Wikipedia Glossary of algebraic topology#M7ML |
| Invariance of domain | 9ZTSS7T02E | definition | open | Wikipedia List of theorems#5XZ4 |
| Invariance of domain | EA72YYFHSD | definition | open | Wikipedia List of mathematical proofs#Q163 |
| Invariance of domain | P3A6G05W63 | definition | open | Wikipedia Invariance of domain, Wikidata Q3527201 |
| Invariance of domain | XBHSM4AGXJ | statement | open | Wikipedia Open and closed maps#MHNQ |
| Invariance of Sobolev class under modifications | 5QNF9ZNY35 | 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.21775#ZF7S |
| Invariance of the dynamics | J9XGY4N6CX | 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.05428#5VLQ |
| Invariance of the family | 9M1786NT78 | 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.38220#31EX |
| Invariance of the preference-direction field | M2016E2SV6 | 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.05428#C7EV |
| Invariance of the rearrangement iteration | QJWMJCAA11 | 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.05313#5145 |
| Invariance of the sign | R54WPZXFDP | 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.02933#NJ2B |
| Invariance of the subvariety $\MM$ | 74G8JM0SAZ | 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.35102#I18J |
| Invariance of tilted cascades | DY3D83AHA9 | 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.32710#VGNC |
| Invariance principle | 3TEP395ZYS | statement | open | Wikipedia Analysis of Boolean functions#WCJV |
| Invariance principle | D9BKJJ9H7C | statement | open | Wikipedia Malliavin calculus#6M7J |
| Invariance theorem | WQ9WSRZCCM | statement | open | Wikipedia Kolmogorov complexity#EQEO |
| Invariance under change of frame | WN6TR2XB91 | 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.10813#SXMZ |
| Invariance under rational affine changes | WJC2PNXE80 | 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.10192#CICC |
| Invariance under weak reduction | R4248QGSRH | 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.21765#A9GD |
| Invariant | 2G9B6S3S19 | 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.06028#35CH |
| invariant | 7ZXBHWVVKN | definition | open | Wikipedia Glossary of mathematical jargon#3VR0 |
| invariant | AQ37W4X808 | definition | open | Wikipedia Glossary of ring theory#K954 |
| invariant | FGRC1HD2QQ | definition | open | Wikipedia Glossary of module theory#8A62 |
| invariant | HTY4RT3M5K | definition | open | Wikidata Q188211, MathWorld Invariant, Wikipedia Invariant (mathematics) |
| invariant | K1GSRN03ES | definition | open | Wikipedia Glossary of invariant theory#BQ3E |
| invariant | MYXZQ7MDKC | definition | open | Wikipedia Glossary of classical algebraic geometry#04NY |
| invariant | S85J4ZJHEG | definition | open | Wikipedia Glossary of graph theory#GENF |
| Invariant (computer science) | N5Z3W1DB8Z | unknown | open | Wikipedia Invariant (mathematics)#7H0D |
| Invariant basis number | 3KVD05G7Q7 | definition | open | Wikipedia Invariant basis number, Wikidata Q6059504 |
| Invariant before the first overflow | ND072D7ZTE | 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.01329#L6NC |
| Invariant Bernoulli formula | 2X3EE9JDTZ | 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.16510#L8XF |
| Invariant circle with period mismatch | J9ZYNJTF0M | 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.15686#WBP3 |
| invariant convex cone | 1J8WK1NKXZ | definition | open | Wikipedia Glossary of Lie groups and Lie algebras#UB2H |
| Invariant convex cone | C5BQNJC6C3 | definition | open | Wikipedia Invariant convex cone, Wikidata Q17098165 |
| Invariant coordinate slabs | ESAZKZEKJY | 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.10993#DWIV |
| Invariant decomposition | FSF38FTC7T | definition | open | Wikipedia Invariant decomposition, Wikidata Q113213706 |
| Invariant differential operator | MQ8GK3MP5D | definition | open | Wikipedia Invariant differential operator, Wikidata Q1443411 |
| Invariant distribution bias | NNS7R0C51P | 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.06308#76RA |
| Invariant emission sections imply regularity | NTWTRBTY2N | 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.15686#AEJU |
| Invariant entropy identity | 18TNN5A9B9 | 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.16510#9OTB |
| Invariant estimator | E5HASG0CE7 | definition | open | Wikipedia List of statistics articles#6I61 |
| Invariant estimator | TNSRQ7C1JQ | definition | open | Wikipedia Invariant estimator, Wikidata Q6059509 |