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 2801–2900 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| AK7V6X5ESW | AK7V6X5ESW | 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#8FG7 |
| AK7WQFQWBG | AK7WQFQWBG | 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 2104.12015#FARU |
| AK7X24BS95 | AK7X24BS95 | 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.32614#MNKG |
| AK849Y03EP | AK849Y03EP | 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.14979#D052 |
| AK8DHZ70WK | AK8DHZ70WK | 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.07679#KYJ7 |
| AK8H7CV15W | AK8H7CV15W | 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.18335#8URF |
| AK8PKCZ4V6 | AK8PKCZ4V6 | example | open | lebl_ra ch-seq-funcs.tex#example-11 |
| AK9XMFJV4A | AK9XMFJV4A | 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.31907#VWAQ |
| AKAFEA25J2 | AKAFEA25J2 | 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 0810.0962#WTOM |
| AKAMMJ78KS | AKAMMJ78KS | 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.26154#3KJ5 |
| AKB5WKCRF4 | AKB5WKCRF4 | 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 2212.06621#74E4 |
| Akbas--Sra interpolation estimate | 389SGQ2217 | 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#OTZ5 |
| Akbas--Sra matrix small ball | S39W2SWPZH | 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#GJR4 |
| AKBKHA0GEQ | AKBKHA0GEQ | example | open | lebl_diffyqs ch-higher-order-ode.tex#example-6 |
| AKBR361B1G | AKBR361B1G | 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.34289#DA7S |
| AKC6Z98KYK | AKC6Z98KYK | 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.15720#F0QK |
| AKCBB0HFFG | AKCBB0HFFG | 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 2607.00323#Z4UL |
| AKD0TXM60Y | AKD0TXM60Y | 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.17589#NIJP |
| AKE0R4XBSF | AKE0R4XBSF | 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.37761#1HW6 |
| AKE2SF3AG8 | AKE2SF3AG8 | 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.21507#BAJY |
| AKE8S2FSWG | AKE8S2FSWG | 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.33941#IKPA |
| AKEB3SJKV4 | AKEB3SJKV4 | 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 2509.10268#NHL1 |
| AKEBSZS235 | AKEBSZS235 | 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.16779#7RUX |
| AKEZ2GWM2S | AKEZ2GWM2S | 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.37103#5L7Y |
| AKF7CEQ6KJ | AKF7CEQ6KJ | 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.16003#N039 |
| AKGBTTYWWC | AKGBTTYWWC | 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.22326#W6FD |
| AKGH6FNP0B | AKGH6FNP0B | 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 2303.09207#7GB2 |
| AKGN063BSS | AKGN063BSS | 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.31327#JGZO |
| AKH2CGECH1 | AKH2CGECH1 | 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.03264#L73A |
| AKH2E5VY8E | AKH2E5VY8E | 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.28518#KT0K |
| AKH3TNB3JB | AKH3TNB3JB | 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.27788#FKLG |
| AKHCHA6KNK | AKHCHA6KNK | 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.36089#EAJF |
| AKHHCGSZTP | AKHHCGSZTP | 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.25409#U4DN |
| Akhiezer's theorem | J2VH7AR9W6 | statement | open | mathlib_1000 Q4700718, Wikidata Q4700718, thousand_plus Q4700718, Wikipedia Akhiezer's theorem |
| Akhil Mathew | KAGH5RABV5 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q56884381, nLab Akhil Mathew |
| AKHKB6FFHQ | AKHKB6FFHQ | 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#RPI1 |
| Akhmim wooden tablets | QJ5T4FW5H3 | concept | open | Wikidata Q4700777, MathWorld AkhmimWoodenTablet |
| AKHRE1EYPT | AKHRE1EYPT | 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 2205.09049#LF2K |
| Akiva Yaglom | 2D1KM3ZWMA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q419464, ProofWiki Mathematician:Akiva_Moiseyevich_Yaglom |
| AKJ9Y5784B | AKJ9Y5784B | 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#15H7 |
| AKKS1X8YWK | AKKS1X8YWK | 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.06152#27KK |
| AKKT success condition | D5B0NZZP1A | 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.07379#MJR2 |
| AKKXFHE36V | AKKXFHE36V | unknown | open | |
| AKKY8GGR5H | AKKY8GGR5H | 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 2401.07983#TMTT |
| AKM5RQWBTA | AKM5RQWBTA | proof | open | open_logic content/first-order-logic/axiomatic-deduction/soundness.tex#proof-2 |
| AKMGP6P0QH | AKMGP6P0QH | 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.11056#Y57R |
| AKMYAZYDZP | AKMYAZYDZP | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-72 |
| AKN65Q4V5T | AKN65Q4V5T | 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.04876#GRD4 |
| AKN6D962S4 | AKN6D962S4 | 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.21544#Z62N |
| AKNBTNZDYG | AKNBTNZDYG | 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.06152#E518 |
| AKNH84X426 | AKNH84X426 | example | open | napkin tex/measure/lebesgue-int.tex#example-3 |
| AKNT6Z8ME9 | AKNT6Z8ME9 | proof | open | open_logic content/proof-theory/natural-deduction/grafting.tex#proof-1 |
| AKNZHKCQH7 | AKNZHKCQH7 | 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.03628#W840 |
| AKP6Q7Z742 | AKP6Q7Z742 | 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.28780#D3CP |
| AKP79Q7X9Z | AKP79Q7X9Z | 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.07812#K5EN |
| AKP9YMP1G3 | AKP9YMP1G3 | 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.10804#Q9AE |
| AKPMKESC4W | AKPMKESC4W | 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 2205.09049#LZND |
| AKPSJZEEPR | AKPSJZEEPR | 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.37920#1P48 |
| AKQSJKK4XK | AKQSJKK4XK | 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 1503.05744#H3KF |
| AKR5N1B5B6 | AKR5N1B5B6 | 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.10474#A13Y |
| Akra–Bazzi theorem | GDFVSGM1M3 | statement | open | mathlib_1000 Q420714, Mathlib AkraBazziRecurrence.isBigO_asympBound, Wikidata Q420714, thousand_plus Q420714, Wikipedia Akra–Bazzi theorem |
| AKRFY44CQN | AKRFY44CQN | 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.16605#PU2S |
| AKRTKMA0V8 | AKRTKMA0V8 | 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.03081#XAJK |
| AKS primality test | RNQT5YPEVQ | unknown | open | Wikidata Q294284, MathWorld AKSPrimalityTest |
| AKSEWQ0GS5 | AKSEWQ0GS5 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q726687, nLab Jacques Roubaud |
| AKSXETMSHE | AKSXETMSHE | 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.35467#C6FR |
| AKSZ sigma model | E9CRA3AT4Y | unknown | open | Wikidata Q55098081, nLab AKSZ sigma-model |
| AKT4KAXKSE | AKT4KAXKSE | 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.33590#BJ9P |
| AKTP58BBB5 | AKTP58BBB5 | 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.02901#4BOP |
| AKTVJQFVTZ | AKTVJQFVTZ | 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.05179#RNX5 |
| AKV1G9G9CN | AKV1G9G9CN | 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.33313#L8GH |
| AKVBRK33J5 | AKVBRK33J5 | exercise | open | austin_ula src/exercises/exercises5-1.xml#exercise-eigenvector-approx |
| AKVQKDPZ9S | AKVQKDPZ9S | 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.19954#4R6J |
| AKVZKB43Z7 | AKVZKB43Z7 | counterexample | 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.33469#VPO9 |
| AKWMCG516D | AKWMCG516D | 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.14838#NSLN |
| AKWQ305BQZ | AKWQ305BQZ | 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.05953#NS5R |
| AKWYY2GV23 | AKWYY2GV23 | 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 math/0406514#C0UG |
| AKXJRQAGTB | AKXJRQAGTB | 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 2503.01567#MLLP |
| AKY7SZM1KJ | AKY7SZM1KJ | 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.12489#DY04 |
| AKYDNNRCQ3 | AKYDNNRCQ3 | 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.02993#WWL6 |
| AKYJ2YFM4E | AKYJ2YFM4E | 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.26762#B0FE |
| Akyol--Degtyarev, 2016 | QFCJ5G7EAE | 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.16408#5A53 |
| Akyol--Degtyarev, 2016 | TP9R1QKA8H | 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.16408#ZGTY |
| AKZVE5PBMX | AKZVE5PBMX | 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.17411#REGB |
| Al'brekht's method | 54G3W6M13Z | 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.15942#5029 |
| Al-Biruni | 7S2BZRTFVR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q11826, ProofWiki Mathematician:Abu_Rayhan_Muhammad_ibn_Ahmad_Al-Biruni |
| Al-Jabr | 40MZ9KPSG4 | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q8369, ProofWiki Book:Muhammad_ibn_Musa_al-Khwarizmi/Al-Kitāb_al-muḫtaṣar_fī_ḥisāb_al-ğabr_wa-l-muqābala |
| Al-Karaji | QNWEJDTGE2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q461062, ProofWiki Mathematician:Abu_Bakr_al-Karaji |
| Al-Kindi | HB6FQ0E6NV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q179759, ProofWiki Mathematician:Al-Kindi |
| Alaghmandan | 629S8AW7DK | 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.35740#VZJX |
| Alain Connes | PF1JC3XFXG | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q313590, nLab Alain Connes, ProofWiki Mathematician:Alain_Connes |
| Alan Carey | TXQ4A73AP3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q67065443, nLab Alan Carey |
| Alan Guth | 4MH8SNM6AE | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q323316, nLab Alan Guth |
| Alan Weinstein | ZBD9DADART | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q381300, nLab Alan Weinstein |
| Alastair King | 3NWVP9Y90N | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102282365, nLab Alastair King |
| Alastair Neil Craw | 4XRMPTB20Q | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102256672, nLab Alastair Craw |
| Albanese variety | 9YRDAK0FB6 | concept | open | Wikidata Q4709029, EoM Albanese_variety, MathWorld AlbaneseVariety, nLab Albanese variety |
| Albert algebra | GEYKD9K574 | concept | open | Wikidata Q12204658, nLab Albert algebra |
| Albert Burroni | 3AXP01SMZR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102293456, nLab Albert Burroni |
| Albert Einstein | SG719H9D36 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q937, nLab Albert Einstein |