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 5001–5100 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| AV9YW9NTV3 | AV9YW9NTV3 | 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.16388#L79N |
| AVA2Y3H0PB | AVA2Y3H0PB | 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.14236#C5NM |
| AVA45XKHR9 | AVA45XKHR9 | 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.35102#6K4O |
| AVA91Q3S6G | AVA91Q3S6G | exercise | open | napkin tex/set-theory/cardinal.tex#ques-1 |
| AVBCVPWC5K | AVBCVPWC5K | 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.33771#S9KH |
| AVC8ZXNEX1 | AVC8ZXNEX1 | 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.10505#XKGT |
| AVCFEQZ6EP | AVCFEQZ6EP | 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.19260#HLTS |
| AVCTDG0Y5D | AVCTDG0Y5D | exercise | open | open_logic content/intuitionistic-logic/semantics/relational-models.tex#prob-1 |
| AVCVJ3HXCY | AVCVJ3HXCY | 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.09882#T1CA |
| AVD8RQT4TS | AVD8RQT4TS | proof | open | napkin tex/rep-theory/applications.tex#proof-2 |
| AVEFQPF12Y | AVEFQPF12Y | 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#N8JU |
| AVEH5JG8QG | AVEH5JG8QG | 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.37589#O144 |
| average absolute deviation | XVJ4CM4H9A | unknown | open | Wikidata Q1067186, MathWorld AbsoluteDeviation |
| Average Area Asymptotics in $n$ | SS0TH4DK7R | 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.07671#OG2F |
| Average Area Asymptotics in $s$ | PT46J5B118 | 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.07671#I73L |
| Average CA distance | XPER4P41HH | 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.13773#UYE1 |
| Average coverage, uniformly in the order | R1D7QB5DV5 | 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.26133#HHUO |
| Average normalization transfer | SG6A63K4J8 | 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.11309#GFHW |
| Average penalty residual | 987NKSCEA9 | 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.34099#LFQE |
| Average rank profile | N4J1VJAPDY | 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.06739#H5BH |
| average rate of change | MRVK9Z1WVF | unknown | open | Wikidata Q137924238, MathWorld AverageRateofChange |
| average rate of change | Y7TNFEBS95 | concept | open | active_calculus index/1.3.1/average-rate-of-change |
| Average root-traversal complexity | JPPS8ZNT19 | 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.00614#SCFT |
| average score to exact product calibration | 93ZKGZSYVH | 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#KVTO |
| Average sieve error | PB3ZVV8FWS | 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.30207#8ODU |
| average value | C2WY5JE7N5 | concept | open | active_calculus index/4.3.4/average-value |
| average value of a function | JXFKFZVCBQ | concept | open | active_calculus index/4.3.4/average-value-of-a-function |
| average velocity | 766FQSTXFS | concept | open | active_calculus index/1.1.2/average-velocity |
| average velocity | EPBDC6GWK9 | concept | open | active_calculus index/1.1.4/average-velocity |
| Average-case bounds | 90F6VEAXXS | 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.02407#2H5D |
| Average-case persistence from the second-best gap | 4EVRNGG0MP | 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.08152#ECPG |
| Average-key distortion-freeness can be highly detectable | CYB1JABAE8 | 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.05712#BI5Z |
| Average-radius multiple packing | RZTEZ7PJDE | 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 2211.04407#34F7 |
| Average-rank representation | RGETP3BTAN | 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.06739#WLT3 |
| Averaged layer loss | X8RY3MRM0F | 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.10188#0S6M |
| Averaged non-escape in small-discriminant families | C08RVPQD3H | 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.33027#AZGQ |
| Averaged rates | 2NM658Q0Q8 | 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.38220#C59Z |
| Averaged smoothness | 8EVKN1WPW4 | 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.04944#X2SR |
| Averaged windowed score error | S65Q47K7J4 | 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.04638#5VGO |
| Averaged-environment formula | TCDT49PYN4 | 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.25084#3UWM |
| Averages along linear flows | 4EH71DJ5BH | 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.12434#WMF1 |
| Averages on the cone | ZM4H0ECKHR | 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.12434#R7EA |
| Averaging | BZSNRT85TE | 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.21662#J4UQ |
| Averaging | WR48PFZYMX | 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.02833#4HFU |
| Averaging absorbs the relative noise | F7BZG0245K | 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.12641#M93J |
| Averaging algebraic heights | P037KK91PC | 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.18907#K71X |
| Averaging and shortened density evolution | KDHMQXR971 | 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.24568#6EKZ |
| Averaging identity | NGAK3ES657 | 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.33027#LJ2V |
| Averaging interactions at scales larger than $\e$ | T02FVCM8SH | 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.10935#FHY4 |
| Averaging interchange | PE93B6XPD9 | 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.33027#SWP6 |
| Averaging local affine coefficients gives linear Fisher information | 10FNT28BQA | 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.31544#OO56 |
| Averaging long-range interactions | REQY9N8A4B | 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.10935#LXWC |
| Averaging lower bound | VWHMJD7JSH | 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.33027#5BAS |
| Averaging over primitive vectors | 8XZAEJYR4Z | 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.15265#CJOP |
| Averaging the clocks | 3F73ZXMF9M | 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.02531#0VFM |
| Averaging the two blocks of a split | XX4EC9K85R | 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.15265#ETUJ |
| AVF3VQZ87D | AVF3VQZ87D | proof | open | open_logic content/lambda-calculus/syntax/alpha.tex#proof-1 |
| AVG285TKYM | AVG285TKYM | 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.15847#CBEB |
| AVGAN861PS | AVGAN861PS | 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.25015#0942 |
| AVGF4247Z9 | AVGF4247Z9 | 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.12329#S24B |
| AVGV7JXE52 | AVGV7JXE52 | 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.19296#RCX6 |
| AVGVY5667K | AVGVY5667K | 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.02694#QSAM |
| AVH86PM1PD | AVH86PM1PD | 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.35543#2DE8 |
| AVHD9AAGE5 | AVHD9AAGE5 | 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.03420#96I0 |
| AVHN7GWNP0 | AVHN7GWNP0 | definition | open | austin_ula src/section6-3.xml#definition-3 |
| AVHV2R9E0Q | AVHV2R9E0Q | 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#SOYC |
| AVHW4HS9PG | AVHW4HS9PG | proof | open | napkin tex/measure/caratheodory.tex#proof-1 |
| AVJHB7BTDM | AVJHB7BTDM | 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.17139#FHFY |
| AVK569Q07K | AVK569Q07K | 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.03050#LXBD |
| AVK66J46WZ | AVK66J46WZ | 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#Q9XQ |
| AVMXRQS4AR | AVMXRQS4AR | 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.05327#X95Q |
| AVN20V0512 | AVN20V0512 | exercise | open | austin_ula src/exercises/exercises2-5.xml#exercise-4 |
| AVN3HH7QVK | AVN3HH7QVK | 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.09949#A4K0 |
| Avner Friedman | SYN6GN6WF2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q4231796, ProofWiki Mathematician:Avner_Friedman |
| AVNGNPRKP4 | AVNGNPRKP4 | 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.39782#HPWK |
| Avogadro constant | CV2M4X8HN4 | unknown | open | Wikidata Q6203, nLab Avogadro constant |
| Avogadro number | M4DRH979C6 | definition | open | Wikidata Q69189081, ProofWiki Definition:Avogadro's_Number |
| Avoidance estimate | E8WR56M1GG | 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.05204#Y4C8 |
| Avoiding a countable set | GV2ASBBWNV | 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#TC3U |
| avoirdupois | VNT730Q08K | definition | open | Wikidata Q791259, ProofWiki Definition:Avoirdupois |
| AVP2QQSJ5D | AVP2QQSJ5D | 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.15744#DMT9 |
| AVPCGTCPVR | AVPCGTCPVR | exercise | open | open_logic content/turing-machines/machines-computations/combining-machines.tex#prob-1 |
| AVPZ1ZK5ZS | AVPZ1ZK5ZS | 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#U8CY |
| AVQ42XKD09 | AVQ42XKD09 | 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.19285#85P0 |
| AVQ6H88CZP | AVQ6H88CZP | 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.04730#4U88 |
| AVR4T845WS | AVR4T845WS | 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.10873#S6PE |
| AVRDHWFBEF | AVRDHWFBEF | 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.19023#QOF5 |
| AVRK5K0BDB | AVRK5K0BDB | 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 1002.0879#TXBP |
| AVT0YMW5QY | AVT0YMW5QY | 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.13241#E9IA |
| AVTNHMJVZH | AVTNHMJVZH | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-7 |
| AVV8ZJMVKP | AVV8ZJMVKP | 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.37698#8TCU |
| AVVAR1JM05 | AVVAR1JM05 | 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 2506.21337#WK65 |
| AVW60F3VHZ | AVW60F3VHZ | 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.26382#X4XM |
| AVW827F83S | AVW827F83S | 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#XSJL |
| AVWAE3C2Q6 | AVWAE3C2Q6 | 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.35030#KOE6 |
| AVWEB56K0G | AVWEB56K0G | 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.37112#UC12 |
| AVWJM757RM | AVWJM757RM | exercise | open | open_logic content/normal-modal-logic/frame-definability/definability.tex#prob-2 |
| AVWQX952TW | AVWQX952TW | 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.21622#ITQI |
| AVXA7CBXX4 | AVXA7CBXX4 | proof | open | napkin tex/complex-ana/meromorphic.tex#proof-1 |
| AVXHKEFDNT | AVXHKEFDNT | 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.18618#FOL0 |