Similar to 節標準形
アンティポン
Antiphon (orator)鞍点
Saddle point安藤毅 (数学者)
安藤有益
アンドリカの予想
Andrica's conjectureジョージ・アンドリューズ
George Andrews (mathematician)アンの定理
Anne's theoremアンビリック・トーラス
Umbilic torusイマナント
Immanant▲1 trendsEMアルゴリズム
Expectation–maximization algorithm仕様及び記述言語
Specification and Description Language形式手法
Formal methodsB-Method
B-MethodCICS
CICSCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command LanguageLustre (プログラミング言語)
Lustre (programming language)Planner
Planner (programming language)PlusCal
PlusCalTLA+
TLA+VDM
Vienna Development Method概念実証
Proof of concept型付きラムダ計算
Typed lambda calculusグレブナー基底
Gröbner basis形式仕様記述
Formal specification形式的検証
Formal verification形式等価判定
Formal equivalence checking自動定理証明
Automated theorem proving