| improper integral | SPSHA56TER | definition | open | Wikipedia Glossary of calculus#QU94 |
| Improper integral | W6ZP35KX2S | definition | open | Wikipedia List of real analysis topics#6MXI |
| improper integral, converges | W34414GP7D | concept | open | active_calculus index/6.5.3/improper-integral-converges |
| improper integral, diverges | 3SZC17Q589 | concept | open | active_calculus index/6.5.3/improper-integral-diverges |
| improper integral, unbounded integrand | G5E5VPXQB4 | concept | open | active_calculus index/6.5.4/improper-integral-unbounded-integrand |
| improper integral, unbounded region of integration | 5B8JR1RHCX | concept | open | active_calculus index/6.5.2/improper-integral-unbounded-region-of-integration |
| improper integrals | NS1E91WJN3 | unknown | open | mathlib_undergrad Single Variable Real Analysis > Integration > improper integrals |
| Improper motion | SK47FKZPVE | unknown | open | Wikipedia Proper motion#9KS5 |
| improper rotation | DPXFSW4AWC | definition | open | Wikidata Q1256684, MathWorld ImproperRotation, Wikipedia Improper rotation |
| improper subset | AWM6XEHDAM | unknown | open | Wikidata Q141201437, MathWorld ImproperSubset |
| Improved Ball-Box Theorem | NGQK0DYKCE | 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 2503.00560#5JDS |
| Improved Bochner Inequality | DBRFN9XKR8 | 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.27516#5ADQ |
| Improved bound on the number of nonzero weights | JW54SWTAX8 | 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.20344#D7O8 |
| Improved cumulant bounds | VNE767WTWJ | 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.17717#PPF5 |
| Improved entropy loss over very large fields | GK06WK0486 | 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.20351#66JD |
| Improved Euler's method | F44K9KNSMH | concept | open | lebl_diffyqs index/4.7.1/improved-euler-s-method |
| Improved forward rate | VD19CRTSMA | 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.07380#JLPF |
| Improved Fourier projection estimate | H57DHAKFB4 | 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.23923#B5A3 |
| Improved horizontal derivative estimates | RA1P51HD58 | 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#X5CU |
| Improved log-Lichnerowicz inequality, Klartag | SMZKE049R9 | 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.22109#SMCS |
| Improved moment estimates | 9SBDZH6GQQ | 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.25301#B8PY |
| Improved moment estimates at infinity | D7SB03M4WR | 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.25301#7MNP |
| Improved multicollision bound | A9X9Y6KHRK | 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.39233#OH8A |
| Improved outgoing remainder | F3HZPTVTE9 | 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.00241#E5XL |
| Improved place-fair upper bound | HCWH27YM19 | 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.15421#UN2H |
| Improved Scalability for Large Sample Sizes via Dual Program | C6G9REQN5B | 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.12239#1TQM |
| Improved Stability Inequality | YCJJ0PCZYP | 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.27516#07TI |
| Improved Tauberian converse Final Value Theorem | F0EDW9DBHF | statement | open | Wikipedia Final value theorem#RXG3 |
| Improvement of Flatness for general $F$ | M6ZCDPQGHM | 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.18270#64N3 |
| Improvement of Flatness for type I cones | 27NCEHXPV9 | 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.18270#3G83 |
| Improvement of Flatness for type I cones | WZK3EJSMWG | 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.18270#9CFZ |
| Improvement of Flatness in dimension $n\geq 3$ | EG15Y20M4J | 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.18270#GX8T |
| Improvement of Flatness near type II cones | JXN2FZ45YA | 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.18270#6NCR |
| Improvement of oscillation | WBKJ92XDCF | 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.20097#BQ5R |
| impulse | FJZGA7J9JK | definition | open | Wikidata Q837940, ProofWiki Definition:Impulse, Wikipedia Impulse (physics) |
| Impulse formula | QFKYXK6ET0 | statement | open | Wikipedia Scattering generator#RSYS |
| Impulse response | FJZK77HDMG | definition | open | Wikipedia Impulse response, Wikidata Q1139726 |
| Impulse response | K0Q16F5STP | definition | open | Wikipedia List of statistics articles#QU2A |
| Impulse response without correction by trajectory class | YGW3XGHSP3 | 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.25545#A3MO |
| Impulsive Equivalence | 9RAFQBJKTC | 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.20126#C5KC |
| Impure property | N25N5NK3ZC | unknown | open | Wikipedia Property (philosophy)#W0XI |
| Imputation | D6EJA8MJ3N | definition | open | Wikipedia Imputation (statistics), Wikidata Q1660484 |
| Imputation (statistics) | GX3BH8XQP7 | definition | open | Wikipedia List of statistics articles#VYR5 |
| Imre Bárány | 9ZXKBTMB4N | unknown | open | Wikipedia List of people by Erdős number#XRYZ, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IOLT |
| Imre Csiszár | H5FVYWCBBD | topic | open | Wikipedia List of people by Erdős number#GL6R |
| Imre Csiszár | Q1G3F59HJ1 | topic | open | Wikipedia Imre Csiszár, Wikidata Q873734 |
| Imre Lakatos | 2XV5WP9Z03 | topic | open | Wikipedia Imre Lakatos, Wikidata Q296249 |
| Imre Lakatos | JGAQMZ59G4 | topic | open | Wikipedia List of Jewish mathematicians#E6N5 |
| Imre Leader | 838HYRSHP6 | topic | open | Wikipedia List of people by Erdős number#32G2 |
| Imre Leader | V5WTFA5A93 | topic | open | Wikipedia Imre Leader, Wikidata Q1660502 |
| Imre Simon | XJMMVYXTZD | topic | open | Wikipedia Imre Simon, Wikidata Q1791165 |
| Imre Z. Ruzsa | XHJ7FWG65X | unknown | open | Wikipedia List of people by Erdős number#EMSR, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PU84 |
| IMSI-catcher | 1QRGWWTZ9B | definition | open | Wikipedia IMSI-catcher, Wikidata Q1423310 |
| IMSI-catcher | ZQ1HRY8QX6 | definition | open | Wikipedia List of telecommunications encryption terms#WVKW |
| IMSL Numerical Libraries | Y2JS5D074X | unknown | open | Wikipedia List of statistical software#FO0P |
| IMU Abacus Medal | YVCNSQAZ9C | definition | open | Wikidata Q902556, MathWorld NevanlinnaPrize, Wikipedia IMU Abacus Medal |
| in $\Z + \text{Weak-Reflection}$. | EQ86K5XWHH | statement | open | open_logic content/set-theory/replacement/refproofs.tex#lem:reflect |
| in $\Z$ + Weak-Reflection | NDTG9TKA9M | statement | open | open_logic content/set-theory/replacement/refproofs.tex#thm:replacement |
| in $\ZF$ | 8TY82YE950 | statement | open | open_logic content/set-theory/choice/wellorderingproblem.tex#thmwochoice |
| in $\ZF$ | AHDYGZB5DE | statement | open | open_logic content/set-theory/choice/justifications.tex#choiceset |
| in $\Zminus + \text{Countable Choice}$ | 4RJXEY3MCJ | statement | open | open_logic content/set-theory/choice/countablechoice.tex#thm-2 |
| in $\Zminus + \text{Countable Choice}$ | R6MCXQ2R5W | statement | open | open_logic content/set-theory/choice/countablechoice.tex#thm-1 |
| in $\Zminus$ | R89Q1K336M | statement | open | open_logic content/set-theory/choice/countablechoice.tex#lem-1 |
| in \emph{Grundgesetze} | GBK6H73VZX | statement | open | open_logic content/set-theory/story/grundgesetze.tex#lem:Fregeextensions |
| in \emph{Grundgesetze}. | QSD0EMP3JS | statement | open | open_logic content/set-theory/story/grundgesetze.tex#lem-1 |
| In applications | A5K6PMHYXX | example | open | Wikipedia Exponential function#ORQY |
| In Catholic canon law | 8SFK3QWTET | statement | open | Wikipedia Ipso facto#YM5O |
| In contract law | VFGT6RKKNP | statement | open | Wikipedia Electronic signature#4F5N |
| in general | 2FFEZHCS5P | definition | open | Wikipedia Glossary of mathematical jargon#SEXJ |
| in general | RM7ZS2H4N7 | definition | open | Wikipedia Glossary of mathematical jargon#49RK |
| in general | Z8JP6XNQQ4 | definition | open | Wikipedia Glossary of mathematical jargon#345A |
| In law | 706R2FT2E8 | statement | open | Wikipedia Trilemma#DDP4 |
| In law | AAGWA9BX4D | statement | open | Wikipedia Affective forecasting#Q5BL |
| In law | ASGVGPCH5D | statement | open | Wikipedia False statement#NQN4 |
| In law | ES9VGA4XCP | statement | open | Wikipedia Vagueness#YBSE |
| In law | N564RF3882 | statement | open | Wikipedia Burden of proof (philosophy)#5MJZ |
| In law | RY0WQV15RK | statement | open | Wikipedia Argumentum a fortiori#2XBO |
| In law | VADC643WJ2 | statement | open | Wikipedia Appeal to consequences#GKRI |
| In law | WFPCJN5CSW | statement | open | Wikipedia Self-reference#O5LR |
| In law | WVG78E1DKG | statement | open | Wikipedia Dilemma#N4L3 |
| In Pursuit of the Traveling Salesman | YBY5C8DEP1 | definition | open | Wikipedia In Pursuit of the Traveling Salesman, Wikidata Q96382005 |
| In Pursuit of the Unknown: 17 Equations That Changed the World | K651R40T7B | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q30247949, ProofWiki Book:Ian_Stewart/17_Equations_that_Changed_the_World |
| in rebus vagueness | WBS8W4EG88 | definition | open | Wikipedia Glossary of logic#2G9U |
| In relation to the identity matrix | BYMH0KY0KV | statement | open | Wikipedia Invertible matrix#B4R8 |
| In shuffle | 84PXQ1HX2E | concept | open | Wikidata Q17116081, MathWorld In-Shuffle |
| In silico clinical trials | 966F8DQDP7 | definition | open | Wikipedia In silico clinical trials, Wikidata Q22909167 |
| In terms of axioms | PP0BPZPSTB | statement | open | Wikipedia Exterior derivative#ODAP |
| In terms of invariant formula | QNW9EMP3MH | statement | open | Wikipedia Exterior derivative#ALJ1 |
| in terms of Turing machines | C5ZQ3XYT91 | unknown | open | mathlib_overview Logic and computation > Computability > computable function > in terms of Turing machines, Mathlib Turing.TM2Computable |
| In use | NHBB6MZHZM | example | open | Wikipedia Chain code#R7XB |
| In vivo coding | Y2R8J00R7X | unknown | open | Wikipedia Coding (social sciences)#VQ89 |
| In)finiteness of slopes | 4MPK8WZNNS | 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.12165#J2Z7 |
| In-crowd algorithm | HRM1D6ZX3S | definition | open | Wikipedia In-crowd algorithm, Wikidata Q6008626 |
| in-degree | J6W5770ZH0 | definition | open | Wikipedia Glossary of graph theory#4JFX |
| In-place matrix transposition | 9BK1HSSANQ | unknown | open | Wikipedia List of numerical analysis topics#WUF1 |
| In-place merge sort | W3DH1GYPHH | unknown | open | Wikipedia Merge sort#PL8L |
| Ina Kersten | HFWV3KCT0F | topic | open | Wikipedia Ina Kersten, Wikidata Q1660844 |
| inaccessible | HS6W51Z23A | definition | open | Wikipedia List of large cardinal properties#198E |
| Inaccessible cardinal | 3E4Y8JRN6J | definition | open | Wikipedia List of statements independent of ZFC#2UGE |
| inaccessible cardinal | 686TQEWWGK | definition | open | Wikipedia Glossary of set theory#DLK9 |