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 2601–2700 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| AH19D0M6MY | AH19D0M6MY | 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.35383#A4TH |
| AH1FQK4CDT | AH1FQK4CDT | 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.08633#HSSF |
| AH1PF36VGT | AH1PF36VGT | 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.22040#K0TK |
| AH1RFNCCJ5 | AH1RFNCCJ5 | 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.33300#EMTR |
| AH1S5XFZC4 | AH1S5XFZC4 | 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.10930#8Y9M |
| AH1YF5CSYA | AH1YF5CSYA | 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 2210.02261#O4UP |
| AH28PVQXFX | AH28PVQXFX | 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.12912#ECJR |
| AH28W16BC6 | AH28W16BC6 | 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.11902#05U1 |
| AH2NJ4YG0C | AH2NJ4YG0C | 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.02689#TLE5 |
| AH2P26JF03 | AH2P26JF03 | 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.10559#5ZY9 |
| AH3AM29DAD | AH3AM29DAD | unknown | open | arXiv 2005.03073#RZ7D |
| AH3X2V59CE | AH3X2V59CE | proof | open | hott_book equivalences.tex#proof-25 |
| AH3ZTJ63BA | AH3ZTJ63BA | 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 2207.12181#7WP0 |
| AH4VH4AP23 | AH4VH4AP23 | 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.32903#37AD |
| AH5ER8WP99 | AH5ER8WP99 | 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.29699#CAN6 |
| AH5ETQ1PSC | AH5ETQ1PSC | 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.24235#MKXF |
| AH5Y23EX0K | AH5Y23EX0K | 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.12513#N5WR |
| AH66FTHYFJ | AH66FTHYFJ | 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.33238#FN57 |
| AH6E6F4NFB | AH6E6F4NFB | 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.33829#EVXZ |
| AH6YN5121V | AH6YN5121V | 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.35102#LJ90 |
| AH791QCRV4 | AH791QCRV4 | 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.13883#B6X8 |
| AH7JXGFK5N | AH7JXGFK5N | 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 2303.00676#MNS8 |
| AH7X576F6R | AH7X576F6R | 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.15393#FBHQ |
| AH81XD4XV6 | AH81XD4XV6 | 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.11145#PIE3 |
| AH82NQVN7D | AH82NQVN7D | 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 2602.03909#T91I |
| AH8Z48E4B6 | AH8Z48E4B6 | 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.36412#SFYA |
| AH934EH4FB | AH934EH4FB | conjecture | 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.13295#XRZ1 |
| AH951B1Y1N | AH951B1Y1N | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-29 |
| AH9CWNZ923 | AH9CWNZ923 | 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.03327#T3UY |
| AH9FDGBB9X | AH9FDGBB9X | 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 2508.07943#0N60 |
| AH9Z0RP1F6 | AH9Z0RP1F6 | 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.05914#HVVE |
| AHA7RCTA9J | AHA7RCTA9J | 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.15352#1E9O |
| AHA83628Z8 | AHA83628Z8 | 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.39890#DYBT |
| AHASGZY31C | AHASGZY31C | 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#XG24 |
| AHB2N7PD6B | AHB2N7PD6B | 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.18544#0Z40 |
| AHB5SNRMP6 | AHB5SNRMP6 | 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.15416#90L1 |
| AHBNDGMFVQ | AHBNDGMFVQ | 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.26948#4FND |
| AHBR4M12HA | AHBR4M12HA | 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.05259#SJTC |
| AHBW0KYTAB | AHBW0KYTAB | 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.26162#1BH9 |
| AHC71D6G49 | AHC71D6G49 | 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#7EOA |
| AHCS3GX1A4 | AHCS3GX1A4 | 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 2411.17227#G1R9 |
| AHD8NQN7DB | AHD8NQN7DB | 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.21092#EM29 |
| AHE0PD60KJ | AHE0PD60KJ | 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.37893#BDPQ |
| AHFRC2ZATD | AHFRC2ZATD | 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.25409#I3SO |
| AHFXH6NBBB | AHFXH6NBBB | exercise | open | lebl_scv scv.tex#exercise-214 |
| AHG6238SCC | AHG6238SCC | 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 2308.05715#9AOF |
| AHG6Q9ZMNY | AHG6Q9ZMNY | 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.18078#2BHW |
| AHHBREP5MK | AHHBREP5MK | 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.22170#KLJ6 |
| AHHDN9MEY3 | AHHDN9MEY3 | 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.21655#F32K |
| AHHFDMR87M | AHHFDMR87M | 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.14060#465X |
| AHK51BT9KX | AHK51BT9KX | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-21 |
| Ahlfors regularity and singular neighbourhoods | NJ8FQ2QZAH | 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.05064#G0XZ |
| Ahlfors--Beurling | 5VW10M0AE7 | 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.24307#UE7X |
| Ahlswede-Zhang identity | GNGHGRZ1HW | unknown | open | mathlib_overview Combinatorics > Set families > Ahlswede-Zhang identity, Mathlib AhlswedeZhang.infSum_eq_one |
| AHM765YH1A | AHM765YH1A | 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.02275#O874 |
| Ahmed Almheiri | JE1JCAHBED | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q75776525, nLab Ahmed Almheiri |
| AHMEKYMTW3 | AHMEKYMTW3 | 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.01968#DTGC |
| Ahmes | 49HXPN492R | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1073335, ProofWiki Mathematician:Ahmes |
| AHMGZ51PZ7 | AHMGZ51PZ7 | 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.38206#M6JG |
| AHN6AB1QSZ | AHN6AB1QSZ | 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.19861#QOV0 |
| AHNZGRGSGX | AHNZGRGSGX | 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 2109.09268#01MO |
| AHNZWXBQM5 | AHNZWXBQM5 | 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 2312.06473#9CG6 |
| AHPT1P8SN8 | AHPT1P8SN8 | 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 2209.01576#NRY4 |
| AHPWQJFBMZ | AHPWQJFBMZ | 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.19358#UAW9 |
| AHQ4SHG0Y6 | AHQ4SHG0Y6 | 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.29531#L4UU |
| AHQ579XH9J | AHQ579XH9J | 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.32505#Z3K6 |
| AHQ73WTTA0 | AHQ73WTTA0 | 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.30663#H2Q9 |
| AHQEJDSB70 | AHQEJDSB70 | 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.05391#YOWM |
| AHQM1D9ETM | AHQM1D9ETM | 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.36181#FZ5T |
| AHQPBKA54C | AHQPBKA54C | 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.10930#YLPQ |
| AHQQT8YSJX | AHQQT8YSJX | 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 1808.00180#YQAQ |
| AHRPXR5PG0 | AHRPXR5PG0 | 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.09561#36CW |
| AHSQK8NGWE | AHSQK8NGWE | 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.34570#J0VS |
| AHSVA0D1E2 | AHSVA0D1E2 | 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.30354#P4MR |
| AHT2SSWYTC | AHT2SSWYTC | 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.15367#BYN3 |
| AHTBW18536 | AHTBW18536 | 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.16875#ZEEW |
| AHTTXJW0QQ | AHTTXJW0QQ | 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.03559#MO08 |
| AHVARFRFW1 | AHVARFRFW1 | 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.26452#8QHP |
| AHVBJD63S5 | AHVBJD63S5 | 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.13213#AY6A |
| AHW3118HPE | AHW3118HPE | 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.08357#SRC4 |
| AHW3A3WHE2 | AHW3A3WHE2 | 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.11047#QDV4 |
| AHXXBYXQQE | AHXXBYXQQE | 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.12689#89KE |
| AHY0ANAQZB | AHY0ANAQZB | 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.37967#P1QI |
| AHY2P3V8GC | AHY2P3V8GC | 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.27301#R2RU |
| AHY4SEDN8T | AHY4SEDN8T | 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 2505.05539#KM3K |
| AHYR6MN4ZR | AHYR6MN4ZR | 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 2211.14214#MVRH |
| AHZM2Q2VVQ | AHZM2Q2VVQ | exercise | open | napkin tex/alg-NT/ramification.tex#exercise-1 |
| air | C82P1PBXGT | definition | open | Wikidata Q2637489, ProofWiki Definition:Philosophical_Element/Air |
| air | D71CPCH0ES | definition | open | Wikidata Q7391292, ProofWiki Definition:Air |
| Airy disk | 32MA5J94VW | unknown | open | Wikidata Q851016, MathWorld BesselFunctionZeros |
| Airy function | RX9643037Y | topic | open | Wikidata Q409415, EoM Airy_functions, MathWorld AiryFunctions, nLab Airy function, ProofWiki Definition:Airy_Function |
| Airy function Ai | 3618RJ02NT | unknown | open | Wikidata Q109729241, MathWorld AiryAi |
| Airy function Bi | 7YDR64Y4BV | unknown | open | Wikidata Q109729257, MathWorld AiryBi |
| Airy function zeros | RS3XN4VNEW | unknown | open | Wikidata Q122897633, MathWorld AiryFunctionZeros |
| Airy zeta function | V2PRWREH20 | unknown | open | Wikidata Q4699088, MathWorld AiryZetaFunction |
| Aise Johan de Jong | AJHE720DWK | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q371475, nLab Aise Johan de Jong |
| Aitken interpolation | 80DDK5DB4G | concept | open | Wikidata Q60766767, MathWorld AitkenInterpolation |
| AJ0JQ9H78P | AJ0JQ9H78P | example | open | hott_book categories.tex#ct:hocat |
| AJ0T8EZ3Y3 | AJ0T8EZ3Y3 | 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 2207.11097#Q0QJ |
| AJ0W4QK8AW | AJ0W4QK8AW | 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.04317#NK0G |