CAS (Computer Algebra System)

All labels observed (8)

Label	Occurrences
Mathematica	3
SymPy	2
Axiom (computer algebra system)	1
CAS (Computer Algebra System) canonical	1
Calc	1
Magma (algebra system)	1
Maxima	1
SageMath	1

How this entity was disambiguated

This entity first appeared as the object of triple T373720 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: CAS (Computer Algebra System)
Context triple: [TI-Nspire graphing calculator series, hasOption, CAS (Computer Algebra System)]

A. ACM SIGSAM
ACM SIGSAM is the Association for Computing Machinery’s Special Interest Group on Symbolic and Algebraic Manipulation, focusing on research and development in computer algebra and symbolic computation.
B. UCSD p-System
UCSD p-System is a portable operating system and programming environment based on the Pascal language and p-code virtual machine, widely used in the late 1970s and early 1980s across multiple hardware platforms.
C. Julia
Julia is a high-level, high-performance programming language designed for numerical computing, data science, and scientific research, combining the ease of dynamic languages with the speed of compiled languages.
D. CESAER
CESAER is a European association of leading universities of science and technology that collaborates to advance engineering education, research, and innovation.
E. Algol 68
Algol 68 is a high-level, structured programming language from the ALGOL family, notable for its orthogonal design and influence on many later languages.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

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

A. ACM SIGSAM
ACM SIGSAM is the Association for Computing Machinery’s Special Interest Group on Symbolic and Algebraic Manipulation, focusing on research and development in computer algebra and symbolic computation.
B. UCSD p-System
UCSD p-System is a portable operating system and programming environment based on the Pascal language and p-code virtual machine, widely used in the late 1970s and early 1980s across multiple hardware platforms.
C. Julia
Julia is a high-level, high-performance programming language designed for numerical computing, data science, and scientific research, combining the ease of dynamic languages with the speed of compiled languages.
D. CESAER
CESAER is a European association of leading universities of science and technology that collaborates to advance engineering education, research, and innovation.
E. Algol 68
Algol 68 is a high-level, structured programming language from the ALGOL family, notable for its orthogonal design and influence on many later languages.
F. None of above. chosen

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 ⓘ

How these facts were elicited

Referenced by (11)

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

TI-Nspire graphing calculator series → hasOption → CAS (Computer Algebra System) ⓘ

GNU Emacs → notableComponent → CAS (Computer Algebra System) ⓘ

this entity surface form: Calc

CAS (Computer Algebra System) → example → CAS (Computer Algebra System) self-linksurface differs ⓘ