| Auslander–Buchsbaum theorem | S352NJKBM6 | statement | open | Wikipedia Auslander–Buchsbaum theorem, Wikidata Q4822774 |
| Auslander–Reiten theory | DD7KD189AG | definition | open | Wikipedia Glossary of areas of mathematics#W00I |
| Auslander–Reiten theory | EXD4KP8KQT | definition | open | Wikipedia Auslander–Reiten theory, Wikidata Q4822775 |
| Austagram | YQZ32K03P3 | unknown | open | Wikipedia List of places with numeric names#DZAJ |
| Austin moving-knife procedures | E6ZNQMJHQ2 | definition | open | Wikipedia Austin moving-knife procedures, Wikidata Q25303604 |
| Austin, Oscar Phelps | X9RJYCMDYX | unknown | open | Wikipedia List of statisticians#TQBN |
| Australasian Journal of Logic | 2TPXDR7XGT | unknown | open | Wikipedia List of logic journals#3R01 |
| Australia | KQ5BP528RY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q408, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Australia |
| Australian Aboriginal enumeration | DZ5VD23FVT | definition | open | Wikipedia Australian Aboriginal enumeration, Wikidata Q2783979 |
| Australian Bureau of Statistics | HMBAWPV2AD | definition | open | Wikipedia Australian Bureau of Statistics, Wikidata Q123347 |
| Australian Mathematical Sciences Institute | YXBRES10W8 | definition | open | Wikipedia Australian Mathematical Sciences Institute, Wikidata Q4056098 |
| Australian Mathematical Society | MJJFVPZJ67 | definition | open | Wikipedia Australian Mathematical Society, Wikidata Q781585 |
| Australian Mathematical Society | NH8Z056N63 | definition | open | Wikipedia List of mathematical societies#5NXJ |
| Australian Mathematics Competition | GZMZ23E6ZG | unknown | open | Wikipedia List of mathematics competitions#PZGD |
| Australian Mathematics Olympiad | HP0ZC9KAT1 | unknown | open | Wikipedia List of mathematics competitions#ZB1U |
| Australian Polling Council | WEQSKFW1W8 | definition | open | Wikipedia Australian Polling Council, Wikidata Q118898758 |
| Australian Signals Directorate | 932Z4ACGGD | definition | open | Wikipedia Australian Signals Directorate, Wikidata Q267707 |
| Australian Society for Operations Research | AAXDCC33XJ | unknown | open | Wikipedia Operations research#TV2E |
| Australian Statistician | 28JPDJ8AVW | definition | open | Wikipedia Australian Statistician, Wikidata Q4824712 |
| Austria | VYJPEXDB82 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q40, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Austria |
| Austrian Ludwig Wittgenstein Society | 7F9XBES09B | definition | open | Wikipedia Austrian Ludwig Wittgenstein Society, Wikidata Q4825482 |
| Austrian Mathematical Society | QZZ98T2WGZ | unknown | open | Wikipedia List of mathematical societies#A2V2 |
| Austrian Society of Operations Research | 6GJXE643BZ | definition | open | Wikipedia Austrian Society of Operations Research, Wikidata Q25231133 |
| Austrian Statistical Society | 9THQR9KVJS | definition | open | Wikipedia Austrian Statistical Society, Wikidata Q15759608 |
| Authalic latitude | Y0H62XPQMC | unknown | open | Wikipedia Latitude#KH78 |
| Authenticated encryption | 8DZJD2MX0G | definition | open | Wikipedia Authenticated encryption, Wikidata Q15263584 |
| Authenticated Key Exchange | YGC7C9Q12Z | definition | open | Wikipedia Authenticated Key Exchange, Wikidata Q4825878 |
| Authentication | TS8C0K5EYE | definition | open | Wikipedia Authentication, Wikidata Q212108 |
| Authentication (computer science) | 2EXVKAXKW0 | unknown | open | Wikipedia Authentication#UPBP |
| Authentication and Key Agreement | 81KTJ413Y3 | definition | open | Wikipedia Authentication and Key Agreement, Wikidata Q4652161 |
| Authenticator | HDV5ZGFX18 | definition | open | Wikipedia Authenticator, Wikidata Q4825890 |
| Authority bias | Q6640GWQHR | unknown | open | Wikipedia List of cognitive biases#IIBE |
| Authority distribution | Z4VF4Z9D2D | definition | open | Wikipedia Authority distribution, Wikidata Q25304435 |
| Authorization certificate | W5AF7X6024 | definition | open | Wikipedia Authorization certificate, Wikidata Q758251 |
| Auto-entity extraction | 5AB5F8P5GR | unknown | open | Wikipedia Text mining#ZXLT |
| Autoassociative self-supervised learning | 9CRRFNZM3D | unknown | open | Wikipedia Self-supervised learning#88BE |
| Autobiographical number | 3FY6A6AZNG | unknown | open | Wikipedia Self-descriptive number#YICJ |
| autocepstrum | RJFZDYRYGR | definition | open | Wikipedia Cepstrum#IFEK |
| autocorrelation | JPAHG0PB6V | definition | open | Wikidata Q786970, MathWorld Autocorrelation, Wikipedia Autocorrelation |
| Autocorrelation | V6P0H31FPJ | definition | open | Wikipedia List of statistics articles#SEQL |
| 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 plot | QH38100BRM | definition | open | Wikipedia List of graphical methods#OIYV |
| 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 | definition | open | Wikidata Q786973, Wikipedia Autocovariance |
| Autocovariance | R77V5YS0G3 | definition | open | Wikipedia List of statistics articles#MXLP |
| Autocrypt | KSKM2J4EQA | definition | open | Wikipedia Autocrypt, Wikidata Q53883775 |
| Autoepistemic logic | HC8E5PF1BY | definition | open | Wikipedia Autoepistemic logic, Wikidata Q4826262 |
| Autokey cipher | YC6J9MSA1M | definition | open | Wikipedia Autokey cipher, Wikidata Q1989639 |
| autological | 69N0VRQ8FW | definition | open | Wikipedia Glossary of logic#BGFS |
| Autologistic actor attribute models | 3EJ3SPGVZ0 | definition | open | Wikipedia Autologistic actor attribute models, Wikidata Q96372812 |
| Autolycus of Pitane | 37144RDBH5 | unknown | open | Wikipedia List of Greek mathematicians#MKM5 |
| Autolycus of Pitane | BFVWTC3G49 | unknown | open | Wikipedia List of geometers#THYA |
| 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 | topic | open | Wikidata Q214526, MathWorld AutomataTheory, Wikipedia Automata theory |
| Automated | QSFMX1TX4G | unknown | open | Wikipedia List of genetic algorithm applications#AKZL |
| Automated abductive reasoning | XJ1FVFAQ0H | unknown | open | Wikipedia Abductive reasoning#V4ZP |
| Automated machine learning | 8WM4QZP0XH | definition | open | Wikipedia Automated machine learning, Wikidata Q43967068 |
| Automated market maker | MCXP7JXXNQ | unknown | open | Wikipedia Decentralized finance#KQ1X |
| Automated Mathematician | AZHWK0MSPR | unknown | open | Wikipedia List of mathematical logic topics#VDVF |
| Automated planning | CQHJS9ZSVH | topic | open | Wikipedia List of genetic algorithm applications#0N04 |
| Automated planning and scheduling | THS050GSZ4 | topic | open | Wikipedia Automated planning and scheduling, Wikidata Q2631895 |
| Automated Problem Solving | M0WDX3K614 | unknown | open | Wikipedia Problem solving#35IU |
| Automated proof checking | QGKX9PFGDD | unknown | open | Wikipedia Proof assistant#S9YW |
| Automated reasoning | TG44SQJ4ZX | topic | open | Wikipedia Automated reasoning, Wikidata Q2555318 |
| automated theorem prover | JHCD4857X9 | unknown | open | Wikidata Q140136520, EoM Theorem_prover |
| Automated theorem proving | PMHPYVRX5P | statement | open | Wikipedia List of mathematical logic topics#RQFQ |
| Automated theorem proving | QBYMW52T97 | statement | open | Wikipedia Automated theorem proving, Wikidata Q431667 |
| Automated theorem proving | TTETRQZRJQ | statement | open | Wikipedia Reductio ad absurdum#B27P |
| Automated theorem proving and formal methods | 59PH5XAHMT | statement | open | Wikipedia First-order logic#5570 |
| 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 Certificate Management Environment | RP3W17XPFZ | definition | open | Wikipedia Automatic Certificate Management Environment, Wikidata Q20311482 |
| 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 differentiation | 28PE3W6NZQ | definition | open | Wikipedia Glossary of calculus#R4BT |
| Automatic differentiation | J749DVCGSK | definition | open | Wikipedia Automatic differentiation, Wikidata Q787371 |
| 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 group | DZVWV2PKW2 | definition | open | Wikipedia Automatic group, Wikidata Q4826571 |
| 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 inference | 327J2VV7EZ | unknown | open | Wikipedia Inference#6255 |
| Automatic item generation | NA71057R0H | topic | open | Wikipedia Automatic item generation, Wikidata Q58624531 |
| Automatic label placement | 6FJSDENJAE | unknown | open | Wikipedia List of numerical analysis topics#ZSPI |
| 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 semigroup | S9GSBZ2Q3M | definition | open | Wikipedia Automatic semigroup, Wikidata Q4826597 |
| Automatic sequence | C08STWG219 | definition | open | Wikipedia Automatic sequence, Wikidata Q3503236 |
| 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 |
| Automatically Tuned Linear Algebra Software | E03Z5EPFJ6 | definition | open | Wikipedia List of open-source software for mathematics#R4E8 |
| Automatically Tuned Linear Algebra Software | NXNQYYQAD8 | definition | open | Wikipedia Automatically Tuned Linear Algebra Software, Wikidata Q456344 |