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 501–600 of 1391.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Inference without compatibility | YBV20XPRSA | 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 2508.01642#P7C7 |
| Inference--execution separation | 5N38GYTCR2 | 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.15824#CFE6 |
| Inference; Corollary 1 | T7Z8PRMBKX | 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 2102.11076#M51C |
| infimum | ZE8FT5PSDT | unknown | open | Wikidata Q1199948, MathWorld Infimum |
| infimum and supremum | BD97KMBV7A | unknown | open | Wikidata Q17502105, EoM Upper_and_lower_bounds |
| infinitary combinatorics | A5G7Z1BVRX | definition | open | Wikidata Q6029708, ProofWiki Definition:Combinatorial_Set_Theory |
| infinitary logic | 5B01R4K6EC | unknown | open | Wikidata Q6029713, nLab infinitary logic |
| infinitary, algebraic theory | B70G4ST4C1 | concept | open | hott_book index/5.11/infinitary-algebraic-theory |
| infinite | HZSFGA2K2P | unknown | open | mathlib_overview Combinatorics > Pigeonhole principles > infinite, Mathlib Finite.exists_infinite_fiber |
| Infinite activity | M02MS36XMQ | 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.31102#ALKV |
| Infinite binary tree | F1QW8EMV5A | example | open | napkin tex/set-theory/forcing.tex#example-1 |
| Infinite binary tree is (very) splitting | ZCD14X1WZR | example | open | napkin tex/set-theory/forcing.tex#example-6 |
| Infinite braid image for every parameter | V6MR8WP91Y | 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.25805#QNJK |
| Infinite broom | YNMMTC1FF1 | unknown | open | Wikidata Q6029835, MathWorld BroomSpace |
| Infinite cardinal arithmetic is trivial | JNBZ5PZXNA | statement | open | napkin tex/set-theory/cardinal.tex#theorem-2 |
| Infinite cardinals squared | FSBEQB4GFN | statement | open | napkin tex/set-theory/cardinal.tex#theorem-1 |
| Infinite chain | R4SMDNJ353 | example | open | napkin tex/set-theory/forcing.tex#example-2 |
| Infinite completely normal basis theorem | VS3DMAFRP7 | 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.22247#X5CD |
| Infinite concentration and clusters of consecutive values | X3JT60HSYY | 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.08424#WYZ8 |
| infinite cyclic group | 4NA11QPNCV | definition | node (a node has the same name as the row) | Wikidata Q54806746, ProofWiki Definition:Infinite_Cyclic_Group |
| Infinite differentiability | X8Y23S75QX | 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.15111#2MX1 |
| Infinite differentiability in the interior | Y3031DA3ME | 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.32561#KY5N |
| Infinite dimensional state dependent 's preference functional | NTCBVFQHKB | 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.25026#1KTR |
| infinite graph | AB9ZV5M76R | definition | open | Wikidata Q20819993, MathWorld InfiniteGraph, ProofWiki Definition:Infinite_Graph |
| infinite group | TCWPBZWJN5 | definition | open | Wikidata Q374268, MathWorld InfiniteGroup, ProofWiki Definition:Infinite_Group |
| Infinite information and the Gaussian innovation | FTVKNC3001 | 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.38228#6TWY |
| infinite limit, of a function | 5DWXAMR0MH | concept | open | lebl_ra index/2.5.2/infinite-limit-of-a-function |
| infinite limit, of a sequence | ZM0HQETDB7 | concept | open | lebl_ra index/10.3.4/infinite-limit-of-a-sequence |
| infinite loop space machine | 4CMHJZVT2S | concept | open | Wikidata Q16926157, MathWorld Machine |
| Infinite matrix amplification | 7MX9HE6YSC | 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.00789#LODI |
| Infinite monkey theorem | QWEYMR5J0Y | statement | open | mathlib_1000 Q487132, Wikidata Q487132, thousand_plus Q487132, Wikipedia Infinite monkey theorem |
| Infinite normal basis theorem | X7JRPZ6C1V | 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.22247#MCLV |
| Infinite primitive spectrum | AZ1070AMJG | 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.27204#2OQD |
| infinite product | 88WR4WPAZX | unknown | open | Wikidata Q2266843, LMFDB knowl mf.gl2.history.infinite, MathWorld InfiniteProduct, nLab infinite product |
| infinite progressions | E2AAAQ8AHW | 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.04000#F61B |
| Infinite rank with dimension three | C2QAKKY482 | 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.00021#5USJ |
| Infinite sequences | MV9ADETTYC | example | open | open_logic content/sets-functions-relations/sets/important-sets.tex#ex-3 |
| infinite set | WNE0TMHGD0 | definition | node (a node has the same name as the row) | Wikidata Q205140, MathWorld InfiniteSet, nLab infinite set, ProofWiki Definition:Infinite_Set |
| infinite sum | RE8KY5D04T | unknown | open | mathlib_overview Topology > Topological algebra > infinite sum, Mathlib HasSum |
| Infinite topology of the full shadow | 692RW5JAZ3 | 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.09602#S62X |
| Infinite-dimensional zero spaces with prescribed finite insertion index | N75CB461SY | 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.37704#0WFV |
| Infinite-family alternative | P00QG7SRG8 | 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.12497#ISQ5 |
| Infinite-temperature normal form | S6RHZYVS4G | 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.27908#M79S |
| Infinite-time existence theory for parabolic problems | B6VX0JT3WD | 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.34923#XBQU |
| Infinite-time LFSR equilibration | HQH5C67Q6F | 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.16351#AZXU |
| Infinite-width limit at fixed cutoff | 428B06MM6C | 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#ELSW |
| Infinitely flat maxima | P54QP6Z588 | 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.37704#KQBJ |
| Infinitely many transients | 140TKNJSZ7 | 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.09602#UG2Y |
| Infinitely-often one-way functions and next-bit predictors | HN8V6FB6CE | 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.11031#Z4OT |
| infinitesimal | AD4RPP5HW8 | definition | open | Wikidata Q193885, EoM Infinitesimal_calculus, nLab infinitesimal number, ProofWiki Definition:Infinitesimal |
| Infinitesimal flex | NH6RP34V37 | 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.17004#HRZ1 |
| Infinitesimal rigidity | S986Q6A2X8 | 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.17004#W7HF |
| Infinitude and stabilization | 6SH3AENZAN | 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.33794#DZIE |
| Infinitude of complete failures | Y1P42BCTYK | 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.07214#YXQ6 |
| Infinity | 8MMXGJNJF8 | statement | open | open_logic content/set-theory/z/infinity-again.tex#axiom-1 |
| infinity | AZ5QKYQHRP | concept | open | Wikidata Q205, EoM Infinity, MathWorld Infinity |
| infinity | X2EECXZ5Z1 | concept | open | active_calculus index/3.2.3/infinity |
| Infinity and the Mind | XA75FWT30P | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q2716008, ProofWiki Book:Rudy_Rucker/Infinity_and_the_Mind |
| Infinity sets | Y6FJEAMCYN | 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#9NOZ |
| infinity symbol | QK166ETVK5 | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q6030066, ProofWiki Symbols:General/Infinity |
| Infinity: A Very Short Introduction | 7WCYW7DB6F | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q114004720, ProofWiki Book:Ian_Stewart/Infinity:_A_Very_Short_Introduction |
| infix notation | CGER5VA6MW | concept | open | hott_book index/4.1/infix-notation |
| Inflation | NMPX23ZYR2 | 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.21675#5Q8P |
| Inflation homomorphisms | MFCG0EB6XV | 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.21675#FI5B |
| Inflation of monomial structures | W9XDEMP8FK | 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.21675#QRM1 |
| inflection point | XW2QAFEMFX | unknown | node (a node has the same name as the row) | Wikidata Q212794, EoM Point_of_inflection, MathWorld InflectionPoint |
| inflection point | Y84Z7BRMDW | concept | open | active_calculus index/3.3.3/inflection-point |
| Influence decoding | 3P4J1G4YGH | 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.04027#Y0I3 |
| Influence function and asymptotic normality | 9NRSN5YD69 | 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.14695#Q78Q |
| Info location | YRQZ6GARJG | 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#2JXJ |
| Info track | 7856MP0DSV | 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#K57L |
| Informal | 1A3FC53FP0 | 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 2605.10911#AQO6 |
| informal | 217J7F9GPF | 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.00525#8K8P |
| informal | 4YPC66PM0E | 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.08610#4ZWL |
| Informal | 538SNHMW9Q | 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.16705#EJC0 |
| Informal | N70CM2EC2B | 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.15815#52CM |
| informal | PQ03TY4DGG | 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.33697#SG92 |
| informal | SZMVB3ZCJ1 | 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.33697#ZF3F |
| Informal | VQ669GVGKG | 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.16705#OR5J |
| informal | WZT6Y25YAJ | 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.35895#BC7U |
| informal | X5KV9GY6XY | 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.33697#IBFE |
| Informal main construction | 20PHZRPWC6 | 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.40252#ZUJ3 |
| Informal main theorem | KYTX6CXXHP | 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.34202#BO4G |
| Informal qLCL threshold | RTH07Y58GK | 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.40252#VAGB |
| Informal Ramsey approximation | 4B1ZJRNBC1 | 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.27181#8T4Y |
| Informal robust LCL inner gadgets | B5JWN75J94 | 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.40252#ALT8 |
| Informal statement | 90VP6M61GK | 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.03306#Z6D8 |
| informal type theory | BNDDGT2Y9Z | concept | open | hott_book index/u1.u6/informal-type-theory |
| informal) Path-dependent induced geometry | 1HDGXH0RZ0 | 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#JS5S |
| Informal, GD in river-valley landscape (improved version of Theorem 3.3 | 4AQA02N43Y | 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.30957#35HE |
| Informal: hard-margin SVM | 87YHKERNBA | 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.10519#E2TX |
| information | HHBYNC0TRP | unknown | open | Wikidata Q11028, nLab information |
| Information amplification with one retained reference | S5FBB1VDVD | 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.38228#F1OE |
| Information bounds | 9JSJ9QKVFE | 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.34458#CKF0 |
| Information bounds | Z5TQPD0CAP | 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#BLDX |
| Information content of the effective sample size | 78580866MN | 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.16680#UC45 |
| information entropy | YBWGW0CPNX | concept | open | Wikidata Q204570, MathWorld Entropy |
| Information frontier | Y6KK9M3EVJ | 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.12211#4PB3 |
| Information lower bound for one-bit compressed sensing | PVEV5EMP42 | 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.11834#7HL6 |
| Information lower bound from posterior-error covariance | F52QVCBG3K | 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.13464#726I |