Inventory: I
The rows of the inventory whose names start with I. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 301–400 of 1391.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| incompressible fluid | CX5YY78E9F | definition | open | Wikidata Q1663717, ProofWiki Definition:Incompressible_Fluid |
| Incompressible Navier-Stokes equations | ZFX6YDB726 | unknown | open | arXiv 2408.06101#WVXE |
| Incompressible periodic waves | B7PJXQQ4MP | 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.01883#772S |
| Incompressible solitary waves | NSRCAYTH6V | 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.01883#2Q2E |
| inconic | FASWNVBHQD | unknown | open | Wikidata Q16565600, MathWorld Inconic |
| inconsistent equation | S69DBFA7K1 | unknown | open | Wikidata Q141500197, MathWorld InconsistentEquation |
| inconsistent system | 614BVJPG3M | concept | open | austin_ula index/1.4.1/inconsistent-system |
| inconsistent system | FYBS3ZMSM5 | concept | open | lebl_diffyqs index/10.2.4/inconsistent-system |
| increasing | FJ5M4BW35S | concept | open | active_calculus index/1.6.1/increasing |
| increasing function | HZCKAWM6XS | unknown | open | Wikidata Q3075182, MathWorld NondecreasingFunction |
| Increasing the common-feature dimension | VCK0GCD8Z8 | 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.16845#OMCH |
| Increment theorem | 4AD75RXC4W | statement | open | mathlib_1000 Q6015420, Wikidata Q6015420, thousand_plus Q6015420, Wikipedia Increment theorem |
| Increment variance | J7HZDWXZE6 | 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.00453#IYS3 |
| Incremental bounds | GQSQ1P4A0M | 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.32282#M1GY |
| Incremental first-order oracle | CHYFRPHYKW | 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.04944#FXG3 |
| Increments of the cumulative process in permuton coordinates | BHPBQNBMEQ | 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.14616#48P1 |
| ind-scheme | 7PPM45KKER | unknown | open | Wikidata Q19597588, nLab ind-scheme |
| indecomposable continuum | E17ZCY124M | unknown | open | Wikidata Q2995675, MathWorld IndecomposableContinuum |
| indecomposable module | K0X7JV1481 | unknown | open | Wikidata Q2499534, MathWorld IndecomposableModule |
| indefinite integral | CTTR9239HV | unknown | node (a node has the same name as the row) | Wikidata Q8437543, MathWorld IndefiniteIntegral, nLab indefinite integral |
| indefinite integral | MHK0G1ZGGD | concept | open | active_calculus index/5.3.2/indefinite-integral |
| indefinite integral, evaluate | K9TTCGJ9J6 | concept | open | active_calculus index/5.3.2/indefinite-integral-evaluate |
| indefinite quadratic form | ANMFEV6T3W | unknown | open | Wikidata Q77594514, MathWorld IndefiniteQuadraticForm |
| indegree | RQJMSBTFSA | definition | open | Wikidata Q93722997, MathWorld Indegree, ProofWiki Definition:In-Degree |
| Independence case | 4Q7XB0AXGE | 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.14616#RPQN |
| Independence from the biorthogonal family | XM68XP089J | 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.14906#7X03 |
| Independence merging | 7PFN62ZZNJ | 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.02407#P6J6 |
| independence number | AG95J0SXXN | unknown | open | Wikidata Q93598162, MathWorld IndependenceNumber |
| Independence numbers | GDVR41KRT6 | 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.40054#3Y51 |
| Independence of $h$ for $\theta_{\mathfrak{a},h}(L)$ | 6VM0741X1X | 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.10365#NV2O |
| Independence of a unit factor | QZAXH5GCFE | 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.07528#4K4W |
| Independence of activation-derivative polynomial functions | 4CXBMZ1XGY | 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.04357#EIUS |
| independence of random variables | XG53NQEFZW | unknown | node (a node has the same name as the row) | mathlib_overview Probability Theory > Random variables and their laws > independence of random variables, Mathlib ProbabilityTheory.iIndepFun, mathlib_undergrad Probability Theory > Random variables and their laws > independence of random variables |
| Independence of root monomials | KMF5QAZKQ8 | 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.04189#IHCJ |
| Independence of scalar pullbacks | 5HW2WMXNVP | 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.04099#VVJI |
| Independence of the admissible denominator | NFNQ8VWVMW | 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.10583#K31I |
| Independence of the bordering convention | M263GKNHKF | 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#M8MT |
| Independence of the closing family | PXQJY0ND5P | 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.27851#Q8Z1 |
| Independence of the decompositions | SF4FESNXTN | 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.21093#EJPN |
| Independence of the parameters, modulo exponentially small terms | AKQ5WN24P2 | 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.29605#V8I9 |
| Independence of the stationary representative | X0M2QE7FKS | 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.10583#2YYX |
| Independence of the Sylow $p$-subgroup | NQ8VSQY2WH | 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.27042#8195 |
| Independent blocks | 42RSCSGV5N | 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#DTTI |
| Independent cohomological bound on the generic stratum | J3M2VCEYM7 | 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.04099#BT6C |
| Independent companions | N3ZQTSEXWW | 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.00099#JRON |
| independent domination number | RSQR5BC1RG | unknown | open | Wikidata Q130343874, MathWorld LowerIndependenceNumber |
| independent events | 3WKV2T7AAJ | unknown | open | mathlib_overview Probability Theory > Definitions in probability theory > independent events, Mathlib ProbabilityTheory.iIndepSet, mathlib_undergrad Probability Theory > Definitions of a probability space > independent events |
| independent events | XM7YVGFV3Z | topic | node (a node has the same Wikidata item as the row) | Wikidata Q625303, MathWorld IndependentEvents |
| Independent family | 9ZPCBQH030 | 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.28160#WBG0 |
| Independent positive-parameter size estimate | KQTBBQTV5V | 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.18788#K50D |
| Independent product of kernels | 2BKQRACX9H | 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.26270#1AN3 |
| Independent random sampling | 9NTW59ZVKM | 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.10080#EE4A |
| independent set | 7JZB5FFNBM | unknown | node (a node has the same name as the row) | Wikidata Q1060343, MathWorld IndependentVertexSet |
| Independent Sets, Vertex Covers, and Well-Coveredness | BJVA6FQVBW | 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.09300#SNL5 |
| independent sigma-algebras | NEPTH3W7R9 | unknown | node (a node has the same name as the row) | mathlib_overview Probability Theory > Definitions in probability theory > independent sigma-algebras, Mathlib ProbabilityTheory.iIndep, mathlib_undergrad Probability Theory > Definitions of a probability space > independent sigma-algebra |
| Independent trajectories | 115TJHB2CK | 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.12641#E75Z |
| Independent trajectories under mixed noise | G66QCK10J4 | 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.12641#9TTA |
| independent variable | GHAXQ2Z7CE | definition | open | Wikidata Q2487752, ProofWiki Definition:Independent_Variable |
| independent, event | N9SGKWJN28 | concept | open | applied_combinatorics index/10.2.1/independent-event |
| independent, random variables | HR1EQ7ENXK | concept | open | applied_combinatorics index/10.5.1/independent-random-variables |
| Independent-cover asymptotics | 2BKWVP1V12 | 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.20414#T13B |
| Independent-Set Pair Law | 3EBACEE9Y4 | 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.06724#USIH |
| Independent-test false acceptance | E5575V9W4K | 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.14965#WYO3 |
| Indescribability conventions | 1G1DGGMH76 | 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.09086#YOLT |
| indeterminate form | VCE233XKG7 | concept | open | active_calculus index/1.2.2/indeterminate-form |
| indeterminate form | YKV374AB5V | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q115089, MathWorld Indeterminate |
| index | B22SABS2XW | unknown | open | Wikidata Q2303886, MathWorld Index |
| index | GPJ7MZ8KM9 | 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 2405.14678#SDL3 |
| Index and relative degree | 9WP0N90YYP | 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.09634#RDV4 |
| Index control for balanced projection coordinates | WZGS6EX857 | 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.32001#69MM |
| Index form of the bulk | X5AE5KNYA4 | 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.06490#HQHG |
| index number | JG283V3D0B | unknown | open | Wikidata Q1738991, MathWorld IndexNumber |
| index of $\Gam_{F'}$ | CJBHVE95N8 | 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.07508#XMQA |
| Index of a lattice complement | PK2MSKF2W9 | 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#LNNJ |
| index of a subgroup | 9HKBTQBK78 | unknown | open | mathlib_overview General algebra > Group theory > index of a subgroup, Mathlib Subgroup.index |
| index of a subgroup | R5CVYVXY06 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q1464168, MathWorld SubgroupIndex, nLab index of a subgroup, ProofWiki Definition:Index_of_Subgroup |
| index set | 7MD5K07DB7 | concept | open | Wikidata Q21285678, MathWorld IndexSet, ProofWiki Definition:Indexing_Set |
| Index-like mode | V937172C4J | 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.28029#2P71 |
| Index-one MRV | PX53SYVPTP | 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.29658#6GS9 |
| indexed category | F0D6TAY1E9 | unknown | open | Wikidata Q25099576, nLab indexed category |
| indexed family | GSCSRVQSG0 | concept | open | Wikidata Q856215, nLab family |
| India | V0SWBX9FEA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q668, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/India |
| Indicator function | FZB66Q9GQK | 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#LOG3 |
| indicator set | ASXDB5VQSF | 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.15099#7460 |
| Indicator-weighted centered exponential moments | PV61RXGAWS | 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.30590#2IX3 |
| indirect proof | 261XRHG97X | unknown | open | Wikidata Q123819398, MathWorld IndirectProof |
| Indirectly given locations | 24XRK8Q87H | 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#MPYE |
| indiscernibility of identicals | MRMYPSZCVG | concept | open | hott_book index/A.12/indiscernibility-of-identicals |
| indiscernibility of identicals | R0K2CBEPVT | concept | open | hott_book index/1.3/indiscernibility-of-identicals |
| indiscrete category | KBE2E47E2G | unknown | open | Wikidata Q25098934, nLab indiscrete category |
| Individual mean reflection for the pure gap | 907S55DSH2 | 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.24931#HD3H |
| Individual smoothness | P0SA3YHAVE | 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.04944#O9RR |
| individual variable | 255PGKDY43 | unknown | open | Wikidata Q1661660, EoM Individual_variable |
| Induced almost contact metric structure | 9T9BM27Y9E | 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.00078#MUHE |
| Induced chain | 7VPDFACPXC | 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.06724#KS9V |
| induced character | YE2B78S9A0 | unknown | open | Wikidata Q17048352, nLab induced character |
| induced cycle | 6PDNBJACDD | unknown | open | Wikidata Q135974169, MathWorld ChordlessCycle |
| Induced decision-space dynamics | 1W8HCGAKTX | 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.02528#LYOQ |
| Induced dynamics | 1RCM8462EW | 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.06653#JNB7 |
| Induced energy-to-peak norm | GSWDZ8RQ3B | 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.21355#MPVN |