Math 2.0

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.

Rows 4401–4500 of 5528.

NameIdKindOutcomeSources
arrayDE5B7KK2T4unknownopenmathlib_overview Data structures > List-like structures > array, Mathlib Array
array data structureAPKFJS6Y96unknownopenWikidata Q186152, MathWorld Array
ARRGY7T50NARRGY7T50Nstatementrecord (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.12277#PN6J
ARRHYRJ6SZARRHYRJ6SZunknownopenarXiv 2610.13680#HOAC
Arrival theoremD36P0WKW4Tstatementopenmathlib_1000 Q283690, Wikidata Q283690, thousand_plus Q283690, Wikipedia Arrival theorem
Arrow's impossibility theoremTENTXXVFMHstatementopenmathlib_1000 Q33481, Wikidata Q33481, thousand_plus Q33481, Wikipedia Arrow's impossibility theorem, MathWorld ArrowsParadox
Arrow--HanssonC9KYTDGN5Rstatementrecord (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.20542#38PN
Arrow-Lind theoremVK5GXBNTSYstatementopenmathlib_1000 Q17002391, Wikidata Q17002391, thousand_plus Q17002391, Wikipedia Arrow-Lind principle
ARRSQPVY72ARRSQPVY72statementrecord (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.20760#K04S
Ars MagnaF39DFQS81Eunknownout_of_scope (a book, not an item of mathematics)Wikidata Q1231083, ProofWiki Book:Gerolamo_Cardano/Artis_Magnae,_Sive_de_Regulis_Algebraicis
ARS37B46Q8ARS37B46Q8statementrecord (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.37439#FC5B
ARSFQNNRZCARSFQNNRZCstatementrecord (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.25291#YLDR
ARSSR3C5GPARSSR3C5GPdefinitionrecord (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.20386#F5XR
ARSXXKGS0WARSXXKGS0Wstatementrecord (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.24232#U25Z
art gallery problem99ACFT0X9Ystatementopenmathlib_1000 Q2000090, Wikidata Q2000090, thousand_plus Q2000090, Wikipedia Art gallery theorem, MathWorld ArtGalleryTheorem
ART1JGWCBEART1JGWCBEstatementrecord (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#99PH
ART5TDS211ART5TDS211definitionrecord (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.39539#0YL7
ART7JE9FKXART7JE9FKXstatementrecord (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 1209.3562#PVPM
Arthur BesseNV5YMY72B5unknownopenWikidata Q2865000, nLab Arthur Besse
Arthur CayleyFFWZA3JESYunknownout_of_scope (a person, not an item of mathematics)Wikidata Q159430, nLab Arthur Cayley, ProofWiki Mathematician:Arthur_Cayley
Arthur Eddington19BN5GQSJ3unknownout_of_scope (a person, not an item of mathematics)Wikidata Q215022, nLab Arthur Eddington
Arthur JaffeCSEZK9XGZTunknownout_of_scope (a person, not an item of mathematics)Wikidata Q370094, nLab Arthur Jaffe
Arthur OgusP2G3NC5JHQunknownout_of_scope (a person, not an item of mathematics)Wikidata Q18631929, nLab Arthur Ogus
Arthur partnersX1GMWGKBWVstatementrecord (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.16931#BXMJ
Arthur PriorJ2Z6R9FGEGunknownout_of_scope (a person, not an item of mathematics)Wikidata Q250020, nLab Arthur Prior
Arthur SchopenhauerHDCTMPQ69Runknownout_of_scope (a person, not an item of mathematics)Wikidata Q38193, nLab Arthur Schopenhauer
Arthur WightmanVW2JFDNXE8unknownout_of_scope (a person, not an item of mathematics)Wikidata Q712042, nLab Arthur Wightman
artificial intelligence7YDTBTYK4RtopicopenWikidata Q11660, ProofWiki Definition:Artificial_Intelligence
Artificial random isotropic modelM12N948N7Mexamplerecord (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.21952#M5T2
ArtinF8W91VF9TZstatementrecord (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.35340#25GR
ArtinK5D314KYARstatementrecord (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.35340#XKH7
Artin approximation theoremPTN6AAABGAstatementopenmathlib_1000 Q4801169, Wikidata Q4801169, thousand_plus Q4801169, Wikipedia Artin approximation theorem
Artin L-functionWTKF42AAHCunknownopenWikidata Q2993300, LMFDB knowl artin.lfunction, MathWorld ArtinL-Function, nLab Artin L-function
Artin map25D5V3HWQGunknownopenWikidata Q128657469, MathWorld ArtinMap
Artin reciprocity law7B1K79G4FRstatementopenWikidata Q713069, MathWorld ArtinsReciprocityTheorem, nLab Artin reciprocity law
Artin's conjecture on primitive rootsAVQXBRDF46conjectureopenarXiv 2507.13548#4H1M, Wikidata Q2319635, MathWorld ArtinsConstant
Artin's induction theoremZNKQPA38FBstatementrecord (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.25111#LGB7
Artin's primitive element theoremEG1PJYHMPNexerciseopennapkin tex/alg-NT/galois.tex#prob:artin_primitive_elm
Artin's theoremCT1BR83QFDstatementrecord (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.18154#T4QY
Artin--Hasse coefficient recurrenceZ3NXKTA13Tstatementrecord (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.05652#8F07
Artin--Hasse parametersC4E6VDR1M3definitionrecord (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.05652#TO75
Artin--Hasse seriesWDGKQEEXJBdefinitionrecord (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.05652#5Y30
Artin--MazurJ9BX5SBT52statementrecord (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.35467#6S0K
Artin--Schreier coordinate and norm estimates8MVD630Y6Zstatementrecord (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.30301#8JTQ
Artin--Schreier invarianceEEDMDH0MK2statementrecord (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.30301#9IEL
Artin--Schreier layersGB8F3517BBstatementrecord (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.09298#YXYQ
Artin--Schreier norm charactersPC1MSDDZWZstatementrecord (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.30301#A0XC
Artin--Schreier phaseQN6A208SJMstatementrecord (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#HTO4
artinian $\sh{T}(0)$-MTS-algebra coefficient base change4K9TYWD57Kdefinitionrecord (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.26896#HGRB
Artinian groupVEW2G2SBJTunknownopenWikidata Q128656982, EoM Artinian_group, MathWorld ArtinianGroup
Artinian local $\sh{T}(0)-$MTS-algebraM12Y00KYTTdefinitionrecord (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.26896#OR0O
Artinian moduleBQXETZWNVHunknownopenWikidata Q2919100, MathWorld ArtinianModule
artinian ringW6Q0G5843JconceptopenWikidata Q713084, EoM Artinian_ring, MathWorld ArtinianRing, nLab artinian ring
Artinian vanishing without a simultaneous normalizationV43Y5Y1KRKstatementrecord (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.10828#KYVX
Artin–Verdier duality theorem5VH8SQ1HP6statementopenmathlib_1000 Q4801183, Wikidata Q4801183, thousand_plus Q4801183, Wikipedia Artin–Verdier duality
Artin–Wedderburn theorem8RCW132B2Cstatementopenmathlib_1000 Q776578, Mathlib IsSimpleRing.exists_algEquiv_matrix_divisionRing, Mathlib IsSemisimpleRing.exists_algEquiv_pi_matrix_divisionRing, Wikidata Q776578, thousand_plus Q776578, Wikipedia Artin–Wedderburn theorem, EoM Wedderburn-Artin_theorem, nLab Wedderburn-Artin theorem
Artin–Zorn theorem5VG2CR32HXstatementopenmathlib_1000 Q2558669, Wikidata Q2558669, thousand_plus Q2558669, Wikipedia Artin–Zorn theorem
Artstein's theoremKP6NCH4EJYstatementopenmathlib_1000 Q4801563, Wikidata Q4801563, thousand_plus Q4801563, Wikipedia Artstein's theorem
Arun RamFXTDG7KF8Nunknownout_of_scope (a person, not an item of mathematics)Wikidata Q57295074, nLab Arun Ram
ARV17X83KQARV17X83KQstatementrecord (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.40017#EW2F
ARV7JA9457ARV7JA9457statementopenhott_book homotopy.tex#thm-2
Arvind RajaramanJ3C4SNR8RAunknownout_of_scope (a person, not an item of mathematics)Wikidata Q4802501, nLab Arvind Rajaraman
ARVNEZKKR2ARVNEZKKR2exerciseopenlebl_ra ch-approximate.tex#exercise-28
ARVS1KC5FMARVS1KC5FMstatementrecord (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.08873#IZJ6
ARVWZPFHT8ARVWZPFHT8statementrecord (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 2208.07401#6STX
ARW3PWX6XKARW3PWX6XKstatementrecord (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.13877#NABE
ARWG4B31N6ARWG4B31N6problemrecord (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.09596#1YB2
ARWKCNJEJ3ARWKCNJEJ3definitionrecord (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.30018#O017
ARXB3G22BWARXB3G22BWexamplerecord (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.38548#1WI8
ARXE63HADNARXE63HADNexamplerecord (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.30049#TYXP
ARXNGZXHXXARXNGZXHXXexamplerecord (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 1912.02769#D8GD
ARXZGC505SARXZGC505Sstatementopenernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-2
AryabhataFZKE9SSB3Zunknownout_of_scope (a person, not an item of mathematics)Wikidata Q11359, ProofWiki Mathematician:Aryabhata_the_Elder
ARYZQ9X6X4ARYZQ9X6X4statementrecord (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 2108.03672#LUYH
ARZ0B7YC8ZARZ0B7YC8Zdefinitionrecord (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.36313#418S
ARZ2YTDYMVARZ2YTDYMVstatementrecord (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.13214#48FK
Arzel\`a--AscoliVSAVZTPP9Kstatementopenlebl_ra ch-approximate.tex#thm:arzelaascoli
Arzel\`a--Ascoli theoremAYHE8PHM3Tconceptopenlebl_ra index/1.6/arzel-a-ascoli-theorem
Arzelà–Ascoli theoremBBSVJ2B662statementnode (a node has the same name as the row)mathlib_1000 Q1477053, Mathlib BoundedContinuousFunction.arzela_ascoli, Wikidata Q1477053, mathlib_overview Topology > Metric spaces > Arzela-Ascoli theorem, mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > Arzela-Ascoli theorem, thousand_plus Q1477053, Wikipedia Arzelà–Ascoli theorem
ARZGR8FW1GARZGR8FW1Gstatementrecord (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.32058#VKBK
As I was going to St IvesX1YHJYHHJTstatementopenWikidata Q719944, MathWorld StIvesProblem, ProofWiki St._Ives_Problem
AS06MCSMHEAS06MCSMHEexamplerecord (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.19309#MWKY
AS08A9Y8CHAS08A9Y8CHstatementrecord (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.21934#EMAL
AS0DT0X14DAS0DT0X14Dexamplerecord (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.10469#HZRW
AS0R0E6KK7AS0R0E6KK7definitionrecord (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.16055#9NPS
AS18XEF1BBAS18XEF1BBstatementrecord (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.14450#VW00
AS1KGQRX96AS1KGQRX96statementrecord (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.39254#AOXK
AS1WHG57JCAS1WHG57JCstatementrecord (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#YVIF
AS201N02KFAS201N02KFstatementrecord (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.03337#CPTQ
AS21V6R7QAAS21V6R7QAproblemrecord (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.15217#PAES
AS2D9QAEFSAS2D9QAEFSstatementrecord (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.09154#VLAJ
AS2F11JJ6TAS2F11JJ6Tstatementrecord (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 1009.2047#0Q9S
AS2N1M3TKXAS2N1M3TKXstatementrecord (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.15344#1OW8
AS3KA8FB3FAS3KA8FB3Fstatementrecord (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.16554#3NXG
AS4N356M35AS4N356M35statementrecord (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.01694#DX6G
AS4RYQVBKPAS4RYQVBKPstatementrecord (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.33584#P1VM
AS52SSMWQ7AS52SSMWQ7statementrecord (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 1009.2043#CUQP
AS537RQHRFAS537RQHRFstatementrecord (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.29824#ZQCC
AS53A5TT5MAS53A5TT5Mstatementrecord (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.02912#E0ES
AS5666JQCXAS5666JQCXstatementrecord (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#VN7A