Computer Algebra System (CAS)

GPTKB entity

Statements (61)
Predicate Object
gptkbp:instanceOf gptkb:software
statistical analysis
gptkbp:canBe gptkb:cloud_service
gptkb:mobile_application
gptkb:software
gptkb:data_visualization
combinatorics
linear algebra
matrix operations
polynomial factorization
code generation
series expansion
commercial software
plotting graphs
desktop software
solving equations
logic operations
symbolic integration
symbolic differentiation
limit computation
simplification of expressions
calculus operations
discrete mathematics operations
number theory computations
gptkbp:developedBy 1960s
gptkbp:example gptkb:GAP
gptkb:Titan
gptkb:Pari/GP
gptkb:Maxima
gptkb:Mathematica
gptkb:Maple
gptkb:Magma
gptkb:SymPy
gptkb:SageMath
gptkb:MuPAD
Singular
Reduce
Derive
gptkbp:field gptkb:mathematics
computer science
education
engineering
physics
gptkbp:format gptkb:law
gptkb:text
tables
plots
mathematical expressions
https://www.w3.org/2000/01/rdf-schema#label Computer Algebra System (CAS)
gptkbp:purpose automated theorem proving
mathematical modeling
symbolic mathematical computation
algebraic manipulation
gptkbp:relatedConcept numerical analysis
scientific computing
statistical analysis
automated theorem proving
computer algebra
symbolic computation
gptkbp:bfsParent gptkb:Voyage_200
gptkbp:bfsLayer 7