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 4901–5000 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Augusto Sagnotti | 5AYJN0MH3J | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q17986856, nLab Augusto Sagnotti |
| Augustus De Morgan | VKSV8F5T05 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q208448, ProofWiki Mathematician:Augustus_De_Morgan |
| Aumann's agreement theorem | DZ2Z3C78JQ | statement | open | mathlib_1000 Q4454919, Wikidata Q4454919, thousand_plus Q4454919, Wikipedia Aumann's agreement theorem |
| Auslander, Reiten | GRCH184A6P | statement | record (an 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.17070#2SL1 |
| Auslander--Reiten conjecture | 87DVJ1G75W | 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.37967#XDA7 |
| Australia | KQ5BP528RY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q408, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Australia |
| Austria | VYJPEXDB82 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q40, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Austria |
| autocorrelation | JPAHG0PB6V | unknown | open | Wikidata Q786970, MathWorld Autocorrelation |
| Autocorrelation and every-window relaxation at rate \(b_N+1/T\ | 7Y84YZ8W1P | statement | record (an 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.16351#9SIP |
| Autocorrelation representation | PS09GVC2GT | statement | record (an 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.16351#6CO4 |
| autocovariance | HFA5B7SP1D | topic | open | Wikidata Q786973 |
| Autolycus of Pitane | QYEQDVFF0Y | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q451390, ProofWiki Mathematician:Autolycus_of_Pitane |
| automata theory | ZG02BCMPAT | unknown | open | Wikidata Q214526, MathWorld AutomataTheory |
| automated theorem prover | JHCD4857X9 | unknown | open | Wikidata Q140136520, EoM Theorem_prover |
| AUTOMATH | HT54C64D3W | concept | open | hott_book index/4.4/automath |
| Automath | TVKW4W528D | concept | open | Wikidata Q2872609, nLab Automath |
| Automatic admissibility | DGVM5GRZ1Z | statement | record (an 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.28411#GE3P |
| Automatic continuity | ZH2AKV31V2 | statement | record (an 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.34402#6GVP |
| Automatic ENNAMCQ without nonconstant affine segments | XV0PJREM5X | statement | record (an 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.39736#WJ75 |
| Automatic feasibility in a fixed nested pair | 9T0EQ89TMT | statement | record (an 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.40252#6SB8 |
| Automatic first return | 43ZZVPS11M | statement | record (an 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.10557#MXU8 |
| Automatic growth in the composition equation | 72NPXSVQYG | statement | record (an 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.19243#J1AL |
| Automatic Lie-admissibility in dimension three | 9AG29PXA1J | statement | record (an 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.12483#GY78 |
| Automatic local acceleration with a global guarantee | D3YACHYHJ0 | statement | record (an 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.06557#GTNQ |
| Automatic local boundedness | GRVPV3HVG1 | statement | record (an 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.00339#EABJ |
| Automatic local convergence with adaptation | BS9YSQRZG6 | statement | record (an 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.06557#GUDQ |
| Automatic low-frequency smallness | 44DVY709TX | statement | record (an 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.02721#AUEB |
| Automatic quadratic curvature | 2MZ4A4R37B | statement | record (an 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.05388#TMVJ |
| Automatic regularity for bounded functional rows | 73B6MX7RF9 | statement | record (an 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.04357#ZGCT |
| Automatic regularity for standard weak \(H^1\) rows | DGZ5SRHKAX | statement | record (an 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.04357#8NEY |
| Automatic regularity for weak \(H^k\) rows in any dimension | Q5DQC6TK3F | statement | record (an 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.04357#3C2S |
| Automatic regularity of finite-measure rows | XTJPQPQMFA | statement | record (an 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.04357#YWB5 |
| Automatic structural properties at odd good primes | RBR1Y90AQK | statement | record (an 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.03121#JY2D |
| Automatic tail non-concentration | F861Z4E1N2 | statement | record (an 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.02790#6UBA |
| automorphic form | VMGTTE71CG | unknown | open | Wikidata Q1134435, nLab automorphic form |
| automorphic function | EQ0AJZ6XGN | unknown | open | Wikidata Q4826704, MathWorld AutomorphicFunction |
| automorphic L-function | QF3NMEDK8K | unknown | open | Wikidata Q4826697, nLab automorphic L-function |
| Automorphic matrix Maass--Selberg relation | W3KC9TG999 | statement | record (an 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.25925#MD5X |
| automorphic number | MWSQA9K4PW | unknown | open | Wikidata Q2313686, MathWorld AutomorphicNumber, OEIS A003226 |
| Automorphic recovery beyond the scattering determinant | DDJZ3VVMJ4 | statement | record (an 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.25925#VYNC |
| Automorphic symbol | CJN7266MPD | 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.11210#830P |
| automorphism | PQ8NE0P6CG | definition | open | Wikidata Q782566, EoM Automorphism, MathWorld Automorphism, nLab automorphism, ProofWiki Definition:Automorphism_(Abstract_Algebra) |
| automorphism group | YXH89VAN13 | unknown | node (a node has the same name as the row) | Wikidata Q60790315, LMFDB knowl ag.aut_group, LMFDB knowl av.aut_group, MathWorld AutomorphismGroup |
| Automorphism group of $\QQ(\sqrt2,\sqrt3)$ | BM1DCX294X | example | open | napkin tex/alg-NT/galois.tex#example-6 |
| Automorphism groups | NV6TFS24Q6 | statement | record (an 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#BU1W |
| automorphism, fixed-point-free | M4JB6WWXNT | concept | open | hott_book index/u1.u7/automorphism-fixed-point-free |
| automorphism, fixed-point-free | PTWSJQ2SRX | concept | open | hott_book index/9.2/automorphism-fixed-point-free |
| automorphism, of $\bool$, nonidentity | Q5G8Q1R8C2 | concept | open | hott_book index/5.13/automorphism-of-bool-nonidentity |
| automorphism, of $\Sn^1$ | 1Z7SFS02SC | concept | open | hott_book index/5.4/automorphism-of-sn-1 |
| automorphism, of $\Z$, successor | BNBJD6981H | concept | open | hott_book index/7/automorphism-of-z-successor |
| automorphism, of extensional well-founded relations | H03S2HEZGD | concept | open | hott_book index/C.3/automorphism-of-extensional-well-founded-relations |
| automorphism, of poset | MCCTHQHE70 | concept | open | applied_combinatorics index/6.2/automorphism-of-poset |
| autonomous | RZ9N2J1FBC | concept | open | active_calculus index/7.1.4/autonomous |
| Autonomous convergence theorem | 64KZNWH53N | statement | open | mathlib_1000 Q4826848, Wikidata Q4826848, thousand_plus Q4826848, Wikipedia Autonomous convergence theorem |
| Autonomous DAEs | TNM2Z1MC86 | statement | record (an 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.09634#V9B9 |
| autonomous differential equations | DM7XCMHH4Z | unknown | open | mathlib_undergrad Multivariable calculus > Differential equations > autonomous differential equations |
| autonomous equation | QCP3GGCNV0 | concept | open | lebl_diffyqs index/4.6/autonomous-equation |
| Autonomous equations for the measures $\mu_k$ | H54QYN0EA5 | statement | record (an 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.31986#8NZF |
| Autonomous limits are self-adjoint | PTBDSS5F1F | statement | record (an 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#TT4M |
| autonomous system | G9FCVEZD6F | unknown | node (a node has the same name as the row) | Wikidata Q788009, MathWorld Autonomous |
| Autonomy without locality | MGZFMHRR2J | statement | record (an 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#SS4Z |
| autopoiesis | 3XERM44B33 | unknown | open | Wikidata Q599967, nLab autopoiesis |
| Auxiliary Bounds | M6T2DH2BSD | statement | record (an 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.13355#14FT |
| Auxiliary estimates | AFSECFDGEF | statement | record (an 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#RJEU |
| auxiliary field | KN7E1VVNQG | unknown | open | Wikidata Q4827307, nLab auxiliary field |
| Auxiliary flow computation | T2109ZD4T3 | statement | record (an 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.15511#7AXB |
| Auxiliary inequality 1 | 9W6E5QTB5D | statement | record (an 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.30957#MH6K |
| Auxiliary inequality 2 | BM76ZN1FNJ | statement | record (an 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.30957#6U1T |
| Auxiliary Norms | YHNWN6RPKC | 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 2601.15010#6BBN |
| Auxiliary polynomial theorem | APHQ6T45RR | statement | open | mathlib_1000 Q4827308, Wikidata Q4827308, thousand_plus Q4827308, Wikipedia Auxiliary polynomial theorem |
| Auxiliary regularization | NVP6YYVS5J | unknown | open | arXiv 2610.05864#L84N |
| Auxiliary-to-CEV oracle equivalence | YYRY71TS89 | statement | record (an 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.05864#QRBP |
| AV05DSQGB4 | AV05DSQGB4 | statement | record (an 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.34813#2M29 |
| AV0JMR77G8 | AV0JMR77G8 | statement | record (an 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#G06R |
| AV21HA8A13 | AV21HA8A13 | proof | open | open_logic content/set-theory/ordinals/basic.tex#proof-7 |
| AV254X67AW | AV254X67AW | statement | record (an 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#QSTM |
| AV28MWZ8T4 | AV28MWZ8T4 | 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 2412.14956#NVQB |
| AV2AX0VZ0J | AV2AX0VZ0J | statement | record (an 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.21954#3ST2 |
| AV2NF5TP50 | AV2NF5TP50 | 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.22326#NIEC |
| AV3NV0BRCS | AV3NV0BRCS | 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.27046#T521 |
| AV3QAHWSD3 | AV3QAHWSD3 | 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 2412.14956#3C5C |
| AV46DX1F5H | AV46DX1F5H | statement | record (an 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.37739#D3PK |
| AV4CHN5B1E | AV4CHN5B1E | 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.19437#EVAI |
| AV4CJ4KSCW | AV4CJ4KSCW | statement | record (an 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.19426#IS8W |
| AV4WF53HN8 | AV4WF53HN8 | proof | open | applied_combinatorics source/s_inclusion-exclusion_derangements.ptx#proof-2 |
| AV50NT9E2Y | AV50NT9E2Y | 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 2404.18704#INNF |
| AV5HCX1YQJ | AV5HCX1YQJ | 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 2601.15403#J3DW |
| AV5KR951EK | AV5KR951EK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.18704#BH8X |
| AV5NJRYNBD | AV5NJRYNBD | statement | record (an 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.06419#IZXS |
| AV618TJE31 | AV618TJE31 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.4254#0UBH |
| AV6KQXSZMB | AV6KQXSZMB | 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.21365#ZLUH |
| AV70RMN570 | AV70RMN570 | statement | record (an 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.21097#4S33 |
| AV71MPVJW1 | AV71MPVJW1 | statement | record (an 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#VIVS |
| AV75AMDEZF | AV75AMDEZF | 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.12484#T7YR |
| AV78687RNP | AV78687RNP | statement | record (an 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.21358#FVEQ |
| AV885GWDC1 | AV885GWDC1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1804.05688#89NH |
| AV8B03AR5X | AV8B03AR5X | statement | record (an 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#LAQQ |
| AV93ASSQ13 | AV93ASSQ13 | statement | record (an 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.01359#VN8M |
| AV9E34AWV0 | AV9E34AWV0 | example | open | napkin tex/set-theory/forcing.tex#example-5 |
| AV9R636M96 | AV9R636M96 | statement | record (an 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.19658#SLC0 |