REDUCE is a general-purpose computer algebra system originally geared towards applications in physics. The development of REDUCE was started in 1963 by...

Dynamical systems theory is an area of mathematics used to describe the behavior of complex dynamical systems, usually by employing differential equations...

In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating...

capacity for symbolic computing include those of a general-purpose computer algebra system. For instance, it can manipulate mathematical expressions and find...

Dynamical system simulation or dynamic system simulation is the use of a computer program to model the time-varying behavior of a dynamical system. The...

subspace. As K-algebras, they generalize the real numbers, complex numbers, quaternions and several other hypercomplex number systems. The theory of Clifford...

In mathematics, a dynamical system is a system in which a function describes the time dependence of a point in an ambient space, such as in a parametric...

successor models to the CFX-9970G, the first Casio calculator with computer algebra system, or CAS, a program for symbolic manipulation of mathematical expressions...

engines Dynamic programming language Fourth-generation programming language Functional programming List of computer algebra systems List of computer simulation...

graphical multi-domain simulation and model-based design for dynamic and embedded systems. As of 2020[update], MATLAB has more than four million users...

by systems such as Mathematica, Maple, Macsyma, MATLAB, and Jupyter. Mathcad today includes some of the capabilities of a computer algebra system, but...

linear algebra, because it provides faster computation than with the usual numeral systems, even when the time for converting between numeral systems is taken...

of mathematics, such as theoretical physics, computer science, algebra, analysis, combinatorics, algebraic, differential, discrete and Euclidean geometries...

closely related to computability. Petri nets and process algebras are used to model computer systems, and methods from discrete mathematics are used in analyzing...

and Computer Science 1 (2) (2003), 347-361 M. K. Németh and R. Vajda: Computer-Assisted Assessment of Mathematical Knowledge. In: Computer Algebra Systems...

F.; Mitschi, C. (2003), From combinatorics to dynamical systems: Proceedings of the Computer Algebra Conference in honor of Jean Thomann held in Strasbourg...

decidable whether an algebraic linear recurrence sequence has a zero? Hilbert's tenth problem over the field of rational numbers The dynamic optimality conjecture:...

for individual workstations and high performance computer clusters. SageMath - a system for algebra and geometry experimentation via Python. Scilab -...

production suite Symbolics Joshua, an expert system shell Symbolics Macsyma, a computer algebra system Symbolics NS, a chip design tool Symbolics Plexi...

universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP". Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science...

a differential-algebraic system of equations (DAE) is a system of equations that either contains differential equations and algebraic equations, or is...

A hybrid system is a dynamical system that exhibits both continuous and discrete dynamic behavior – a system that can both flow (described by a differential...

state space with discrete states in computer science. Molecular dynamics Mathematics Cotangent bundle Dynamic system Symplectic manifold Wigner–Weyl transform...

objects can be operated on using the same algebraic syntax. From this point of view, and considering the dynamic and structured nature of the data held in...

Interactive geometry software (IGS) or dynamic geometry environments (DGEs) are computer programs which allow one to create and then manipulate geometric...

at the system level of data processing". This led to the development of a specific IS information algebra. In business and IT development systems are modeled...

includes a programming language and computer algebra abilities. PARI/GP is a widely used computer algebra system designed for fast computations in number...

Numerical linear algebra, sometimes called applied linear algebra, is the study of how matrix operations can be used to create computer algorithms which...

notable theorems. Lists of theorems and similar statements include: List of algebras List of algorithms List of axioms List of conjectures List of data structures...

Mellin transforms. Lacking a general algorithm, the developers of computer algebra systems have implemented heuristics based on pattern-matching and the exploitation...