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 3601–3700 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| ANAXVGR2J7 | ANAXVGR2J7 | 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.15887#RO3H |
| ANB6XT58BY | ANB6XT58BY | 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.12295#0YSO |
| ANB8D4ADB4 | ANB8D4ADB4 | 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 2110.11143#1EMG |
| ANBV64HMJT | ANBV64HMJT | 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.07790#A8M2 |
| ancestor | J4XJRPAANT | concept | open | levin_dmoi index/5.2.2/ancestor |
| Ancestral pumping | 2RHDD81JKQ | 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.34122#AMB5 |
| Anchor | QBB497TZW6 | 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.17329#G17P |
| Anchor families of prescribed codimension | 8676SSZ4SM | 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.15815#AQWZ |
| Anchor family | 3HZYAHFHKH | 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.15815#W21O |
| Anchor map on the full graph | XVFHC7YMFD | 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.01937#P6BU |
| Anchor-radius second moment | 30AVWQ83RQ | 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.15202#J821 |
| Anchored count for long first collisions | XMKTB44EPK | 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.20414#OXXM |
| Anchored morphism | BWW7WJF5PK | 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#J84E |
| Anchored words | HT1Y2A10FN | 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.01240#2FRJ |
| Anchoring barrier | 7E07Q3WHVA | 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.00295#AQ0W |
| Anchoring cost | GW4BFSENXD | 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.00295#Q6YX |
| Ancient Egyptian multiplication | MV4HPWVKM7 | unknown | open | Wikidata Q1346420, MathWorld RussianMultiplication |
| Ancilla-independent logical core reduction | ERSPPGSAYC | 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.02166#WVFM |
| Ancillary parity operators realize the dressed transfer curves | K41713FD6G | 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.00448#BLAD |
| Ancillary section spectrum | SBZGCM79AW | 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.09472#T28S |
| AND gate | PQS824VWZ7 | unknown | open | Wikidata Q560370, MathWorld AND |
| AND9EX7PHM | AND9EX7PHM | 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.17553#CLC6 |
| ANDB17X8H3 | ANDB17X8H3 | example | open | napkin tex/homology/singular.tex#example-2 |
| Anders Kock | Z2B7J37XHC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102150713, nLab Anders Kock |
| Anderson's inequality | YMJF9TA7JF | 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.39455#AO4I |
| Anderson's theorem | HH0F1493QK | statement | open | mathlib_1000 Q4753992, Wikidata Q4753992, thousand_plus Q4753992, Wikipedia Anderson's theorem |
| Andor Lukács | R04XRR40YW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q23908421, nLab Andor Lukacs |
| Andr\'e | H485WDHS4T | 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.02481#GBGB |
| Andre Scedrov | 4VCKZRV2SF | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q57284889, nLab Andre Scedrov |
| Andrea Asperti | 35APQHY56X | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q57066096, nLab Andrea Asperti |
| Andrea Prinsloo | GXD1XP3H2V | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q57899254, nLab Andrea Prinsloo |
| Andreas Blass | EQR5XDSK17 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q4755386, nLab Andreas Blass |
| Andreas Brandhuber | D9Z94WFSS7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q50777114, nLab Andreas Brandhuber |
| Andreas Crivellin | C7SPFJMEQ2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q86586606, nLab Andreas Crivellin |
| Andreas Dress | R0TXE43GNW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q496874, nLab Andreas Dress |
| Andreas Floer | PD6GZ1MSMZ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q77507, nLab Andreas Floer |
| Andreas Karch | X716F6CZT6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q498672, nLab Andreas Karch |
| Andreas von Ettingshausen | 6QZFS205JG | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q86374, ProofWiki Mathematician:Andreas_Freiherr_von_Ettingshausen |
| Andreas Wipf | 1AH1VKES2D | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q56855487, nLab Andreas Wipf |
| Andrei Linde | 2ZZAWV8ECA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q368087, nLab Andrei Linde |
| Andrei Markov | GPM9RCG0EX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2624201, nLab Andrey Markov Jr |
| Andrei Moroianu | Z4DKJD1769 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q59911151, nLab Andrei Moroianu |
| Andrei Okounkov | E7PE9RT5KQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q315425, nLab Andrei Okounkov |
| Andrei Sakharov | RK7987J7X7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q997, nLab Andrei Sakharov |
| Andrei Suslin | EAEHHE13EV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q501707, nLab Andrei Suslin |
| Andrei Zelevinsky | AV1THGWWP0 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q502771, nLab Andrei Zelevinsky |
| Andrej Bauer | YH4REH7Y2N | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q12784531, nLab Andrej Bauer |
| Andreotti–Frankel theorem | EE53XCAGKQ | statement | open | mathlib_1000 Q4756099, Wikidata Q4756099, thousand_plus Q4756099, Wikipedia Andreotti–Frankel theorem |
| Andrew Lenard | K7GPE8PXRW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q30242342, nLab Andrew Lenard |
| Andrew Putman | KH30TS85V8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q52004698, nLab Andrew Putman |
| Andrew Ranicki | 89HZVYE32D | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q506805, nLab Andrew Ranicki |
| Andrew Strominger | W4ES1DRRHK | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q507732, nLab Andrew Strominger |
| Andrew Wiles | HM6B3A6VW2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q184433, nLab Andrew Wiles |
| Andrew Yao | SGZQP0AH93 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q62888, ProofWiki Mathematician:Andrew_Chi-Chih_Yao |
| Andrew's sine | 4PTF6HXD1Q | unknown | open | Wikidata Q122905879, MathWorld AndrewsSine |
| Andrews--Petsche | TCWZTYS6HR | 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 2609.24701#JBM4 |
| Andrey Kolmogorov | Q66B3TEMF6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q153224, nLab Andrey Kolmogorov, ProofWiki Mathematician:Andrey_Nikolaevich_Kolmogorov |
| Andrey Tikhonov | KC82BHN6WA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q372026, nLab Andrey Tikhonov, ProofWiki Mathematician:Andrey_Nikolayevich_Tychonoff |
| Andrey Todorov | 2ZCG2NXTF9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2652642, nLab Andrey Todorov |
| Andrica's conjecture | 5NGZZD02VW | conjecture | open | Wikidata Q1548146, MathWorld AndricasConjecture |
| Andrzej Buras | FM8WH7SV0A | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q24206092, nLab Andrzej Buras |
| Andrásfai graph | YC1EVV74RJ | unknown | open | Wikidata Q768716, MathWorld AndrasfaiGraph |
| André Haefliger | 2QT94VARXX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q118872, nLab André Haefliger |
| André Henriques | EMQXSQZR7N | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q101542461, nLab André Henriques |
| André Hirschowitz | 9105M84H9C | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q22692316, nLab André Hirschowitz |
| André Joyal | H7G77E2YXN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2815652, nLab Andre Joyal |
| André Lichnerowicz | TC4VS7KSF4 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q520942, nLab André Lichnerowicz |
| André Lukas | 9WMRT9R77D | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q63358340, nLab Andre Lukas |
| André Neveu | VSDB4HDE7W | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q325967, nLab André Neveu |
| André Néron | E4NQRSXT5N | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q522105, nLab André Néron |
| André Petermann | S9PEYJXDGH | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q18132175, nLab André Petermann |
| André Tacquet | GPM9Q1WPXX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q781744, ProofWiki Mathematician:Andrea_Tacquet |
| André Weil | WFWQDY039V | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q323232, nLab André Weil |
| André-Louis Cholesky | 8SG1RD7VGD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q516458, ProofWiki Mathematician:André-Louis_Cholesky |
| André-Marie Ampère | JGQ66D2YV4 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q675, ProofWiki Mathematician:André-Marie_Ampère |
| Andrée Ehresmann | T3X30ST24J | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2848943, nLab Andree Ehresmann |
| ANECXYY90G | ANECXYY90G | 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.32997#R1XJ |
| ANERPAATJS | ANERPAATJS | 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.20421#3JE8 |
| ANFMAJS2ZB | ANFMAJS2ZB | exercise | open | active_calculus source/activities/act-1-6-1.xml#act-1-6-1 |
| ANFTM0BBP8 | ANFTM0BBP8 | 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.31365#6SIL |
| ANFVNEG05T | ANFVNEG05T | 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.04466#9S2O |
| angel problem | R8NNM8X20S | unknown | open | Wikidata Q3140966, MathWorld AngelProblem |
| Angelo Vistoli | MS9XVVKXR8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102124097, nLab Angelo Vistoli |
| anger | G81BENFWSC | concept | open | hott_book index/9.2/anger |
| anger | QVV6VSWX3D | concept | open | hott_book index/6.2/anger |
| Anger function | KHPMKWAGQH | unknown | open | Wikidata Q3754606, EoM Anger_function, MathWorld AngerFunction |
| ANGFJE3A3Y | ANGFJE3A3Y | 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 2606.00589#56QK |
| angle | 9TQX3KBDN1 | unknown | open | mathlib_overview Geometry > Affine and Euclidean geometry > angle, Mathlib InnerProductGeometry.angle, mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > angles between vectors, Wikidata Q11352, EoM Angle, MathWorld Angle, nLab angle |
| angle bisector | 8MFMRD1XM4 | unknown | open | Wikidata Q27809, MathWorld AngleBisector |
| angle bisector theorem | J3DKKT8RBC | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q925854, Wikidata Q925854, thousand_plus Q925854, Wikipedia Angle bisector theorem, MathWorld AngleBisectorTheorem, ProofWiki Angle_Bisector_Theorem |
| angle brackets | Z440QKZ3HE | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q110502275, MathWorld AngleBracket, ProofWiki Symbols:Brackets/Angle_Brackets |
| Angle comparison | NCW9C7843E | 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.17909#C2ZW |
| Angle function | 8P0BWS70EK | 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.09912#5LJJ |
| angle of attack | BRST0W5TBF | unknown | open | Wikidata Q370906, MathWorld AngleofAttack |
| angle of incidence | YDYV7ZJ0AR | unknown | open | Wikidata Q1196575, MathWorld AngleofIncidence |
| angle of parallelism | T61WRSPGTB | unknown | open | Wikidata Q3617405, MathWorld AngleofParallelism |
| angle sum and difference identity | 26X6WWJ0X0 | unknown | open | Wikidata Q136500191, MathWorld TrigonometricAdditionFormulas |
| angle trisection | Z6JA7CK84V | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q733081, Wikidata Q733081, thousand_plus Q733081, EoM Trisection_of_an_angle, MathWorld AngleTrisection, ProofWiki Trisecting_the_Angle |
| Angle-resolved remote overlap | 5H3EFG0HCT | 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.17752#RV67 |
| angles between planes | TDVSETM0HC | unknown | open | mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > angles between planes |