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 1101–1200 of 1391.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| inverse | K14CQ0XF7X | concept | open | Wikidata Q7017933, MathWorld Inverse |
| Inverse Baer deformation | DT6HHBFV7T | 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.24640#45WY |
| inverse curve | JY8RYXXKYG | unknown | open | Wikidata Q6060369, MathWorld InverseCurve |
| inverse element | FEBX9EH0B8 | unknown | node (a node has the same name as the row) | Wikidata Q338057, MathWorld InverseElement |
| Inverse fields up to the boundary | HAE7BHJMWQ | 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#QLT9 |
| Inverse filter | P05E744ZPN | unknown | open | Wikidata Q17092649, MathWorld InverseFilter |
| inverse Fourier transform | QREFYRFJZA | unknown | open | mathlib_undergrad Distribution calculus > Tempered distributions > inverse Fourier transform, Mathlib FourierTransform.fourierInvCLM |
| inverse function | SMC0YM3VDN | topic | node (a node has the same Wikidata item as the row) | Wikidata Q191884, EoM Inverse_function, MathWorld InverseFunction |
| inverse function theorem | 13PWF4DRQF | concept | open | lebl_ra index/3.4.1/inverse-function-theorem |
| inverse function theorem | 6MHFTJQR6M | concept | open | lebl_ra index/11.5/inverse-function-theorem |
| Inverse function theorem | 75KRF0KXK5 | statement | open | lebl_ra ch-several-vars-ders.tex#thm:inverse |
| inverse function theorem | CK9Y1KFW2J | unknown | open | mathlib_undergrad Multivariable calculus > Differential calculus > inverse function theorem, Mathlib HasStrictDerivAt.to_localInverse |
| Inverse function theorem | KB2GZKQZV3 | statement | open | lebl_ra ch-der.tex#thm-1 |
| inverse function theorem | NSE455E95Y | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q931001, Mathlib HasStrictFDerivAt.to_localInverse, Wikidata Q931001, mathlib_1000 Q931001X, mathlib_overview Analysis > Differentiability > inverse function theorem, thousand_plus Q931001, Wikipedia Inverse function theorem, thousand_plus Q931001X, Wikipedia Constant rank theorem, MathWorld InverseFunctionTheorem, nLab inverse function theorem |
| inverse functions and differentiation | K7C1ZJZE5H | statement | node (a node has the same Wikidata item as the row) | Wikidata Q2143416, ProofWiki Derivative_of_Inverse_Function |
| inverse Galois problem | TQC54HW13Y | problem | open | Wikidata Q2358071, nLab inverse Galois problem |
| inverse Gaussian distribution | V5ZA4BD343 | unknown | open | Wikidata Q1671727, MathWorld InverseGaussianDistribution |
| Inverse Gram moments | QWMWWWZFVP | 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.05498#E8UL |
| inverse hyperbolic cosecant | S5TEC123RM | definition | open | Wikidata Q12748485, MathWorld InverseHyperbolicCosecant, ProofWiki Definition:Area_Hyperbolic_Cosecant |
| inverse hyperbolic cosine | FNJEVQS83B | definition | open | Wikidata Q1562080, MathWorld InverseHyperbolicCosine, ProofWiki Definition:Area_Hyperbolic_Cosine |
| inverse hyperbolic cotangent | H53SE61AJ6 | unknown | open | Wikidata Q11205769, MathWorld InverseHyperbolicCotangent |
| inverse hyperbolic function | DV43CPXQAC | definition | node (a node has the same Wikidata item as the row) | Wikidata Q640600, MathWorld InverseHyperbolicFunctions, ProofWiki Definition:Area_Hyperbolic_Function, ProofWiki Definition:Inverse_Hyperbolic_Function |
| inverse hyperbolic secant | RZ84149KM8 | definition | open | Wikidata Q12748486, MathWorld InverseHyperbolicSecant, ProofWiki Definition:Area_Hyperbolic_Secant |
| inverse hyperbolic sine | R9R8FSQDPD | definition | open | Wikidata Q10981216, MathWorld InverseHyperbolicSine, ProofWiki Definition:Area_Hyperbolic_Sine |
| inverse hyperbolic tangent | XZD0F29VKR | definition | open | Wikidata Q1565608, MathWorld InverseHyperbolicTangent, ProofWiki Definition:Area_Hyperbolic_Tangent |
| inverse hyperbolic trigonometric functions | 9H7ZTB5Z7S | unknown | open | mathlib_overview Analysis > Special functions > inverse hyperbolic trigonometric functions, Mathlib Real.arsinh, mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > inverse hyperbolic trigonometric functions |
| inverse image functor | QBJ97WB3DV | unknown | open | Wikidata Q6060386, nLab inverse image |
| Inverse image is affine | NR2GCW95HV | 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.07341#K75N |
| inverse Laplace transform | SWFJF2BN94 | unknown | node (a node has the same name as the row) | Wikidata Q2162701, MathWorld BromwichIntegral |
| inverse limit | 2PT5V88F1C | unknown | open | Wikidata Q2634828, MathWorld InverseLimit, nLab inverse limit |
| inverse matrix | ZMFK0KVQRA | unknown | open | Wikidata Q17123743, EoM Inverse_matrix, MathWorld MatrixInverse |
| Inverse minors and a uniform bound | 8HT0EHXGEP | 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.08568#8FNN |
| inverse of a complex number | S5RZYX8ENN | statement | node (a node has the same name as the row) | Wikidata Q141680330, ProofWiki Inverse_for_Complex_Multiplication |
| Inverse of a shifted operator geodesic | 4YJ27ECR23 | 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.15180#TP97 |
| Inverse of products | RZM942TYHY | statement | open | napkin tex/H113/grp-intro.tex#proposition-1 |
| Inverse on the constrained space | KGZBATHRET | 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#FQSO |
| Inverse orbit and smooth interpolation | DPVBA139NZ | 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.31557#YXJ4 |
| Inverse pairing | 4MJD5DD6GT | 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#UQFY |
| inverse problem | 9XQ098VZP5 | unknown | open | Wikidata Q1567213, MathWorld InverseProblem |
| inverse proportionality | 1NRWQJGR5R | unknown | open | Wikidata Q1091245, MathWorld InverselyProportional |
| inverse scattering transform | FVRXZJG3JZ | unknown | open | Wikidata Q17098188, MathWorld InverseScatteringMethod |
| inverse semigroup | DA7KM7E79P | unknown | open | Wikidata Q3022118, MathWorld InverseSemigroup, nLab inverse semigroup |
| inverse trigonometric function | Q1WB37EHBW | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q674533, MathWorld InverseTrigonometricFunctions, nLab inverse trigonometric function |
| inverse trigonometric functions | HW2JFKN047 | unknown | node (a node has the same name as the row) | mathlib_overview Analysis > Special functions > inverse trigonometric functions, Mathlib Real.arcsin, mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > inverse trigonometric functions |
| inverse, approximate | BNB3Z78KXR | concept | open | hott_book index/B.1/inverse-approximate |
| inverse, in a (pre)category | A7XBR0ZYWR | concept | open | hott_book index/2.1/inverse-in-a-pre-category |
| inverse, in a group | MYRSQTK8GP | concept | open | hott_book index/5.11/inverse-in-a-group |
| Inverse-chi-squared distribution | 5R0VR2GRT2 | unknown | open | Wikidata Q3258519, MathWorld InverseChi-SquaredDistribution |
| Inverse-radius displacements | H3Z9M316X3 | 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#0SR8 |
| Inverse-radius perturbations of the lattice | D8PE16J0R5 | 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#ZQI1 |
| Inverse-square convergence with deterministic epochs | 8DBPHFQYEW | 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.06557#O8BJ |
| inverse-square law | 6YEGX0T791 | definition | open | Wikidata Q333094, ProofWiki Definition:Inverse_Square_Law |
| Inverse-Wishart trace concentration | NC9Y6AYNR0 | 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.28198#IFCQ |
| inversion | T06JPZT2H7 | unknown | open | Wikidata Q1368009, MathWorld PermutationInversion |
| Inversion away from the spectrum | QYK3N5AKZK | 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.19243#13MZ |
| inversive distance | 5XWH6C43QX | unknown | open | Wikidata Q6060481, MathWorld InversiveDistance |
| inversive geometry | ER6EGJ38DQ | unknown | open | Wikidata Q9267097, MathWorld InversiveGeometry |
| inverter | F0PW23Z6RW | unknown | open | Wikidata Q664575, MathWorld NOT |
| invertibility | HF5MASZM48 | unknown | open | mathlib_overview Linear algebra > Matrices > invertibility, Mathlib Matrix.inv, mathlib_undergrad Linear algebra > Matrices > invertibility |
| Invertibility | VV9YN53RFJ | 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#FBNU |
| Invertibility of $\Xi$ | 3537BMJMZ6 | 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#NAGZ |
| Invertibility of contact blocks | 6W3WFW1TY3 | 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.05652#BJSZ |
| Invertibility via mixed sampling or subcritical reinforcement | 9ZRY3T052Q | 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.13884#JR3O |
| invertible | D3A2ZX1WVW | concept | open | austin_ula index/3.1.2/invertible |
| invertible element | VNPXGBC53V | unknown | open | Wikidata Q67474638, MathWorld InvertibleElement |
| invertible elements | P16TPCBF62 | unknown | open | mathlib_undergrad Ring Theory > Divisibility in integral domains > invertible elements, Mathlib Invertible |
| invertible knot | DMBB547KD8 | unknown | open | Wikidata Q6060558, MathWorld InvertibleKnot |
| invertible linear transformation | ADH32ZVKPZ | concept | open | lebl_ra index/11.1.3/invertible-linear-transformation |
| invertible matrix | 7ZEY2R8SCW | concept | open | lebl_diffyqs index/2.2.5/invertible-matrix |
| invertible matrix | P2E2KV54BD | definition | node (a node has the same name as the row) | Wikidata Q242188, EoM Non-singular_matrix, MathWorld NonsingularMatrix, ProofWiki Definition:Invertible_Matrix |
| invertible matrix | Y8PBVAKTBB | concept | open | lebl_diffyqs index/10.2.2/invertible-matrix |
| Invertible profile | 1WJ670QAK9 | 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.05767#OR04 |
| Invertible profile | M52J98SDZ3 | 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.19296#F3XI |
| Invisibility | 1YHB5J3X91 | 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.14012#30TM |
| Invisible transitions | FR510HVHXB | 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.17677#KPZ4 |
| involute | T8W4CEX77G | unknown | open | Wikidata Q680712, MathWorld Involute |
| Involute of a circle | WBSYT38D2J | unknown | open | Wikidata Q1787648, MathWorld CircleInvolute |
| involution | S5CWP29VND | unknown | open | Wikidata Q846862, MathWorld Involution |
| Involutivity of the kernel | DWNDPE8DQB | 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#QJID |
| involutory matrix | 1JE4C2EF9N | unknown | open | Wikidata Q1052516, MathWorld InvolutoryMatrix |
| Ioan James | 6PQH3DHTVQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q368288, nLab Ioan James |
| Ioanid Rosu | 31VWADHE3E | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q18547559, nLab Ioanid Rosu |
| Ioannis Iliopoulos | AVD69SN6ZP | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q655289, nLab John Iliopoulos |
| IODE software | 9MS8FKQDTX | concept | open | lebl_diffyqs index/6.7.3/iode-software |
| ion | 9E92FXYGMV | definition | open | Wikidata Q36496, ProofWiki Definition:Ion |
| Ionel--Parker | VQ8XC4JFZP | 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.10828#O6W9 |
| Ionescu-Tulcea theorem | 6VP9Q9F6DD | statement | open | mathlib_1000 Q25378690, Mathlib ProbabilityTheory.Kernel.traj, Wikidata Q25378690, thousand_plus Q25378690, Wikipedia Ionescu-Tulcea theorem |
| iota | RN514SC6YK | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q14399, ProofWiki Symbols:Greek/Iota |
| Iran | T1WGFZM6P8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q794, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Iran |
| Iraq | 1FPW2Y73N8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q796, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Iraq |
| Ireland | QPHEN6Q35X | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q27, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Ireland |
| Iritani | EYXDG0H0MH | 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.10828#RHZM |
| Irmak {, Shackleton | AQAXJP6VRH | 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.12054#E51G |
| iron | DNC3T1G2RC | definition | open | Wikidata Q677, ProofWiki Definition:Iron |
| iron-54 | E3AJ4Z30RX | definition | open | Wikidata Q2696892, ProofWiki Definition:Iron/54 |
| iron-55 | A7P57SHGW0 | definition | open | Wikidata Q2015910, ProofWiki Definition:Iron/55 |
| iron-56 | 83VPWXV1VV | definition | open | Wikidata Q1052454, ProofWiki Definition:Iron/56 |
| iron-57 | 8PH8KY0V71 | definition | open | Wikidata Q14744877, ProofWiki Definition:Iron/57 |
| iron-58 | HJ6FJ3W0K8 | definition | open | Wikidata Q2704780, ProofWiki Definition:Iron/58 |
| iron-59 | 1ZNHMA1W58 | definition | open | Wikidata Q18844934, ProofWiki Definition:Iron/59 |