Computer Algebra System (CAS)
GPTKB entity
Statements (61)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
gptkb:statistical_analysis |
| gptkbp:canBe |
gptkb:combinatorics
gptkb:cloud_service gptkb:mobile_application gptkb:software gptkb:data_visualization gptkb:series_expansion linear algebra matrix operations polynomial factorization code generation 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 |
| gptkbp:purpose |
automated theorem proving
mathematical modeling symbolic mathematical computation algebraic manipulation |
| gptkbp:relatedConcept |
gptkb:statistical_analysis
numerical analysis scientific computing automated theorem proving computer algebra symbolic computation |
| gptkbp:bfsParent |
gptkb:Voyage_200
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Computer Algebra System (CAS)
|