Inventory: A
The rows of the inventory whose names start with A. 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 3201–3300 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Almost Sure Invariance Principle | CQMCQPFJXC | 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.33590#90Z6 |
| Almost sure rates | 7TGWEHAQNR | 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.12873#QST2 |
| almost surely | 9S3HPHNGY8 | unknown | node (a node has the same name as the row) | Wikidata Q1434353, MathWorld AlmostSurely |
| Almost symmetry | S8BAG3N854 | 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.10051#C3ZX |
| almost symplectic manifold | JW634ZV9QT | unknown | open | Wikidata Q4734008, EoM Almost-symplectic_structure |
| almost-alternating knot | TH7PG64B0W | unknown | open | Wikidata Q96741348, MathWorld AlmostAlternatingKnot |
| Almost-Boundedness | 5K3FZM6QR7 | 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.33018#AALM |
| Almost-everywhere second-order boundary geometry | Q7YTCH035X | 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.17519#QNPE |
| Almost-global convergence | D9ZZYJTWTA | 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.10993#J0W3 |
| Almost-global convergence to uniform twists | Q460GNQP5W | 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.19953#KF3N |
| Almost-regular constant-weight codewords | 18YP7XH61D | 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.33753#SAJ5 |
| Almost-splitting under timelike sectional curvature bounds | F98P8PFPJM | 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.10051#FKP4 |
| Almost-splitting under timelike sectional curvature bounds | W5BQYJZY5Z | 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.10051#8DC6 |
| Almost-sure consistency of the SPIDER estimator | BYWHQ80EV6 | 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.18428#W64E |
| Almost-sure convergence | 1T55J7JN71 | 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.13916#87HW |
| Almost-Sure Convergence | 4PGM70DFET | 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.07674#YTNA |
| Almost-sure convergence to Nash equilibrium | G6Y81SCAGP | 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.05428#2DHX |
| Almost-sure last-iterate convergence to Nash equilibria | 33A2C1QY6F | 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.05428#ZO8L |
| Almost-sure singularity of extremals | H03W9QYJ3X | 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 2310.11101#MUPE |
| Almost-sure summability and estimator consistency | KYYAQKSB84 | 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.18428#X7IY |
| Alon | 3N0MPXKW9J | 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.29623#N28U |
| Alon | 74P4WNQ3QE | problem | 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.29623#K6BU |
| Alon and Frankl | E10ZZ5HPDD | 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.24353#BIH0 |
| Alon-Tarsi conjecture | SXD2MHYJ35 | conjecture | open | Wikidata Q122897563, MathWorld Alon-TarsiConjecture |
| Alonso-Guti\'errez--Bastero--Bernu\'es--Paouris | EWYE5WFS7J | 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.09562#35O0 |
| Alonzo Church | 2HW7N9A5NK | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q92741, nLab Alonzo Church, ProofWiki Mathematician:Alonzo_Church |
| Alperin--Dade | J5MA1SQQNQ | 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 2310.13621#RHSG |
| Alperin–Brauer–Gorenstein theorem | EZCCHA3W66 | statement | open | mathlib_1000 Q4734844, Wikidata Q4734844, thousand_plus Q4734844, Wikipedia Alperin–Brauer–Gorenstein theorem |
| alpha particle | 6GTV59X5SE | unknown | open | Wikidata Q103517, nLab alpha particle |
| alphabet | EPBJBVKDC9 | unknown | open | Wikidata Q837518, MathWorld Alphabet |
| alphabet | H2H5YD1FGQ | concept | open | applied_combinatorics index/2.1/alphabet |
| Alphabet profile | EQ5V9372RJ | 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.37368#OHWJ |
| alphamagic square | WVCTT7PJ1X | unknown | open | Wikidata Q4735259, MathWorld AlphamagicSquare |
| alpha–beta pruning | WX0RD6MWXJ | unknown | open | Wikidata Q570496, MathWorld Alpha-BetaPruning |
| Alphonse de Polignac | Z6M315GWQW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2270375, ProofWiki Mathematician:Alphonse_Armand_Charles_Georges_Marie_de_Polignac |
| Alspach's theorem | YGJ2MSC19Z | statement | open | mathlib_1000 Q56291669, Wikidata Q56291669, thousand_plus Q56291669, Wikipedia Alspach's conjecture |
| alternant matrix | C6TAMD4C0S | unknown | open | Wikidata Q2620519, EoM Alternant_matrix |
| alternate angles | 12EPD8RJQP | definition | open | Wikidata Q11650583, ProofWiki Definition:Transversal_(Geometry)/Alternate_Angles |
| Alternate proof of Bolzano--Weierstrass | Y68KKA7X7G | proof | open | lebl_ra ch-seq-ser.tex#proof-19 |
| alternate segment theorem | 3TAP8CN336 | statement | open | Wikidata Q11067849, ProofWiki Tangent-Chord_Theorem |
| Alternating $d$-Codes | 6S1DP24C09 | 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 2202.03009#273D |
| alternating bilinear form | JEX1WKZNKA | unknown | node (a node has the same name as the row) | mathlib_overview Linear algebra > Bilinear and quadratic forms > alternating bilinear form, Mathlib LinearMap.BilinForm.IsAlt, mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > alternating bilinear forms |
| Alternating factorial | ZY6BNMTTV7 | concept | open | Wikidata Q3890817, MathWorld AlternatingFactorial |
| alternating function | DQ793Q1CM4 | unknown | open | Wikidata Q4235192, nLab alternating multifunction |
| alternating group | D8E693525H | unknown | node (a node has the same name as the row) | mathlib_overview General algebra > Group theory > alternating group, Mathlib alternatingGroup, mathlib_undergrad Group Theory > Permutation group > alternating group, Wikidata Q438814, EoM Alternating_group, LMFDB knowl group.alternating, MathWorld AlternatingGroup, nLab alternating group |
| alternating group graph | KH32F9NSBZ | unknown | open | Wikidata Q122897702, MathWorld AlternatingGroupGraph |
| alternating groups on 5 letters or more are simple | 9A4EAMM62K | unknown | open | mathlib_overview General algebra > Group theory > alternating groups on 5 letters or more are simple, Mathlib alternatingGroup.isSimpleGroup |
| alternating harmonic series | J8295WDSXJ | unknown | node (a node has the same name as the row) | Wikidata Q91251728, MathWorld AlternatingHarmonicSeries |
| alternating knot | 129Q7P0F2W | unknown | open | Wikidata Q4736417, MathWorld AlternatingKnot |
| Alternating Labels Are Hard for Thresholds | XS6H70AQET | 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.03769#YANS |
| alternating map | 1CEKHV4C73 | unknown | open | mathlib_overview Linear algebra > Fundamentals > alternating map, Mathlib AlternatingMap |
| alternating multilinear form | EZB4S7R8ZS | unknown | open | Wikidata Q3077468, MathWorld AlternatingMultilinearForm |
| Alternating permutation | RX67NWSE95 | concept | open | Wikidata Q3900011, MathWorld AlternatingPermutation |
| Alternating series | 8SWQE4NS4V | statement | open | lebl_ra ch-seq-ser.tex#prop-18 |
| alternating series | 9E2W5KQ456 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q438842, MathWorld AlternatingSeries |
| alternating series | CBGSA1A957 | unknown | open | mathlib_undergrad Single Variable Real Analysis > Numerical series > alternating series, Mathlib Antitone.tendsto_alternating_series_of_tendsto_zero |
| alternating series test | VTY39SBNKJ | statement | node (a node has the same Wikidata item as the row) | Wikidata Q914099, MathWorld AlternatingSeriesTest, MathWorld LeibnizCriterion |
| alternating sign matrix | NQWEHVXFEK | unknown | open | Wikidata Q3848436, MathWorld AlternatingSignMatrix |
| Alternating signs | 3CVA8ZX42V | 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.02806#JS8O |
| Alternating singleton activation | NN64X1WJRR | 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#JMSD |
| Alternating-matchings path geometry | DS3PTJBSEZ | 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.33021#0AW5 |
| alternative algebra | G1GBC6EN8K | unknown | open | Wikidata Q2165111, nLab alternative algebra |
| Alternative direct-classification route | 1SG5VQBGCK | 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#QDM5 |
| alternative hypothesis | PM6MQ2MXVH | unknown | open | Wikidata Q843558, MathWorld AlternativeHypothesis |
| Alternative lemma | 24YH8XD7QD | 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.31373#2B3O |
| Alternative lemma | A2QT4R2E8Z | 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.31373#EUUJ |
| Alternative Optimality Criterion | QA6DP7K8M2 | 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.20364#EUE5 |
| Alternative weight-gap proof of infinitude | W526Y6HVDX | 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#0D3U |
| alternativity | 41WG3AS6WC | unknown | open | Wikidata Q438727, MathWorld AlternativeAlgebra |
| altitude | N0YPX69BKX | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q339495, Wikidata Q339495, thousand_plus Q339495, Wikipedia Altitude (triangle), MathWorld Altitude |
| Alvarez | QHY6SA3GTN | 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.11440#THIW |
| AM03DA9QK1 | AM03DA9QK1 | exercise | open | levin_dmoi ptx/exercises/seq-polyfit.ptx#exercise-10 |
| AM18NDB8FT | AM18NDB8FT | 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.37274#9A5B |
| AM1JQNXGS2 | AM1JQNXGS2 | 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.12116#8351 |
| AM21J8YYK4 | AM21J8YYK4 | 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.34845#WW7O |
| AM2EH049CT | AM2EH049CT | 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.30480#SCMG |
| AM2KNMR3M5 | AM2KNMR3M5 | 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 2510.12502#6VP5 |
| AM2TSZESYP | AM2TSZESYP | 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 2204.13401#AMPG |
| AM2V9BN3VQ | AM2V9BN3VQ | 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 2110.11143#U16J |
| AM32Q8M7BK | AM32Q8M7BK | 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.28898#EFJC |
| AM3WGPZSAK | AM3WGPZSAK | 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.34522#P827 |
| AM3ZA63ZBY | AM3ZA63ZBY | 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.13792#9BNU |
| AM5AHZ2BJE | AM5AHZ2BJE | 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 2512.07340#FC4P |
| AM6A3P3FFK | AM6A3P3FFK | definition | open | ernst_ibl MAAPressVersion/Partitions.tex#definition-1 |
| AM6VDC0XWN | AM6VDC0XWN | 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.17698#E0I8 |
| AM7B9KJPB9 | AM7B9KJPB9 | 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.29759#XIYB |
| AM7D4QM80D | AM7D4QM80D | 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 1707.06795#GD4D |
| AM7EXE9SMZ | AM7EXE9SMZ | 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.11487#LRNM |
| AM7PS3QB5T | AM7PS3QB5T | 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.05312#FMTV |
| AM9DDF6ZKY | AM9DDF6ZKY | exercise | open | levin_dmoi ptx/exercises/counting-conc.ptx#exercise-8 |
| AM9KVVKHJ4 | AM9KVVKHJ4 | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-16 |
| AM9PF0W34E | AM9PF0W34E | 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.19250#KN7F |
| AMA6A9YEYS | AMA6A9YEYS | 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.31126#Y35D |
| AMAC2NJJ5Y | AMAC2NJJ5Y | 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.25957#MV7Y |
| AMAFHC2C1M | AMAFHC2C1M | 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.16514#HKVL |
| AMAKW0WR31 | AMAKW0WR31 | 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.07828#PRNZ |
| Amalendu Krishna | 4M4VEVG6H0 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q20798882, nLab Amalendu Krishna |
| Amalgamated criterion | RWTV1RRE7W | 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.17608#MRTO |
| amalgamated free product | PJP33YWHE7 | concept | open | hott_book index/7.7.2/amalgamated-free-product |
| Amalgamation lemma | MHKWEMXEDG | 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.08027#78WJ |