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 3901–4000 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| AP7G72XKXZ | AP7G72XKXZ | exercise | open | austin_ula src/section2-6.xml#activity-2 |
| AP7M9NZTBY | AP7M9NZTBY | 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.20798#MNXQ |
| AP8TFY3SQ2 | AP8TFY3SQ2 | 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.06490#8TMT |
| AP977A45DY | AP977A45DY | 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.38068#MBHV |
| AP9CJ8WNHT | AP9CJ8WNHT | 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.27715#X49V |
| AP9PNVPN14 | AP9PNVPN14 | 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.40191#ZB0B |
| APA307YCSW | APA307YCSW | 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.36088#QQ03 |
| APAC8604RB | APAC8604RB | 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.04382#WGS7 |
| APANA26VTV | APANA26VTV | 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 2409.19687#5F54 |
| apartness | 8WZER8FDTE | concept | open | hott_book index/B.3.3/apartness |
| apartness | PY8ZB4SJG6 | concept | open | hott_book index/B.6/apartness |
| apartness relation | JKPNA9VTND | unknown | open | Wikidata Q4779193, nLab apartness relation |
| APAZH9MDG0 | APAZH9MDG0 | exercise | open | napkin tex/calculus/differentiate.tex#problem-3 |
| APB1E5F6NF | APB1E5F6NF | 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.00775#A7BZ |
| APB5A0Z5NR | APB5A0Z5NR | 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.12484#QGSQ |
| APBZG9WJAR | APBZG9WJAR | 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.36332#HTYV |
| APC9ZS153G | APC9ZS153G | 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.04772#NP59 |
| APCR6YN445 | APCR6YN445 | 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.34573#9YQB |
| APCSGVBSXZ | APCSGVBSXZ | exercise | open | open_logic content/methods/proofs/proof-by-contradiction.tex#prob-1 |
| APCZJ1YZNJ | APCZJ1YZNJ | 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#A968 |
| APD901QX9M | APD901QX9M | 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.37706#DTIT |
| APDG5CKC11 | APDG5CKC11 | 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.28650#YT8N |
| APDHDZMBHV | APDHDZMBHV | 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.24701#6ME6 |
| APDQ5F2X51 | APDQ5F2X51 | 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.19285#Z5FD |
| apeirogon | 1083A55WK5 | unknown | open | Wikidata Q4779316, MathWorld Apeirogon |
| aperiodic monotile | HQNBCT3HZ8 | concept | open | Wikidata Q118109752, MathWorld AperiodicMonotile |
| aperiodic tiling | QKCV8SX6NP | unknown | open | Wikidata Q741518, MathWorld AperiodicTiling |
| Apertures to $G$-zips, Proposition 3.5.5 | K667J1SW8V | 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.33808#3YBS |
| apex | MRSJGQNTQE | unknown | open | Wikidata Q2858200, MathWorld Apex |
| apex graph | N9RVT0ZBAD | unknown | open | Wikidata Q4779442, MathWorld ApexGraph |
| APEY11WH0F | APEY11WH0F | 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.31615#WLIK |
| APF32X6P0J | APF32X6P0J | definition | open | napkin tex/H113/quotient.tex#definition-1 |
| APF3C82BZ7 | APF3C82BZ7 | 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.07260#28AK |
| APF72JRFPE | APF72JRFPE | 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.01433#CE0V |
| APG0RCVXTF | APG0RCVXTF | 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 2509.05577#R1KL |
| APGJCF4TJN | APGJCF4TJN | 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#2ERL |
| APGM2KHF0R | APGM2KHF0R | definition | open | open_logic content/lambda-calculus/syntax/term-revisited.tex#defn-1 |
| APGRGCR9Q7 | APGRGCR9Q7 | exercise | open | applied_combinatorics source/s_genfunction_exercises.ptx#exercise-1 |
| APH1YXPF2R | APH1YXPF2R | definition | open | austin_ula src/section4-5.xml#definition-1 |
| APH7YPQ3J2 | APH7YPQ3J2 | 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 2304.08231#VSN1 |
| aphelion | XF84BA5JRN | definition | open | Wikidata Q1699691, ProofWiki Definition:Aphelion |
| APHGW17Q9J | APHGW17Q9J | 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.14681#0NYV |
| APHJGF9QK1 | APHJGF9QK1 | unknown | open | arXiv 2610.06441#PJ42 |
| APHK66ADAS | APHK66ADAS | 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.16580#TXR6 |
| APHV4J6TS5 | APHV4J6TS5 | example | open | lebl_ra ch-several-vars-ders.tex#example-7 |
| APK77ZZS2Z | APK77ZZS2Z | 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.30113#PEP8 |
| APK9T7AZFS | APK9T7AZFS | 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#Q7LH |
| APKC1TVG6M | APKC1TVG6M | 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.03373#ZAU7 |
| APM8HDCM25 | APM8HDCM25 | 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 2310.06695#GSIG |
| APME3ZXHRX | APME3ZXHRX | 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.16491#PRS9 |
| APMGP4C3SY | APMGP4C3SY | 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 2308.02672#7V0A |
| APMY5D2NGY | APMY5D2NGY | proof | open | lebl_ra ch-multivar-int.tex#proof-2 |
| APN4CSBV3Z | APN4CSBV3Z | 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 2511.12649#H9QH |
| APNBWRQC92 | APNBWRQC92 | 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.30892#I2MC |
| APNWVKBWP6 | APNWVKBWP6 | 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.28880#RXDU |
| apocalypse number | 1ZYQR9RJ2A | unknown | open | Wikidata Q125396104, MathWorld ApocalypseNumber |
| apocalyptic number | Z836Y365KN | unknown | open | Wikidata Q50823431, MathWorld ApocalypticNumber |
| apogee | DHM2NV44KH | definition | open | Wikidata Q1179441, ProofWiki Definition:Apogee |
| Apolar ideal | P9ER6BCFR7 | 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.38212#H2KU |
| Apolarity Lemma | 76XCG0ABDB | 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#3JXE |
| Apollonian gasket | GCMZ3S1018 | unknown | open | Wikidata Q1184368, MathWorld ApollonianGasket |
| Apollonian network | RQN7YFCFR2 | unknown | open | Wikidata Q4780395, MathWorld ApollonianNetwork |
| Apollonius of Perga | 3HSV8HZWE3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q180109, ProofWiki Mathematician:Apollonius_of_Perga |
| Apollonius's theorem | F3CYM68Y0C | statement | node (a node has the same name as the row) | mathlib_1000 Q877489, Mathlib EuclideanGeometry.dist_sq_add_dist_sq_eq_two_mul_dist_midpoint_sq_add_half_dist_sq, Wikidata Q877489, thousand_plus Q877489, Wikipedia Apollonius's theorem |
| apothecaries' system | HA07AM75YM | definition | open | Wikidata Q620565, ProofWiki Definition:Apothecaries'_Weights_and_Measures |
| apothem | GCE52E2SBD | unknown | open | Wikidata Q508490, MathWorld Apothem |
| APPD3MJR3Z | APPD3MJR3Z | 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.25390#E3DV |
| Appell sequence | WHQ46GCDBC | concept | open | Wikidata Q1090038, MathWorld AppellSequence |
| Appell–Humbert theorem | DQ5DN50VCN | statement | open | mathlib_1000 Q1704878, Wikidata Q1704878, thousand_plus Q1704878, Wikipedia Appell–Humbert theorem |
| Appendix B | SWB44NQV64 | 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.07114#XPHX |
| Application of the \(7/8\) theorem | YH9MZ6GKEQ | 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.15559#TBF3 |
| Application of the spectral Favard theorem | EXH20M4E1P | 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.08568#FPUA |
| Application to the area expansion | SM7HDET82H | 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#M99E |
| application to the calculation of multiple integrals | 4XQZD95BZP | unknown | open | mathlib_undergrad Numerical Analysis > Numerical integration > application to the calculation of multiple integrals |
| Application to the same signing law | R82CN99T79 | 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#TZEX |
| application, of hypothesis or theorem | CQ16RXJFNW | concept | open | hott_book index/A.11/application-of-hypothesis-or-theorem |
| applications of probability generating functions to sums of independent random variables | Z4T27REJDR | unknown | open | mathlib_undergrad Probability Theory > Random variables and their laws > applications of probability generating functions to sums of independent random variables |
| applicative functor | F0B9JT65CV | unknown | open | Wikidata Q25104369, nLab applicative functor |
| applied category theory | 9QWKM25W0T | unknown | open | Wikidata Q85850206, nLab applied category theory |
| applied mathematics | DQY5VWCSED | topic | open | Wikidata Q33521, MathWorld AppliedMathematics, nLab applied mathematics, ProofWiki Definition:Applied_Mathematics |
| approach space | 7WDW4PAAG3 | unknown | open | Wikidata Q4781718, nLab approach space |
| Approach to a stable equilibrium | TR24P5JA18 | 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.34168#7BK5 |
| Approach to a stable equilibrium | XQ3NQSVXNC | 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.34168#21OR |
| Approach to infinite-period orbits | 12Y7RMPAKN | 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.34168#F4D3 |
| Approach to infinite-period orbits | 1QE59R23CX | 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.34168#MB4B |
| Approximable points | RVMYP1JVJT | 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.21775#ZVR0 |
| Approximate $\tau$-curvature vector field, cf.\ | E2HE5M4CV8 | 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.24451#SHMG |
| Approximate adaptive queries | 5B37DXVYSZ | 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.30808#DF5R |
| Approximate Busemann functions | 1HMD8QQQ18 | 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.10051#XCQZ |
| Approximate controllability | 7K7459JXDY | 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.28937#6D29 |
| Approximate counting | JM3GBYWVZA | 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#OE0L |
| Approximate cyclic comparisons | 8Y4PWH5NZC | 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#82Y3 |
| approximate delta function | 4A4C1JH02Z | concept | open | lebl_scv index/2.4/approximate-delta-function |
| approximate delta function | MT47FQA6NM | concept | open | lebl_ra index/1.8.4/approximate-delta-function |
| approximate delta function | S82W71ZT1V | concept | open | lebl_ra index/1.7.1/approximate-delta-function |
| Approximate e-process | N3D7ZFGB4F | 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.11388#RDPT |
| Approximate e-variable | 3YPA29T4PJ | 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.11388#1KGP |
| approximate equality | PANZGZN5JA | unknown | open | Wikidata Q26161438, MathWorld ApproximatelyEqual |
| Approximate equation for $u_\kappa$ | GVF0CW7RXH | 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.11034#LU7M |
| Approximate factorization | HPVR0S1B90 | 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.40214#78RJ |