Similar to 形式的検証
2の12乗根
Twelfth root of two
2の自然対数
Natural logarithm of 2
2の立方根
3つの立方数の和
Sums of three cubes
3人の子供の年齢のパズル
Ages of Three Children puzzle
4次元多様体
4-manifold
68–95–99.7則
68–95–99.7 rule
6j記号
6-j symbol
A*
A* search algorithm
AB5 圏
AB5 category
ABC@home
ABC@Home
ABC予想
Abc conjecture
Abramowitz and Stegun
Abramowitz and StegunActa Mathematica
Acta Mathematica
ADF-GLS検定
ADF-GLS test
AKS素数判定法
AKS primality test
AMS-LaTeX
AMS-LaTeX
AMS-TeX
Analyse des infiniment petits pour l'intelligence des lignes courbes
Analyse des Infiniment Petits pour l'Intelligence des Lignes CourbesAnnales de Gergonne
Annales de Gergonne
Annals of Mathematics
Annals of Mathematics
Apache Commons Math
Arg max
Arg maxArithmetica
Arthur–Merlinプロトコル
Arthur–Merlin protocol
Axiom (数式処理システム)
Axiom (computer algebra system)
A¹ ホモトピー理論
A¹ homotopy theory
A∞-オペラド
A∞-operad