Similar to 数式処理システム

AST/ALT ratio

AV1

B

BASIC

Brilliant (website)

Bücker Bü 133 Jungmeister

C++ AMP

C++ Technical Report 1

C++14

Boeing C-135 Stratolifter

Canonical XML

Charge-coupled device

Fast Library for Number Theory

GeoGebra

GiNaC

Magma (computer algebra system)

Wolfram Mathematica

PARI/GP

Singular (software)

SymPy

WIRIS

Maxima (software)

MuPAD

Yacas

1 + 1 + 1 + 1 + ⋯