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 1501–1600 of 5528.

NameIdKindOutcomeSources
AB9PHS6THMAB9PHS6THMstatementrecord (an 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.20406#1LSS
AB9XY0GCBJAB9XY0GCBJstatementrecord (an 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.37274#ZK9Y
abacusBF1FYD1F39definitionopenWikidata Q12806, EoM Abacus, MathWorld Abacus, ProofWiki Definition:Abacus
ABAK83CT2HABAK83CT2Hproofopenopen_logic content/first-order-logic/completeness/completeness-thm.tex#proof-1
abampereZQ9WZZ5ETHdefinitionopenWikidata Q864818, ProofWiki Definition:Abampere
Aban numberS8XZ1GTGKDobjectopenWikidata Q120336202, MathWorld AbanNumber
ABAPSHRC0PABAPSHRC0Pstatementrecord (an 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.22132#P7MS
AbatePTH33V4PFPstatementrecord (an 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.01520#JX4F
ABBATFKZJJABBATFKZJJstatementrecord (an 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.00798#CTDW
abc conjectureVWFNW3RYHCconjectureopenWikidata Q306393, EoM ABC_conjecture, MathWorld abcConjecture, nLab abc conjecture, ProofWiki Oesterlé-Masser_Conjecture
ABC17ECMX5ABC17ECMX5statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2102.09374#89J9
ABCCV8TN2GABCCV8TN2Gstatementrecord (an 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.15877#H4BH
abcoulomb4Y4RCCYX8CdefinitionopenWikidata Q4176683, ProofWiki Definition:Abcoulomb
ABCT9GKMN7ABCT9GKMN7statementrecord (an 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.38188#N7LT
ABCYQTYE0QABCYQTYE0Qstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2505.08839#20R5
ABDC41WM3ZABDC41WM3Zstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2401.07983#XKO5
ABDKZPKS5NABDKZPKS5Nstatementrecord (an 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.28552#YN92
ABDRMHXRRHABDRMHXRRHstatementrecord (an 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.18632#BKX8
abductive reasoning1ZRZ315DKAunknownopenWikidata Q308495, nLab abductive reasoning
Abdus SalamBVJS84VNDQunknownout_of_scope (a person, not an item of mathematics)Wikidata Q28189, nLab Abdus Salam
ABE2XPCHTMABE2XPCHTMstatementrecord (an 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#LH0K
Abel equation of the first kindE5GG53B7CCunknownopenWikidata Q3730861, EoM Abel_differential_equation, MathWorld AbelsDifferentialEquation
Abel integral equationRBN7THBT3PunknownopenWikidata Q78155084, EoM Abel_integral_equation
Abel polynomials6GYTCM55YNconceptopenWikidata Q3395686, MathWorld AbelPolynomial
Abel PrizeKRD4C0VDQRdefinitionopenWikidata Q188184, MathWorld AbelPrize, ProofWiki Definition:Abel_Prize
Abel transformKSFZVGQKQBconceptopenWikidata Q4666656, MathWorld AbelTransform
Abel's binomial theorem3P0JQXS32Cstatementopenmathlib_1000 Q268031, Wikidata Q268031, thousand_plus Q268031, Wikipedia Abel's binomial theorem, MathWorld AbelsBinomialTheorem, MathWorld AbelsTheorem
Abel's identityN4G7KSQYMKstatementnode (a node has the same Wikidata item as the row)Wikidata Q318714, MathWorld AbelsDifferentialEquationIdentity
Abel's inequalityYS1T5J8RVKstatementopenWikidata Q4666526, MathWorld AbelsInequality
Abel's irreducibility theoremPTHY2TDXQMconceptopenWikidata Q4666518, MathWorld AbelsIrreducibilityTheorem
Abel's lemma on summation by parts6AAZZ1QASBstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2104.04145#OUBD
Abel's testX8SH9HZGPTstatementnode (a node has the same Wikidata item as the row)Wikidata Q479834, MathWorld AbelsUniformConvergenceTest, ProofWiki Abel's_Test
Abel's theorem440YH4Q72Nstatementnode (a node has the same Wikidata item as the row)mathlib_1000 Q318767, Mathlib Complex.tendsto_tsum_powerSeries_nhdsWithin_stolzCone, Mathlib Real.tendsto_tsum_powerSeries_nhdsWithin_lt, Wikidata Q318767, thousand_plus Q318767, Wikipedia Abel's theorem, EoM Abel_summation_method, MathWorld AbelsConvergenceTheorem
Abel--JacobiW5P5R26YS0statementrecord (an 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.07508#8OY5
Abel-Ruffini theorem (one direction)R86P7PFS0Aunknownopenmathlib_overview General algebra > Field theory > Abel-Ruffini theorem (one direction), Mathlib isSolvable_gal_minpoly
AbelianAKH0VGZWYQunknownopenWikidata Q13050646, MathWorld Abelian
Abelian and Tauberian theoremsEATDKEH19Dstatementopenmathlib_1000 Q2376918, Wikidata Q2376918, thousand_plus Q2376918, Wikipedia Abelian and Tauberian theorems
Abelian BF on the positive real conifoldKQ36YH3A2Mstatementrecord (an 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.27799#XXZ1
abelian categoryRY3BKEFJ0Vconceptopenmathlib_overview General algebra > Category theory > abelian category, Mathlib CategoryTheory.Abelian, Wikidata Q318737, EoM Abelian_category, MathWorld AbelianCategory, nLab abelian category, ProofWiki Definition:Abelian_Category
Abelian endpointYYWS8CKYZKstatementrecord (an 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.34289#4SWK
Abelian exceptional intervalRXQVP1S6F3statementrecord (an 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.27799#IDUB
abelian extensionM24DSQYBRXconceptopenWikidata Q318705, EoM Abelian_extension, MathWorld AbelianExtension
abelian groupEEC7QXJMXQconceptnode (a node has the same name as the row)Wikidata Q181296, EoM Abelian_group, LMFDB knowl group.abelian, Mathlib CommGroup, MathWorld AbelianGroup, nLab abelian group, ProofWiki Definition:Abelian_Group
Abelian groups are $\ZZ$-modulesT5F5SB105Sexampleopennapkin tex/linalg/vector-space.tex#example-4
Abelian identity component6B4WH94HMQexamplerecord (an 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.21675#TBBI
abelian integralE3CYJ6BH2NunknownopenWikidata Q318761, EoM Abelian_integral, MathWorld AbelianIntegral
Abelian length functionsQKQHZ9Y196definitionrecord (an 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.17116#6ZD5
Abelian surfaceZ5EYCRYGTGunknownopenWikidata Q4666683, EoM Abelian_surface, LMFDB knowl ag.abelian_surface
Abelian theoremR3CPQCXXCKdefinitionopenWikidata Q122798055, MathWorld AbelianTheorem, ProofWiki Definition:Abelian_Theorem
abelian topological groupVDX98QPZY8unknownopenWikidata Q7825020, nLab topological abelian group
abelian varietyA8FVYJCBW0conceptopenWikidata Q318751, EoM Abelian_variety, LMFDB knowl ag.abelian_variety, MathWorld AbelianVariety, nLab abelian variety
abelian von Neumann algebraD7MJ476140topicopenWikidata Q4666687
abelianization1VRAZ8FKZHunknownopenmathlib_overview General algebra > Group theory > abelianization, Mathlib Abelianization
abelianization6T2F01QHKZunknownopenWikidata Q318598, LMFDB knowl group.abelianization, MathWorld Abelianization, nLab abelianization
Abel–Jacobi theoremJM0KX4JP5Gstatementopenmathlib_1000 Q4666729, Wikidata Q4666729, mathlib_1000 Q4666729X, thousand_plus Q4666729, Wikipedia Abel–Jacobi theorem, thousand_plus Q4666729X, Wikipedia Abel's curve theorem
Abel–Plana formulaAFSNJ4WSYXconceptopenWikidata Q4666730, MathWorld Abel-PlanaFormula
Abel–Ruffini theoremA1QEWGTZENstatementopenmathlib_100 16, Mathlib AbelRuffini.exists_not_solvable_by_rad, mathlib_1000 Q657482, Wikidata Q657482, thousand_plus Q657482, Wikipedia Abel–Ruffini theorem, MathWorld AbelsImpossibilityTheorem
ABF79N5RDSABF79N5RDSstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1004.4564#JTHH
ABF9P84EWPABF9P84EWPstatementrecord (an 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.24523#4LVK
abfaradJVVVXRX4PFdefinitionopenWikidata Q12783919, ProofWiki Definition:Abfarad
ABFCRSV5M8ABFCRSV5M8statementopenopen_logic content/normal-modal-logic/completeness/frame-completeness.tex#thm:generaldet
ABFRJ7BQ1GABFRJ7BQ1Gstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2305.10921#A16P
ABG19B1GRZABG19B1GRZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2406.07116#S232
ABGXWKZFPWABGXWKZFPWstatementrecord (an 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/0406514#RUSY
ABH1QX6SSSABH1QX6SSSstatementrecord (an 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.14979#178H
ABH4VQBB35ABH4VQBB35conjecturerecord (an 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.30648#PIRV
Abhandlungen aus dem Mathematischen Seminar der Universitaet HamburgW119J4CTSDunknownout_of_scope (a book, not an item of mathematics)Wikidata Q4667320, ProofWiki Book:Journal/Abhandlungen_aus_dem_Mathematischen_Seminar_der_Universität_Hamburg
abhenryBRGZNHS3Z1definitionopenWikidata Q4667368, ProofWiki Definition:Abhenry
ABHRE3BKC6ABHRE3BKC6statementopenopen_logic content/computability/computability-theory/fixed-point-thm.tex#lem:fixed-equiv
Abhyankar's conjectureX59QZNRHHYstatementopenWikidata Q4667492, MathWorld AbhyankarsConjecture
Abhyankar's inequalityJ0CEV5GBDKstatementrecord (an 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.07508#JJ2B
Abhyankar–Moh theoremX30CZ2BJWMstatementopenmathlib_1000 Q4667501, Wikidata Q4667501, thousand_plus Q4667501, Wikipedia Abhyankar–Moh theorem, EoM Abhyankar%E2%80%93Moh_theorem
Abi-Khuzam inequalityB0WNWTX608statementopenWikidata Q122889520, MathWorld Abi-KhuzamInequality, ProofWiki Abi-Khuzam_Inequality
ABJXKFR07AABJXKFR07Astatementrecord (an 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.24206#HZL7
ABK6AR4AA2ABK6AR4AA2statementrecord (an 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.35577#WODR
ABKFC477QBABKFC477QBexampleopenhott_book homotopy.tex#eg-2
ABL Rank-One Reduction1BHAE4F6TDstatementrecord (an 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.27120#R10X
ABM36TY1DQABM36TY1DQstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2607.00146#DQS1
ABM80GPP2SABM80GPP2Sstatementrecord (an 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.15013#S04T
ABMP3WRB8MABMP3WRB8Mstatementrecord (an 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.21545#NWHD
ABMSPKETVJABMSPKETVJconjecturerecord (an 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.37093#4S50
ABMTFPHHGNABMTFPHHGNdefinitionrecord (an 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.00412#HFG0
ABNJBKGMCEABNJBKGMCEstatementrecord (an 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.30015#HA20
abnormal number15YR80FY4GconceptopenWikidata Q122889543, MathWorld AbnormalNumber
abnormal subgroupD0XZ3XAEK0unknownopenWikidata Q4668179, EoM Abnormal_subgroup
ABNYJFS932ABNYJFS932statementrecord (an 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.29918#348R
abohmASW5FW5S4GdefinitionopenWikidata Q1091059, ProofWiki Definition:Abohm
About level-convexity and non-degeneracy3HV2Z341XAexamplerecord (an 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.27918#B0ST
About the Assumptions, Part I42Z1HREF0Gunknownopen
About the Assumptions, Part IIRVBJ2EB4Z1unknownopen
About the Convergence of the Discrete SchemesWD1PDTVG7Sunknownopen
About the RelaxationRPMEPBG6NRunknownopen
ABPF658B1QABPF658B1Qdefinitionrecord (an 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.04870#264R
ABPHG1D7X5ABPHG1D7X5exerciseopenlevin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-13
ABPZ2QBGZNABPZ2QBGZNstatementrecord (an 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.22082#MNR0
ABQ2JT5W27ABQ2JT5W27statementrecord (an 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.18239#IOWJ
ABQ4Z5XS4EABQ4Z5XS4Estatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2606.02312#XJ8D
ABQ57EW8CRABQ57EW8CRstatementrecord (an 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#3NN1
ABQB0BBGCYABQB0BBGCYstatementrecord (an 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.21945#55AY
ABQRGJ5PAKABQRGJ5PAKstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2510.12502#NG5Q