| Isomorphism conjectures and group homomorphisms | 39DHED08HJ | statement | open | Wikipedia Farrell–Jones conjecture#NIIG |
| Isomorphism conjectures in K-theory | 1VE9RPQEFW | statement | open | Wikipedia Unifying theories in mathematics#GA1O |
| Isomorphism extension theorem | 1H7F65A4MY | statement | open | Wikipedia List of theorems#C7QZ |
| Isomorphism extension theorem | 2TFZV31PYP | statement | open | Wikipedia Isomorphism extension theorem#R71M |
| Isomorphism extension theorem | HPFC251MMN | statement | open | mathlib_1000 Q6086104, Wikidata Q6086104, thousand_plus Q6086104, Wikipedia Isomorphism extension theorem |
| Isomorphism normal form | HWQVB66TBZ | 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.14135#GMYG |
| Isomorphism of categories | W8NSVY7AVQ | definition | open | Wikipedia Isomorphism of categories, Wikidata Q6086107 |
| Isomorphism of dynamical systems | X33YRQECHB | unknown | open | Wikipedia Measure-preserving dynamical system#UKKS |
| Isomorphism of G-sets | GPV2PEN44Y | unknown | deferred (the kind of the item is unknown) | Wikipedia Group action#VWZ7 |
| Isomorphism of line bundles | 70FCPMV4VN | definition | open | napkin tex/riemann-surface/line-bundles.tex#definition-4 |
| Isomorphism of qm-spaces | 138E4VNKX1 | 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.27752#6SON |
| Isomorphism of Reeb graphs | CN0TSM1A6T | 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#DOKO |
| Isomorphism of stacks | FPRNCENH4W | 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.28514#NI2G |
| Isomorphism problem of Coxeter groups | 5YVWHZB5TK | conjecture | open | Wikipedia Isomorphism problem of Coxeter groups, Wikidata Q11301916 |
| Isomorphism problem of Coxeter groups | RKYPD3XXR3 | conjecture | open | Wikipedia List of unsolved problems in mathematics#88N2 |
| Isomorphism theorem | JW81Y2G5FB | statement | open | Wikipedia List of theorems#V1GW |
| Isomorphism theorem | KBEDCR54F9 | statement | open | Wikipedia List of group theory topics#8Y6M |
| Isomorphism theorems | 69QEDVKW6A | statement | open | Wikipedia Topological group#D3UL |
| Isomorphism Theorems | X5D7XF0A0B | statement | open | Wikipedia Quotient space (linear algebra)#RHAO |
| Isomorphism type and decision | QNCHF53M94 | 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.08280#PYXI |
| isomorphism with $K^n$ | Z87EWKA5JK | unknown | open | mathlib_overview Linear algebra > Finite-dimensional vector spaces > isomorphism with $K^n$, Mathlib Module.Basis.equivFun, mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > isomorphism with $K^n$ |
| isomorphism with bidual | 2N9892CYCB | unknown | open | mathlib_overview Linear algebra > Finite-dimensional vector spaces > isomorphism with bidual, Mathlib Module.evalEquiv, mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > isomorphism with bidual |
| isomorphism, invariance under | E7MT6N9T0D | concept | open | hott_book index/2.9/isomorphism-invariance-under |
| isomorphism, natural | C40WQ1Z1GQ | concept | open | hott_book index/2.2/isomorphism-natural |
| isomorphism, natural | W9AMQ23FVS | concept | open | hott_book index/1.4/isomorphism-natural |
| isomorphism, of graphs | B4C5M68K2K | concept | open | applied_combinatorics index/5.1/isomorphism-of-graphs |
| isomorphism, of posets | 2M820M3JAP | concept | open | applied_combinatorics index/6.2/isomorphism-of-posets |
| isomorphism, of sets | Z728T7R24Q | concept | open | hott_book index/1.4/isomorphism-of-sets |
| isomorphism, semigroup | Y4WAZ7E8YN | concept | open | hott_book index/1.14.2/isomorphism-semigroup |
| isomorphism, transfer across | TG60XQCQ0E | concept | open | hott_book index/8.2/isomorphism-transfer-across |
| Isomorphism-closed subcategory | 1RGE3680C3 | definition | open | Wikipedia Isomorphism-closed subcategory, Wikidata Q6086096 |
| Isoparametric function | 25HFE0GVFF | definition | open | Wikipedia Isoparametric function, Wikidata Q16910818 |
| Isoparametric manifold | 3KGE8N02TW | definition | open | Wikipedia Isoparametric manifold, Wikidata Q6086173 |
| isoperimetric | WNYKVV73E3 | definition | open | Wikipedia Glossary of graph theory#499Y |
| Isoperimetric dimension | HR878A6QQ2 | definition | open | Wikipedia Isoperimetric dimension, Wikidata Q3707726 |
| Isoperimetric function | STB44F1F49 | unknown | open | Wikipedia Dehn function#QAZ0 |
| Isoperimetric gap | 562C49WNC9 | definition | open | Wikipedia List of theorems#15PE |
| Isoperimetric inequality | 2J1GNA5ZKK | statement | open | Wikipedia Pu's inequality#ARGY |
| Isoperimetric inequality | 3GTV6K6BE8 | statement | open | Wikipedia List of curves topics#SJ42, Wikipedia List of inequalities#7MXR |
| Isoperimetric inequality | 3NEAVJNV2C | statement | open | Wikipedia List of incomplete proofs#D9FK |
| isoperimetric inequality | 8MW4N210P3 | statement | open | mathlib_1000 Q617417, Wikidata Q617417, thousand_plus Q617417, Wikipedia Isoperimetric theorem, MathWorld IsoperimetricInequality, Wikipedia Isoperimetric inequality |
| Isoperimetric inequality | 9D58JPWYB7 | statement | open | Wikipedia Brunn–Minkowski theorem#QYXW |
| Isoperimetric inequality | B6S3HPB08F | statement | open | Wikipedia Fisher information#OBFL |
| Isoperimetric inequality | GCKC4F1MP6 | statement | open | Wikipedia Spherical measure#BEJS |
| Isoperimetric inequality | R9N9DXTJR3 | statement | open | Wikipedia Area of a circle#ZAJR |
| Isoperimetric inequality for triangles | T6QVY4CQ35 | statement | open | Wikipedia Isoperimetric inequality#CLUH |
| Isoperimetric inequality with generalized boundary | XX35YCPQQ1 | 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.24716#RP19 |
| isoperimetric point | 9TJ4964AMR | definition | open | Wikidata Q609079, MathWorld IsoperimetricPoint, Wikipedia Isoperimetric point |
| Isoperimetric point | N0HEW5R6EK | definition | open | Wikipedia List of triangle topics#G2RJ |
| Isoperimetric ratio | C1D68PRVS2 | definition | open | Wikipedia Isoperimetric ratio, Wikidata Q25304343 |
| Isoperimetric theorem | YGQ8WYWQ2H | statement | open | Wikipedia List of theorems#5DG7 |
| Isoperimetry | BM1H5WW020 | statement | open | Wikipedia List of variational topics#X1MP, Wikipedia List of multivariable calculus topics#0P6L |
| Isopleth | G9KJ1C63HX | unknown | open | Wikipedia Contour line#VXQP |
| Isoptic | 811DMX2QGY | definition | open | Wikipedia List of mathematical shapes#6IAD, Wikipedia List of curves#T2HH |
| isosceles right triangle | Z06R5ZHNX1 | unknown | open | Wikidata Q20524281, MathWorld IsoscelesRightTriangle |
| Isosceles set | G8H3VRE2H1 | definition | open | Wikipedia Isosceles set, Wikidata Q55614672 |
| isosceles trapezoid | YJJ1C55MAW | definition | open | Wikidata Q1194115, MathWorld IsoscelesTrapezoid, Wikipedia Isosceles trapezoid |
| Isosceles triangle | DJK9MVD9KP | definition | open | Wikipedia List of triangle topics#1NNN, Wikipedia List of mathematical shapes#CSCY |
| isosceles triangle | ZNCRXJ4R55 | definition | open | Wikidata Q875937, MathWorld IsoscelesTriangle, Wikipedia Isosceles triangle |
| Isosceles triangle theorem | 76DTQ6ETWM | definition | open | Wikipedia List of triangle topics#0USC |
| Isosceles Triangle Theorem | ARQ6ENP0RG | statement | open | mathlib_100 65, Mathlib EuclideanGeometry.angle_eq_angle_of_dist_eq |
| isosceles triangle theorem | DDMDPP5NPM | definition | open | Wikidata Q649616, MathWorld PonsAsinorum, Wikipedia Pons asinorum |
| Isoscelizer | FGQX45M99N | unknown | open | Wikipedia Yff center of congruence#BF4L |
| Isospectral | BMMCTF70SW | definition | open | Wikipedia Isospectral, Wikidata Q6086323 |
| isospin | 7ZSHHWCKNT | unknown | open | Wikidata Q836938, nLab isospin |
| Isostasy | KCBWCWBEAF | definition | open | Wikipedia Isostasy, Wikidata Q188719 |
| Isosurface | 6W3MJ6MXM4 | unknown | open | Wikipedia List of numerical computational geometry topics#9D1W |
| isotherm | HT36AJYFNT | definition | open | Wikidata Q7421486, ProofWiki Definition:Isothermal_Surface |
| Isotherm (contour line) | EB6WY021EK | unknown | open | Wikipedia Contour line#Y8YP |
| Isothermal coordinates | ZZG4C40FCT | definition | open | Wikipedia Isothermal coordinates, Wikidata Q2996692 |
| Isothermal process | 5GX6W1ZD9D | object | open | Wikipedia Isothermal process, Wikidata Q486921 |
| Isothermal–isobaric ensemble | D3HG7Z4N7R | object | open | Wikipedia Isothermal–isobaric ensemble, Wikidata Q13638506 |
| isotomic conjugate | GHW6SQ50PE | definition | open | Wikidata Q1511235, MathWorld IsotomicConjugate, Wikipedia Isotomic conjugate |
| Isotomic conjugate | RCAFT8STWX | definition | open | Wikipedia List of triangle topics#H2I6 |
| Isotomic lines | 2DYMS9NDM1 | definition | open | Wikipedia List of triangle topics#7P7T |
| Isotomic Transversal | ZJFNX8Z0ZV | concept | open | Wikidata Q105332773, MathWorld IsotomicTransversal |
| Isotonic regression | 3C1SM9NDJ4 | definition | open | Wikipedia Isotonic regression, Wikidata Q3455874 |
| Isotonic regression | JW2K9ZT9R8 | definition | open | Wikipedia List of statistics articles#OG31 |
| isotopy | 7E4BV5M0VN | unknown | open | Wikidata Q13424747, nLab isotopy |
| isotopy | 7WPBS08EZE | definition | open | Wikipedia Glossary of algebraic topology#DZ6R |
| Isotopy (topology) | 5XQB7NPD10 | unknown | open | Wikipedia Homotopy#TGLS |
| Isotopy class | 2M6Q6WJVZY | unknown | open | Wikipedia Small Latin squares and quasigroups#ZTZI |
| Isotopy of an algebra | YZ81600Q2C | definition | open | Wikipedia Isotopy of an algebra, Wikidata Q17098216 |
| Isotoxal figure | T70W8YVJ57 | object | open | Wikipedia Isotoxal figure, Wikidata Q3847026 |
| Isotropic count via the radical | K03D6XXK71 | 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#89WW |
| Isotropic dilations | ZDRPE0HS93 | 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.36237#SPV2 |
| Isotropic ETF geometry at three deletions | D33TJ6YPG4 | 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.07721#1VA3 |
| Isotropic Gaussian sampling can lose the support gap | Q9KQZKRHZQ | 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.09356#CXO0 |
| Isotropic Grassmannian | 4563XC1KZ9 | unknown | open | Wikipedia Grassmannian#QRTX |
| Isotropic line | SPSHP23P24 | definition | open | Wikipedia Isotropic line, Wikidata Q6086570 |
| Isotropic link, $m=d$ | 4583MJAJW6 | 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.19208#58M2 |
| Isotropic measure | YK9JXG07FW | definition | open | Wikipedia Isotropic measure, Wikidata Q28456946 |
| Isotropic quadratic form | FZHX24YS05 | definition | open | Wikipedia Isotropic quadratic form, Wikidata Q4968811 |
| isotropic quadratic form | QP9YJM70BE | definition | open | Wikipedia Glossary of linear algebra#JMW3 |
| Isotropic rates on the same retained subspace | 3CBRA3CWR4 | 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.10640#PDC4 |
| Isotropic vector | 5XX80BX20E | definition | open | Wikipedia Glossary of linear algebra#DCXF |
| Isotropy | 864ZRQ0KAM | definition | open | Wikipedia Isotropy, Wikidata Q273163 |
| Isotropy group | 7PSC221G13 | unknown | deferred (the kind of the item is unknown) | Wikipedia Group action#UZLG |
| Isotropy representation | 97TD1PFKFY | definition | open | Wikipedia Isotropy representation, Wikidata Q60795289 |
| isotypic | A2Y8F85TT6 | definition | open | Wikipedia Glossary of representation theory#QKCI |