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 2301–2400 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| AEY24BGGNG | AEY24BGGNG | 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.11021#P41A |
| AEYH945C3Y | AEYH945C3Y | 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.31445#I6ZT |
| AEYMKF8SEJ | AEYMKF8SEJ | statement | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#thm:refl |
| AEZ1FR8PG1 | AEZ1FR8PG1 | example | open | levin_dmoi ptx/sec_gt-intro.ptx#example-3 |
| AEZ6TN3YJ6 | AEZ6TN3YJ6 | 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.27366#ZB3V |
| AEZMGVGBSG | AEZMGVGBSG | 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.27741#SNU8 |
| AEZWGVRHBF | AEZWGVRHBF | 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.32090#DQUG |
| AF+BG theorem | 8BMYMWEXJV | statement | open | mathlib_1000 Q3526969, Wikidata Q3526969, thousand_plus Q3526969, Wikipedia AF+BG theorem, MathWorld NoethersFundamentalTheorem |
| AF14AN1K2N | AF14AN1K2N | 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.05672#GE5K |
| AF1D66B7B9 | AF1D66B7B9 | 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#QYVU |
| AF1X85SAM3 | AF1X85SAM3 | exercise | open | napkin tex/set-theory/cardinal.tex#ques-4 |
| AF1Y28F0JE | AF1Y28F0JE | 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.30961#NN38 |
| AF27N8F8B3 | AF27N8F8B3 | 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.01916#NN4U |
| AF2F8PTSNB | AF2F8PTSNB | 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.02158#VE3E |
| AF2GFBPM9D | AF2GFBPM9D | 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#5V7S |
| AF2Q2TP23F | AF2Q2TP23F | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-6 |
| AF3G6RV1RT | AF3G6RV1RT | 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.21475#D3D9 |
| AF3SGHVCK2 | AF3SGHVCK2 | 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.32033#MFL2 |
| AF401PHX2S | AF401PHX2S | 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 2503.00560#BLO1 |
| AF43JJWDGM | AF43JJWDGM | 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.01273#MR9D |
| AF5DCMANKA | AF5DCMANKA | 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.22074#K898 |
| AF5RW1DQGF | AF5RW1DQGF | 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#7G4G |
| AF6NAMRJ57 | AF6NAMRJ57 | 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 2504.07573#1X9Z |
| AF7QMACHD2 | AF7QMACHD2 | 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.26386#ID00 |
| AF7TY11FEA | AF7TY11FEA | 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.08226#VS7B |
| AF8ZXTQXK6 | AF8ZXTQXK6 | 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.19590#GTGA |
| AF973PMN9R | AF973PMN9R | 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.35460#UY6H |
| AF9TJF5FRK | AF9TJF5FRK | 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#LRZW |
| AFA5H11DM8 | AFA5H11DM8 | 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.18302#XKQU |
| AFAB5X50HA | AFAB5X50HA | unknown | open | arXiv 2610.13680#EZYI |
| AFABZ1GFYH | AFABZ1GFYH | 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#JOHB |
| AFAG0Q8Y4C | AFAG0Q8Y4C | 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.26576#TCVQ |
| AFB06AF8DH | AFB06AF8DH | 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 2603.21971#HT04 |
| AFB68CDTN6 | AFB68CDTN6 | 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.36423#53XM |
| AFB82BERE0 | AFB82BERE0 | 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.33219#4PTC |
| AFBMTAS1RF | AFBMTAS1RF | 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.10505#UTOW |
| AFC0V28WZ1 | AFC0V28WZ1 | 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.39293#WUZ6 |
| AFCFTH5FEV | AFCFTH5FEV | 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.39269#VD4B |
| AFDJP2C38Q | AFDJP2C38Q | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-67 |
| AFDJZ6N91P | AFDJZ6N91P | 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 1303.4328#NBLP |
| AFDX3TY9F2 | AFDX3TY9F2 | 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.02935#5UEZ |
| AFE3H8GT0R | AFE3H8GT0R | 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.07608#QBYK |
| AFEQFXXS1S | AFEQFXXS1S | 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.08288#935E |
| AFFA2QJBRS | AFFA2QJBRS | 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.03619#YJIR |
| Affecting | PNJ560YN1M | 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 math/0003117#IRA2 |
| affiliated operator | TV767XR6QB | unknown | open | Wikidata Q4688920, nLab affiliated operator |
| affine along $d$ | W7CVVDVR3M | 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.01029#A1BK |
| Affine approximation after reflection | CANCGDYV9F | 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.16248#BIJ3 |
| Affine approximation after reflection | PM6RV5C7QH | 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.16248#GLQO |
| Affine B\'ezout length | NNYH3AKT4S | 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.33327#18Z6 |
| Affine boundary expansions | 47MP2QW7EV | 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.19421#88J2 |
| Affine Cartesian-product criterion | G9MYW6M4G2 | 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.14135#0GX1 |
| Affine changes of Boolean functions | JGMSZVG6PV | 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.09341#ZRFT |
| Affine changes of the support | 45MHSCQN86 | 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.09341#BDHB |
| Affine closure and separation | T5H58BA69Q | 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.39700#DQQN |
| Affine coefficient operator | ARCEP0R1AV | 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.15262#VGKL |
| Affine conditioning | 9NQZZNBX6R | 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#V4CG |
| affine connection | YFB8V94C3W | unknown | open | Wikidata Q1371213, nLab affine connection |
| Affine control-to-state map | JVXC1YRZ17 | 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.00033#UIKC |
| affine coordinate system | 2BSFW5TZY0 | unknown | open | Wikidata Q382510, MathWorld AffineCoordinates |
| Affine criteria | Q8T2ZA7FK5 | 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#XX5S |
| Affine deduplication of exact common row directions | H7BARX7FK4 | 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.33021#0D43 |
| Affine entropy bound | GNJ4MWHAAV | 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.22308#IXCP |
| Affine evolution | C66ZTCCFM6 | 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.16248#ICNM |
| Affine fibers and sections | HP41A6SZSZ | 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.02407#LAWO |
| Affine finite-type criterion | 2GBZFTEYPR | 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.04027#A3US |
| Affine flows preserve Gaussianity | GP7ZN9YZYF | 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#CE1L |
| Affine forecast | 5A6RFBP090 | 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.40077#A9V7 |
| affine function | A85GJTMY5T | unknown | open | mathlib_overview Geometry > Affine and Euclidean geometry > affine function, Mathlib AffineMap, mathlib_undergrad Affine and Euclidean Geometry > General definitions > affine function |
| affine geometry | Q5M3THKWEV | unknown | open | Wikidata Q382520, MathWorld AffineGeometry |
| affine Grassmannian | NG1WAHYV8T | unknown | open | Wikidata Q4688931, nLab affine Grassmannian |
| affine group | 6BP4DZZR24 | unknown | open | Wikidata Q686291, nLab affine group |
| affine groups | PQ5VGCS15C | unknown | open | mathlib_undergrad Affine and Euclidean Geometry > General definitions > affine groups, Mathlib AffineEquiv.group |
| Affine hardness with independent uniform auxiliary variables | FWJF6QMBPE | 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#WYRB |
| Affine hashing | 94QB9XZ42T | 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.04271#2VOW |
| Affine Hessian addition laws | PPCSXH2RSH | 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.07905#QNKI |
| affine hull | V16WB4YNMB | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q382504, EoM Affine_hull, MathWorld AffineHull |
| Affine initialization at the common radius | D91EA9JYBQ | 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.37482#0DUY |
| Affine lattices | 9V3BBSZ2ZK | 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#LC96 |
| affine Lie algebra | YCEXCG0GZ7 | unknown | open | Wikidata Q632521, nLab affine Lie algebra |
| Affine linear motions | TBVSEXSTM1 | 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 2407.07642#SRZT |
| Affine local compiler | SGR291EGBN | 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.16248#3OXJ |
| affine logic | XZZ79SSSYC | unknown | open | Wikidata Q4688943, nLab affine logic |
| Affine MDS Brascamp--Lieb | Y4WWTF4N5Z | 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.12357#VL53 |
| Affine minimax rate under mixed noise | 7Y5R9RSRRC | 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#HYW7 |
| Affine minimax rate under SGC | FWN3PXA9KA | 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#RPO4 |
| Affine minimax risks | 68E5A62P2K | 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.12641#Y6PJ |
| Affine minimum | BWA40F01EA | 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.37482#IT4P |
| affine morphism | MDWPKJX4MT | unknown | open | Wikidata Q3324322, nLab affine morphism |
| Affine non-malleability implies average-case hardness | 2ANZKA745V | 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#F5NS |
| Affine non-malleability implies section decorrelation | PFTXC4W3YX | 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#7VOQ |
| Affine non-malleability implies weakly read-once hardness | C1695P60Y9 | 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#96JF |
| Affine OU convergence at observation times | 3DH0VSX5D0 | 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.32026#Z78H |
| Affine pencil of quadratic phases | 86ZC90C655 | 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.10583#6EZ0 |
| Affine periodicity | YMCHKKXSMF | 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.22305#RSXH |
| affine plane | MQHP0X87FN | unknown | open | Wikidata Q382491, MathWorld AffinePlane |
| Affine polynomial normal form | D1X50PGK7D | 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.26152#UWOW |
| Affine preferential attachment | VZ74V8A2NR | 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.30098#S49G |
| affine property | 40DY3R9E7M | unknown | open | mathlib_undergrad Affine and Euclidean Geometry > General definitions > affine property |
| Affine rounding | BGBFFVAAD4 | 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#0BNS |