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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 12301–12400 of 14276.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Artin–Wedderburn theorem | 8RCW132B2C | statement | open | mathlib_1000 Q776578, Mathlib IsSimpleRing.exists_algEquiv_matrix_divisionRing, Mathlib IsSemisimpleRing.exists_algEquiv_pi_matrix_divisionRing, Wikidata Q776578, thousand_plus Q776578, Wikipedia Artin–Wedderburn theorem, EoM Wedderburn-Artin_theorem, nLab Wedderburn-Artin theorem, Wikipedia Wedderburn–Artin theorem |
| Artin–Wedderburn theorem | P0SM33PQAB | statement | open | Wikipedia Noncommutative ring#108U |
| Artin–Wedderburn theorem | VBNTXPE0SS | statement | open | Wikipedia List of theorems#W3FT |
| Artin–Zorn theorem | 15PN60TVB5 | statement | open | Wikipedia List of theorems#PRAG |
| Artin–Zorn theorem | 5VG2CR32HX | statement | open | mathlib_1000 Q2558669, Wikidata Q2558669, thousand_plus Q2558669, Wikipedia Artin–Zorn theorem |
| Artin–Zorn theorem | 9DNQ951GQ7 | statement | open | Wikipedia List of things named after Emil Artin#YZ3V |
| Arto Salomaa | 2P483SGWMH | topic | open | Wikipedia Arto Salomaa, Wikidata Q578300 |
| Arto Salomaa | 7HGB8115Y0 | topic | open | Wikipedia List of people by Erdős number#QEH9 |
| Artstein's theorem | BHRX0ZEXMA | statement | open | Wikipedia List of theorems#5FAP |
| Artstein's theorem | KP6NCH4EJY | statement | open | mathlib_1000 Q4801563, Wikidata Q4801563, thousand_plus Q4801563, Wikipedia Artstein's theorem |
| Artur Avila | 8QBYN5419T | topic | open | Wikipedia Artur Avila, Wikidata Q715043 |
| Artur Avila | CAXV8R56P3 | topic | open | Wikipedia List of people by Erdős number#RNPS, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VL1L |
| Artur d'Avila Garcez | VFGV9BD3AG | unknown | open | Wikipedia List of people by Erdős number#S9VR |
| Artur Oscar Lopes | 3Z45YDGYVE | topic | open | Wikipedia Artur Oscar Lopes, Wikidata Q19969087 |
| Arturo Reghini | P3XJ281YPA | topic | open | Wikipedia List of Italian mathematicians#OJIP |
| Arturo Reghini | YSKGNGWWH0 | topic | open | Wikipedia Arturo Reghini, Wikidata Q3624582 |
| Arul Shankar | R046G5WDKE | topic | open | Wikipedia Arul Shankar, Wikidata Q55604274 |
| Arun Ram | FXTDG7KF8N | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q57295074, nLab Arun Ram |
| Arunas Rudvalis | BZ59FHY127 | unknown | open | Wikipedia List of people by Erdős number#EQKP |
| Aruoba-Diebold-Scotti Index | 6MT3SS6WP7 | definition | open | Wikipedia Aruoba-Diebold-Scotti Index, Wikidata Q109637936 |
| Arup Bose | 42YCNPR2GR | topic | open | Wikipedia Arup Bose, Wikidata Q16193018 |
| Arup Bose | 633JJJACNQ | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#N1OW |
| ARV17X83KQ | ARV17X83KQ | 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.40017#EW2F |
| ARV7JA9457 | ARV7JA9457 | statement | open | hott_book homotopy.tex#thm-2 |
| Arvid Gerhard Damm | 2SHEZA58ME | topic | open | Wikipedia Arvid Gerhard Damm, Wikidata Q360338 |
| Arvind Rajaraman | HNZD3ANCDV | unknown | open | Wikipedia List of string theory topics#DC8J |
| Arvind Rajaraman | J3C4SNR8RA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q4802501, nLab Arvind Rajaraman |
| ARVNEZKKR2 | ARVNEZKKR2 | exercise | open | lebl_ra ch-approximate.tex#exercise-28 |
| ARVS1KC5FM | ARVS1KC5FM | 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.08873#IZJ6 |
| ARVWZPFHT8 | ARVWZPFHT8 | 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 2208.07401#6STX |
| ARW3PWX6XK | ARW3PWX6XK | 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.13877#NABE |
| ARWG4B31N6 | ARWG4B31N6 | 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 2610.09596#1YB2 |
| ARWKCNJEJ3 | ARWKCNJEJ3 | 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.30018#O017 |
| ARX cipher | S2XQM0GDVB | unknown | open | Wikipedia Block cipher#66FN |
| ARX7YN42NB | ARX7YN42NB | 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.21668#PUAO |
| ARXB3G22BW | ARXB3G22BW | 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.38548#1WI8 |
| ARXE63HADN | ARXE63HADN | 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.30049#TYXP |
| ARXNGZXHXX | ARXNGZXHXX | 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 1912.02769#D8GD |
| ARXYD37PFW | ARXYD37PFW | 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.23202#E0O0 |
| ARXZGC505S | ARXZGC505S | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-2 |
| ARY86ZNTMP | ARY86ZNTMP | 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.21972#817Y |
| Aryabhata | 52XJBBXNCY | topic | open | Wikipedia List of Indian mathematicians#VJZL |
| Aryabhata | 8ADEGRRPT9 | topic | open | Wikipedia List of publications in mathematics#12BE, Wikipedia List of publications in mathematics#VATM |
| Aryabhata | FZKE9SSB3Z | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q11359, ProofWiki Mathematician:Aryabhata_the_Elder, Wikipedia Aryabhata |
| Aryabhata II | GJBWDV326J | unknown | open | Wikipedia List of Indian mathematicians#K4N7 |
| Aryeh Dvoretzky | 67BV05BGDQ | topic | open | Wikipedia List of people by Erdős number#WNAR, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F2U6 |
| Aryeh Dvoretzky | KSQCVEXVFC | topic | open | Wikipedia List of Jewish mathematicians#S9CG |
| Aryeh Dvoretzky | QMTGGJ80ES | topic | open | Wikipedia Aryeh Dvoretzky, Wikidata Q718008 |
| Aryness Joy Wickens | 6VK4YT880Z | topic | open | Wikipedia List of fellows of the American Statistical Association#HGCZ |
| Aryness Joy Wickens | GWK772EZ0A | topic | open | Wikipedia Aryness Joy Wickens, Wikidata Q25930002 |
| ARYZQ9X6X4 | ARYZQ9X6X4 | 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 2108.03672#LUYH |
| ARZ0B7YC8Z | ARZ0B7YC8Z | 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.36313#418S |
| ARZ2YTDYMV | ARZ2YTDYMV | 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.13214#48FK |
| Arzel\`a--Ascoli | VSAVZTPP9K | statement | open | lebl_ra ch-approximate.tex#thm:arzelaascoli |
| Arzel\`a--Ascoli theorem | AYHE8PHM3T | concept | open | lebl_ra index/1.6/arzel-a-ascoli-theorem |
| Arzelà–Ascoli theorem | BBSVJ2B662 | statement | node (a node has the same name as the row) | mathlib_1000 Q1477053, Mathlib BoundedContinuousFunction.arzela_ascoli, Wikidata Q1477053, mathlib_overview Topology > Metric spaces > Arzela-Ascoli theorem, mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > Arzela-Ascoli theorem, thousand_plus Q1477053, Wikipedia Arzelà–Ascoli theorem |
| Arzelà–Ascoli theorem | FY6D0KPYP0 | statement | open | Wikipedia List of theorems#NSWB |
| ARZGR8FW1G | ARZGR8FW1G | 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.32058#VKBK |
| As a Hodge Conjecture testbed | JTA0A36Z19 | statement | open | Wikipedia Quintic threefold#J3C5 |
| As a measure of economic inequality | RWA91Y1D15 | statement | open | Wikipedia Coefficient of variation#X661 |
| As a theorem of arithmetic | 4RYGJ2AGPV | statement | open | Wikipedia Gödel's completeness theorem#E56F |
| As an axiom | XHHEHMW7N1 | statement | open | Wikipedia Pythagorean theorem#LQYK |
| As an axiom of probability | A99GK67G4E | statement | open | Wikipedia Conditional probability#IFXJ |
| As I was going to St Ives | X1YHJYHHJT | definition | open | Wikidata Q719944, MathWorld StIvesProblem, ProofWiki St._Ives_Problem, Wikipedia As I was going to St Ives |
| As new axioms | 8J2Y9Y471V | statement | open | Wikipedia Reflection principle#L4AT |
| As precursors to Lindström's theorem | 2GP2MTVHZK | statement | open | Wikipedia Lindström quantifier#M536 |
| As three laws | FP2QRHAPZ6 | statement | open | Wikipedia Kepler's laws of planetary motion#OZ1D |
| AS06MCSMHE | AS06MCSMHE | 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.19309#MWKY |
| AS08A9Y8CH | AS08A9Y8CH | 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.21934#EMAL |
| AS0DT0X14D | AS0DT0X14D | 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.10469#HZRW |
| AS0R0E6KK7 | AS0R0E6KK7 | 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.16055#9NPS |
| AS18XEF1BB | AS18XEF1BB | 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.14450#VW00 |
| AS1KGQRX96 | AS1KGQRX96 | 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.39254#AOXK |
| AS1WHG57JC | AS1WHG57JC | 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.38068#YVIF |
| AS201N02KF | AS201N02KF | 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.03337#CPTQ |
| AS21T3ZJBF | AS21T3ZJBF | 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.24041#QOXC |
| AS21V6R7QA | AS21V6R7QA | 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 2610.15217#PAES |
| AS2D9QAEFS | AS2D9QAEFS | 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.09154#VLAJ |
| AS2F11JJ6T | AS2F11JJ6T | 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 1009.2047#0Q9S |
| AS2N1M3TKX | AS2N1M3TKX | 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.15344#1OW8 |
| AS2T170C2W | AS2T170C2W | 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.21098#DEV2 |
| AS3KA8FB3F | AS3KA8FB3F | 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.16554#3NXG |
| AS4N356M35 | AS4N356M35 | 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.01694#DX6G |
| AS4RYQVBKP | AS4RYQVBKP | 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.33584#P1VM |
| AS52SSMWQ7 | AS52SSMWQ7 | 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 1009.2043#CUQP |
| AS537RQHRF | AS537RQHRF | 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.29824#ZQCC |
| AS53A5TT5M | AS53A5TT5M | 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.02912#E0ES |
| AS5666JQCX | AS5666JQCX | 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.19437#VN7A |
| AS5VBD0P3F | AS5VBD0P3F | 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.28011#FGHO |
| AS6GM9YDKM | AS6GM9YDKM | 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 2405.10747#OO9L |
| AS6R75TVCM | AS6R75TVCM | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-15 |
| AS6YZ7D86N | AS6YZ7D86N | 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.02495#6H2G |
| AS77DHKS83 | AS77DHKS83 | exercise | open | napkin tex/H113/action.tex#problem-1 |
| AS7JRF987B | AS7JRF987B | 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 2304.07398#GBPK |
| AS865PTDW2 | AS865PTDW2 | definition | open | napkin tex/alg-NT/norm-trace.tex#definition-3 |
| AS96C3RP0S | AS96C3RP0S | 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 1701.00517#1XZG |
| AS9JN9S9X4 | AS9JN9S9X4 | 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.05850#FDTL |
| AS9TN78YNW | AS9TN78YNW | 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.28597#FUU6 |
| ASA31N8NBA | ASA31N8NBA | 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.15460#Q7XO |
| Asad Ali Abidi | FVXJS4AETC | unknown | open | Wikipedia List of University of California, Los Angeles people#NS1P |