CAS (Computer Algebra System)

E47345
mathematical software symbolic computation software

CAS (Computer Algebra System) is software that performs symbolic mathematical computations—such as algebraic manipulation, equation solving, and calculus operations—exactly rather than numerically.

Jump to: Surface forms Statements Referenced by

Observed surface forms (8)

Surface form Occurrences
Computer algebra system 0
Axiom (computer algebra system) 1
Calc 1

Statements (52)

Predicate Object
instanceOf mathematical software ⓘ
symbolic computation software ⓘ
abbreviation CAS ⓘ
contrastsWith numeric computation software ⓘ
developedFrom research in symbolic computation ⓘ
emergedIn 1960s ⓘ
example CAS (Computer Algebra System) self-linksurface differs ⓘ
surface form: Axiom (computer algebra system)

CAS (Computer Algebra System) self-linksurface differs ⓘ
surface form: Magma (algebra system)

Maple ⓘ
CAS (Computer Algebra System) self-linksurface differs ⓘ
surface form: Mathematica

CAS (Computer Algebra System) self-linksurface differs ⓘ
surface form: Maxima

Reduce ⓘ
CAS (Computer Algebra System) self-linksurface differs ⓘ
surface form: SageMath

CAS (Computer Algebra System) self-linksurface differs ⓘ
surface form: SymPy
field computer algebra ⓘ
goal automation of symbolic reasoning ⓘ
exact representation of mathematical objects ⓘ
hasComponent mathematical knowledge base ⓘ
parser for mathematical expressions ⓘ
simplification rules ⓘ
symbolic manipulation engine ⓘ
user interface ⓘ
mayInclude graphing capabilities ⓘ
numerical solvers ⓘ
programming language ⓘ
performs algebraic manipulation ⓘ
calculus operations ⓘ
equation solving ⓘ
exact computations ⓘ
symbolic mathematical computations ⓘ
relatedTo formal methods ⓘ
mathematical optimization ⓘ
numerical analysis ⓘ
theorem proving ⓘ
supportsOperation limit computation ⓘ
matrix operations ⓘ
polynomial factorization ⓘ
series expansion ⓘ
simplification of expressions ⓘ
solving systems of equations ⓘ
symbolic differentiation ⓘ
symbolic integration ⓘ
symbolic linear algebra ⓘ
symbolic summation ⓘ
transformation of expressions ⓘ
typicalInput mathematical expressions ⓘ
typicalOutput transformed symbolic expressions ⓘ
usedIn computer science ⓘ
engineering ⓘ
mathematics education ⓘ
physics ⓘ
scientific research ⓘ

Referenced by (8)

Full triples — surface form annotated when it differs from this entity's canonical label.

CAS (Computer Algebra System) → example → CAS (Computer Algebra System) self-linksurface differs ⓘ
subject surface form: Computer algebra system
this entity surface form: Mathematica
CAS (Computer Algebra System) → example → CAS (Computer Algebra System) self-linksurface differs ⓘ
subject surface form: Computer algebra system
this entity surface form: Maxima
CAS (Computer Algebra System) → example → CAS (Computer Algebra System) self-linksurface differs ⓘ
subject surface form: Computer algebra system
this entity surface form: SageMath
CAS (Computer Algebra System) → example → CAS (Computer Algebra System) self-linksurface differs ⓘ
subject surface form: Computer algebra system
this entity surface form: SymPy
CAS (Computer Algebra System) → example → CAS (Computer Algebra System) self-linksurface differs ⓘ
subject surface form: Computer algebra system
this entity surface form: Magma (algebra system)
CAS (Computer Algebra System) → example → CAS (Computer Algebra System) self-linksurface differs ⓘ
subject surface form: Computer algebra system
this entity surface form: Axiom (computer algebra system)
TI-Nspire graphing calculator series → hasOption → CAS (Computer Algebra System) ⓘ
GNU Emacs → notableComponent → CAS (Computer Algebra System) ⓘ
this entity surface form: Calc