| Implementations | Z8TPDS08MA | definition | open | Wikipedia Interval arithmetic#JT2A |
| Implementations | ZE0V8Y1H5D | definition | open | Wikipedia Trusted Platform Module#HCST |
| Implementations | ZY1ZW75B29 | definition | open | Wikipedia Carry-less product#UBMC |
| Implementations | ZY3QFBZ00Y | definition | open | Wikipedia Kerberized Internet Negotiation of Keys#M2QV |
| Implementations of SM9 | 7G0GPW6R5V | definition | open | Wikipedia SM9 (cryptography standard)#5Q0O |
| Implicant | 6CAAX5S186 | definition | open | Wikipedia Implicant, Wikidata Q1291626 |
| implication | 4X77ET5QJA | concept | open | levin_dmoi index/1.2.1/implication |
| implication | YYEP95KR4N | concept | open | hott_book index/A.11/implication |
| implication | Z9HGMEZH7G | definition | open | Wikipedia Glossary of logic#XE4A |
| Implication graph | VF4QQQ1XDW | definition | open | Wikipedia Implication graph, Wikidata Q17098063 |
| implication, equivalent disjuction | CVCSQ6ECE3 | concept | open | levin_dmoi index/4.1.2/implication-equivalent-disjuction |
| Implicational propositional calculus | PA6PVB6JNW | definition | open | Wikipedia Implicational propositional calculus, Wikidata Q6007243 |
| Implications between the hypotheses | JTD28P498Y | 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.27766#MCXA |
| Implications for law enforcement | SWH4MZE0QQ | statement | open | Wikipedia Chaffing and winnowing#WVIG |
| Implications for the expected utility hypothesis | Q9GM530F2K | statement | open | Wikipedia Von Neumann–Morgenstern utility theorem#504N |
| Implications of the axiom | KNS5S8MB6H | statement | open | Wikipedia Axiom of limitation of size#BLEN |
| Implications of the theorem | PQY8F41K9E | statement | open | Wikipedia Kolmogorov extension theorem#W96D |
| Implications of the theorem | ZPRBD7YXZN | statement | open | Wikipedia Shannon–Hartley theorem#QERO |
| Implicature | NXDSM3RN4B | definition | open | Wikipedia Implicature, Wikidata Q571227 |
| Implicit and explicit functions | 16QN1826AC | definition | open | Wikipedia List of real analysis topics#FQRR |
| implicit argument | XY6WAPASFA | concept | open | hott_book index/4.2.11/implicit-argument |
| Implicit association | M7FKXXMNK2 | unknown | open | Wikipedia List of cognitive biases#J8CT |
| Implicit certificate | EZQB30D6NT | definition | open | Wikipedia Implicit certificate, Wikidata Q6007261 |
| Implicit computational complexity | 98RH2MJ61Z | definition | open | Wikipedia Implicit computational complexity, Wikidata Q30324433 |
| Implicit curve | 76P8JKPBG6 | definition | open | Wikipedia Implicit curve, Wikidata Q19286089 |
| implicit definition | K1ATSAQSKY | definition | open | Wikipedia Glossary of logic#7ITV |
| Implicit derivative | 5M4HV78WHW | unknown | open | Wikipedia Implicit function#ZM6U |
| Implicit derivatives | D4JXRJ1WMP | unknown | open | Wikidata Q1311643, MathWorld ImplicitDifferentiation |
| Implicit differentiation | 4H2JC8E8XJ | definition | open | Wikipedia Implicit differentiation, Wikidata Q137392401 |
| Implicit differentiation | Y5D5TFR5E9 | definition | open | Wikipedia List of calculus topics#01SI |
| implicit function | 53H7FXA6JF | concept | open | active_calculus index/2.7.1/implicit-function |
| implicit function | 6BPS692Y9T | definition | open | Wikidata Q1196523, EoM Implicit_function, MathWorld ImplicitFunction, Wikipedia Implicit function |
| implicit function | 7AGEBBWW11 | definition | open | Wikipedia Glossary of calculus#6XVK |
| Implicit function | P8Z2WKY0C9 | definition | open | Wikipedia List of types of functions#8C82 |
| Implicit function theorem | 704NMK1KVD | statement | open | Wikipedia Implicit function#JDDD |
| Implicit function theorem | BH32PDEPQP | statement | open | Wikipedia Inverse function theorem#D2MW |
| Implicit function theorem | BWRPX7Q4GH | statement | open | Wikipedia Differential calculus#M1AJ |
| implicit function theorem | DK871VD81V | statement | node (a node has the same Wikidata item as the row) | arXiv 2610.21781#FJP9, mathlib_1000 Q848375, Mathlib ImplicitFunctionData.implicitFunction, Wikidata Q848375, mathlib_overview Analysis > Differentiability > implicit function theorem, mathlib_undergrad Multivariable calculus > Differential calculus > implicit function theorem, thousand_plus Q848375, Wikipedia Implicit function theorem, MathWorld ImplicitFunctionTheorem |
| implicit function theorem | GHW8X0XC43 | concept | open | lebl_scv index/1.3/implicit-function-theorem |
| implicit function theorem | GK9NWPTC85 | concept | open | lebl_ra index/11.5.1/implicit-function-theorem |
| Implicit function theorem | M6HGXF94C6 | statement | open | Wikipedia List of theorems#RK4N |
| Implicit function theorem | TX5C33RMQV | statement | open | lebl_ra ch-several-vars-ders.tex#thm:implicit |
| Implicit function theorem\index{implicit function theorem}\index{holomorphic implicit function theorem} | H0D14ZQ2DG | statement | open | lebl_scv scv.tex#thm:ift |
| Implicit generating functions and the Lagrange inversion formula | 96AGFZA2N6 | statement | open | Wikipedia Generating function#WVZD |
| Implicit graph | H05SDBRGA0 | definition | open | Wikipedia Implicit graph, Wikidata Q6007291 |
| Implicit graph conjecture | 41HDG9HFZC | definition | open | Wikipedia List of unsolved problems in mathematics#D5FC |
| Implicit in , Theorem 1 | 7ZVGD1M0QS | 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 2411.05198#RKX7 |
| Implicit recursive accelerated bound | 49KVN7G973 | 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.38741#3I6M |
| Implicit surface | 7HKCCFFET6 | definition | open | Wikipedia Implicit surface, Wikidata Q3505288 |
| Implicit surface | TCXKSGD6RX | definition | open | Wikipedia List of computer graphics and descriptive geometry topics#JFZ0 |
| implicitization | QW5KPXFX3D | definition | open | Wikipedia Parametric equation#0CZ2 |
| Implied volatility | EYGP2527RA | definition | open | Wikipedia Implied volatility, Wikidata Q1660345 |
| Implied volatility surface | 73FM2V600J | unknown | open | Wikipedia Volatility smile#BNBD |
| Imponderable fluid | W0Q0GC2WYE | unknown | open | Wikipedia List of superseded scientific theories#ETWT |
| Import tariffs | SBY73SBJV0 | unknown | open | Wikipedia List of common misconceptions about science, technology, and mathematics#7AYB |
| Importance of inequality | XHSBSSR287 | statement | open | Wikipedia Ingleton's inequality#3G1F |
| Importance sampling | 707WN47KPB | definition | open | Wikipedia List of statistics articles#JEO2, Wikipedia List of computer graphics and descriptive geometry topics#IP6X |
| Importance sampling | G3A4X1T8BN | definition | open | Wikipedia Importance sampling, Wikidata Q1539564 |
| Important conjectures | FSS9DSJWNE | statement | open | Wikipedia 3-manifold#ESMT |
| Important longstanding conjectures | X4VVBNB9BF | statement | open | Wikipedia Affine manifold#ZEX2 |
| Important theorems | 4EF3NRESEN | statement | open | Wikipedia Algebraic topology#WBPO |
| Important theorems | AHMF9HPHNQ | statement | open | Wikipedia Abelian variety#FOXA |
| Important theorems | BX5JVY45M6 | statement | open | Wikipedia Geometric function theory#PM3E |
| Important theorems | FGC3GXCGHE | statement | open | Wikipedia Gaussian curvature#OF17 |
| Important theorems | KPF21R5W03 | statement | open | Wikipedia Singular submodule#GLZO |
| Important theorems | W89QV0BF6E | statement | open | Wikipedia Noncommutative ring#U2HG |
| Important: prime ideals divide rational primes | GFY587Y9BV | statement | open | napkin tex/alg-NT/dedekind.tex#thm:prime_ideals_over_rational |
| impossibility | SD02RJE67B | definition | open | Wikipedia Glossary of logic#L41K |
| Impossibility of a Universal Power Lower Bound | W2QY9H2P99 | 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.04264#NR1J |
| Impossibility of angle trisection | QKPKVV0H6F | definition | open | Wikipedia List of theorems#9XR7 |
| Impossibility of modulus-free gap certification | F2Q77ZR8RK | 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.00295#K4G3 |
| Impossibility of simultaneous optimality | NKZAZC9ZFZ | 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.35631#WLCR |
| Impossibility of Structured Backward Error for Nearly-Unitary Outputs | BB0SZPSWW9 | 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.12228#SQFU |
| impossible cube | 8VBB09WT7A | definition | open | Wikidata Q1464984, MathWorld FreemishCrate, Wikipedia Impossible cube |
| Impossible cube | P94FN780ZJ | definition | open | Wikipedia List of paradoxes#3HER |
| Impossible differential cryptanalysis | MVX1317B00 | definition | open | Wikipedia Impossible differential cryptanalysis, Wikidata Q3005748 |
| Impossible event | 57BKRNJJFB | definition | open | Wikipedia List of probability topics#VUOO |
| Impossible object | 1RF3F6S2YF | definition | open | Wikipedia List of computer graphics and descriptive geometry topics#1WLE |
| impossible object | GHHHQBZBT1 | definition | open | Wikidata Q601362, MathWorld ImpossibleFigure, Wikipedia Impossible object |
| impossible trident | ZDHAC12PBY | definition | open | Wikidata Q660994, MathWorld ImpossibleFork, Wikipedia Impossible trident |
| Impossible world | 26EVVFWFFK | definition | open | Wikipedia Impossible world, Wikidata Q6007516 |
| impossible world | ZRTA920A0C | definition | open | Wikipedia Glossary of logic#FS1V |
| Impostor Syndrome | P787DGG67P | unknown | open | Wikipedia List of cognitive biases#J7SQ |
| Imprecise Dirichlet process | SGVTBRPEG2 | definition | open | Wikipedia Imprecise Dirichlet process, Wikidata Q18208015 |
| Imprecise probability | QPCA244YRT | definition | open | Wikipedia List of statistics articles#WX0Z |
| Imprecise probability | SR5D1C9VRJ | definition | open | Wikipedia Imprecise probability, Wikidata Q6007562 |
| Impredicative | 5T6QQPKY63 | definition | open | Wikipedia List of mathematical logic topics#1P4I |
| impredicative definition | H5K6Z0VAGA | definition | open | Wikipedia Glossary of logic#DYU2 |
| Impredicative propositions | SBBWFZJ8CE | statement | open | Wikipedia Propositional formula#8WLV |
| impredicative, encoding of a $\w$-type | 7M1KDBCRA0 | concept | open | hott_book index/8.8/impredicative-encoding-of-a-w-type |
| impredicative, quotient | G90FXVFD4Y | concept | open | hott_book index/C.1.3/impredicative-quotient |
| impredicative, quotient | YQ4HWX0PZ8 | concept | open | hott_book index/5.10/impredicative-quotient |
| impredicative, truncation | 5Y2ZAWXWZF | concept | open | hott_book index/9.11/impredicative-truncation |
| impredicativity | 8A5FW65H83 | definition | open | Wikidata Q3149511, MathWorld Impredicative, Wikipedia Impredicativity |
| improper | 3R1GCS12YY | definition | open | Wikipedia Glossary of set theory#1OYC |
| improper fraction | 1HPEW5Z72A | definition | open | Wikipedia Glossary of calculus#YS22 |
| Improper fraction | 1ST63RNRQT | unknown | open | Wikipedia Fraction#7TB6 |
| improper fraction | CANFENYQW6 | unknown | open | Wikidata Q11922677, MathWorld ImproperFraction |
| improper integral | DPKBRR863S | definition | node (a node has the same name as the row) | Wikidata Q464118, EoM Improper_integral, MathWorld ImproperIntegral, Wikipedia Improper integral |
| improper integral | P69XJHJN46 | concept | open | active_calculus index/6.5.2/improper-integral |