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
|