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 32206
- A 14857
- B 8801
- C 16259
- D 14084
- E 15274
- F 9799
- G 9669
- H 8314
- I 4337
- J 6160
- K 5827
- L 6705
- M 10900
- N 7100
- O 2466
- P 14238
- Q 4470
- R 10127
- S 16439
- T 12384
- U 2235
- V 5332
- W 5967
- X 3314
- Y 3712
- Z 3939
Rows 14801–14857 of 14857.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| AZMQJDXGN5 | AZMQJDXGN5 | 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 1008.4254#T9DJ |
| AZN71PV8Z5 | AZN71PV8Z5 | 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.06724#J24J |
| AZNGTCZAXD | AZNGTCZAXD | 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.31269#1SFU |
| AZPEQXPGCH | AZPEQXPGCH | 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.20599#7VK2 |
| AZPPZTS1D3 | AZPPZTS1D3 | 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.31604#JUN0 |
| AZPQQB9QTH | AZPQQB9QTH | 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.22161#K3FK |
| AZPS5CMC7E | AZPS5CMC7E | 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.18795#U846 |
| AZPW9MQYCS | AZPW9MQYCS | 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.14189#OWX9 |
| AZQ3HP7D23 | AZQ3HP7D23 | statement | open | austin_ula src/section6-2.xml#prop-transpose-multiplication |
| AZQAAV6PMT | AZQAAV6PMT | 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.06466#K0LQ |
| AZQJNMM4PK | AZQJNMM4PK | 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.11545#CP70 |
| AZR0WQCMGZ | AZR0WQCMGZ | 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.17817#DLE8 |
| Azriel Lévy | 8H36R1085F | topic | open | Wikipedia List of Jewish mathematicians#7DXH |
| Azriel Lévy | G9RJF4F3EM | topic | open | Wikipedia List of people by Erdős number#WKSQ |
| Azriel Lévy | GSDRNSC6YN | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q450427, ProofWiki Mathematician:Azriel_Lévy, Wikipedia Azriel Lévy |
| Azriel Rosenfeld | ATB7882E6Z | unknown | open | Wikipedia List of people by Erdős number#ZXN9 |
| AZS0FP5WSD | AZS0FP5WSD | exercise | open | levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-6 |
| AZS1SBR1BK | AZS1SBR1BK | 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.40023#PPP1 |
| AZS6DVD3F4 | AZS6DVD3F4 | definition | open | open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#defn-1 |
| AZSSSKHW3P | AZSSSKHW3P | exercise | open | austin_ula src/section6-1.xml#activity-4 |
| AZT82MGY4H | AZT82MGY4H | 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.26479#7SMO |
| AZTAYQY7ZQ | AZTAYQY7ZQ | 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.14893#2SOU |
| Aztec diamond | PJZDQDSHR4 | statement | open | mathlib_1000 Q4832965, Wikidata Q4832965, thousand_plus Q4832965, Wikipedia Aztec diamond theorem, MathWorld AztecDiamond, Wikipedia Aztec diamond |
| Aztec diamond theorem | J5JQBPVVE0 | object | open | Wikipedia List of theorems#JC6P |
| Azuma's inequality | 3YATV37K83 | statement | open | Wikipedia Azuma's inequality, Wikidata Q2410467 |
| Azuma's inequality | T1MQ7A2GF0 | statement | open | Wikipedia List of statistics articles#D9VW, Wikipedia List of inequalities#JYOK |
| Azuma-Hoeffding inequality | EMD8HG1T4Q | 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.03517#NQGJ |
| Azumaya | 515QETJBAT | definition | open | Wikipedia Glossary of ring theory#WNXW |
| Azumaya | X2FEJXWBJC | definition | open | Wikipedia Glossary of module theory#B3ZM |
| Azumaya algebra | 5R5CZ0M66E | definition | open | Wikipedia List of algebras#I3O2 |
| Azumaya algebra | D5YHX92FNH | definition | open | Wikidata Q2835923, nLab Azumaya algebra, Wikipedia Azumaya algebra |
| Azumaya's theorem | X8G24A4KN2 | statement | open | Wikipedia Decomposition of a module#L5QV |
| Azuma–Hoeffding inequality | 6Z86XNNP8Y | 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.08210#5PB7 |
| AZV4VW3AP2 | AZV4VW3AP2 | 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.28189#VYYJ |
| AZVD1JQEQ9 | AZVD1JQEQ9 | exercise | open | napkin tex/alg-geom/bezout.tex#ques:hilbert_always_one |
| AZVJ4G5SSP | AZVJ4G5SSP | 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.08776#Y36J |
| AZVQ9WN64R | AZVQ9WN64R | 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.15877#7KIA |
| AZVS6QE60R | AZVS6QE60R | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-33 |
| AZVT1WDZVE | AZVT1WDZVE | 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.38267#CQYS |
| AZWMT7C0K5 | AZWMT7C0K5 | 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.25761#JFFG |
| AZWT6G2ZYY | AZWT6G2ZYY | 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.39642#BQXR |
| AZWXDRTBSJ | AZWXDRTBSJ | 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.17408#NO3E |
| AZX4KZG2H2 | AZX4KZG2H2 | statement | open | open_logic content/proof-theory/cut-elimination/ce-largest.tex#thm:cut-elim-G3c-largest |
| AZXS7CQYAY | AZXS7CQYAY | 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.10243#2V9Y |
| AZY9Y23YG3 | AZY9Y23YG3 | exercise | open | levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-4 |
| AZYBF8W0TH | AZYBF8W0TH | 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.37606#BEIT |
| azygetic | 8JP331555E | definition | open | Wikipedia Glossary of classical algebraic geometry#U518 |
| AZYHASYKNQ | AZYHASYKNQ | 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.13385#BRSA |
| AZYJHC2BD6 | AZYJHC2BD6 | proof | open | applied_combinatorics source/s_background_mult.ptx#proof-3 |
| AZYT3V7MTY | AZYT3V7MTY | 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.13100#EQSD |
| AZYY75NP8E | AZYY75NP8E | 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.00914#BYN7 |
| AZZ9XSZC22 | AZZ9XSZC22 | 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.17957#R386 |
| AZZV4GC6X2 | AZZV4GC6X2 | 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.01411#W1UL |
| A¹ homotopy theory | FWQKCG0XGY | definition | open | Wikipedia List of algebraic geometry topics#JDU4 |
| A¹ homotopy theory | V6Z5NRPJPG | definition | open | Wikidata Q4833212, nLab motivic homotopy theory, Wikipedia A¹ homotopy theory |
| Ağrı Subregion | 3E92YH3TSQ | definition | open | Wikipedia Ağrı Subregion, Wikidata Q19839584 |
| A∞-operad | BNXTTXXSR9 | definition | open | Wikipedia A∞-operad, Wikidata Q4833569 |