Disambiguation evidence for CAS (Computer Algebra System) via surface form
"Computer algebra system"
As subject (52)
Triples where this entity appears as subject under the
label "Computer algebra system".
| Predicate | Object |
|---|---|
| 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)
|
| example |
CAS (Computer Algebra System)
self-linksurface differs
ⓘ
surface form:
Magma (algebra system)
|
| example | Maple ⓘ |
| example |
CAS (Computer Algebra System)
self-linksurface differs
ⓘ
surface form:
Mathematica
|
| example |
CAS (Computer Algebra System)
self-linksurface differs
ⓘ
surface form:
Maxima
|
| example | Reduce ⓘ |
| example |
CAS (Computer Algebra System)
self-linksurface differs
ⓘ
surface form:
SageMath
|
| example |
CAS (Computer Algebra System)
self-linksurface differs
ⓘ
surface form:
SymPy
|
| field | computer algebra ⓘ |
| goal | automation of symbolic reasoning ⓘ |
| goal | exact representation of mathematical objects ⓘ |
| hasComponent | mathematical knowledge base ⓘ |
| hasComponent | parser for mathematical expressions ⓘ |
| hasComponent | simplification rules ⓘ |
| hasComponent | symbolic manipulation engine ⓘ |
| hasComponent | user interface ⓘ |
| instanceOf | mathematical software ⓘ |
| instanceOf | symbolic computation software ⓘ |
| mayInclude | graphing capabilities ⓘ |
| mayInclude | numerical solvers ⓘ |
| mayInclude | programming language ⓘ |
| performs | algebraic manipulation ⓘ |
| performs | calculus operations ⓘ |
| performs | equation solving ⓘ |
| performs | exact computations ⓘ |
| performs | symbolic mathematical computations ⓘ |
| relatedTo | formal methods ⓘ |
| relatedTo | mathematical optimization ⓘ |
| relatedTo | numerical analysis ⓘ |
| relatedTo | theorem proving ⓘ |
| supportsOperation | limit computation ⓘ |
| supportsOperation | matrix operations ⓘ |
| supportsOperation | polynomial factorization ⓘ |
| supportsOperation | series expansion ⓘ |
| supportsOperation | simplification of expressions ⓘ |
| supportsOperation | solving systems of equations ⓘ |
| supportsOperation | symbolic differentiation ⓘ |
| supportsOperation | symbolic integration ⓘ |
| supportsOperation | symbolic linear algebra ⓘ |
| supportsOperation | symbolic summation ⓘ |
| supportsOperation | transformation of expressions ⓘ |
| typicalInput | mathematical expressions ⓘ |
| typicalOutput | transformed symbolic expressions ⓘ |
| usedIn | computer science ⓘ |
| usedIn | engineering ⓘ |
| usedIn | mathematics education ⓘ |
| usedIn | physics ⓘ |
| usedIn | scientific research ⓘ |