Similar to 節標準形

Alexandroff extension

Alexandrov theorem

Aleph number

Allen–Cahn equation

Aronszajn tree

Cryptography

Darkside communication group

Mental calculation

Ensemble Kalman filter

Dark figure of crime

Anscombe's quartet

Specification and Description Language

Formal methods

B-Method

CICS

Communicating sequential processes

Guarded Command Language

Lustre (programming language)

Planner (programming language)

PlusCal

TLA+

Vienna Development Method

Proof of concept

Typed lambda calculus

Gröbner basis

Formal specification

Formal verification

Formal equivalence checking