Computer algebra system: A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computations of mathematicians and scientists. The development of the computer algebra ... (Software) [100%] 2023-11-21 [Computer algebra systems]
Computer algebra system: A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computations of mathematicians and scientists. The development of the computer algebra ... (Mathematical software) [100%] 2026-05-19 [Computer algebra systems] [Algebra education]...
Computer algebra: In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects. Although computer algebra ... (Scientific area at the interface between computer science and mathematics) [90%] 2023-12-30 [Computer algebra]
Computer algebra: In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects. Although computer algebra ... (Scientific area at the interface between computer science and mathematics) [90%] 2025-06-09 [Computer algebra]
Free algebra: In mathematics, especially in the area of abstract algebra known as ring theory, a free algebra is the noncommutative analogue of a polynomial ring since its elements may be described as "polynomials" with non-commuting variables. Likewise, the polynomial ring ... [89%] 2023-11-12 [Algebras] [Ring theory]...
Free algebra: in a class $\mathfrak K$ of universal algebras An algebra $F$ in $\mathfrak K$ with a free generating system (or base) $X$, that is, with a set $X$ of generators such that every mapping of $X$ into any algebra $A ... (Mathematics) [89%] 2023-10-22
Free algebraic system: A free object in a certain class of algebraic systems. Let $ \mathfrak K $ be a non-empty class of algebraic systems (see Algebraic systems, class of). (Mathematics) [87%] 2023-12-30
Macaulay computer algebra system: Macaulay is a computer algebra system for doing polynomial computations, particularly Gröbner basis calculations. Macaulay is designed for solving problems in commutative algebra and algebraic geometry. (Software) [86%] 2025-03-22 [Computer algebra system software for Linux] [Computer algebra systems]...
List of computer algebra systems: The following tables provide a comparison of computer algebra systems (CAS). A CAS is a package comprising a set of algorithms for performing symbolic manipulations on algebraic objects, a language to implement them, and an environment in which to use ... (none) [81%] 2026-04-28 [Computer algebra systems] [Comparisons of mathematical software]...
Algebraic algebra: An algebra with associative powers (in particular, an associative algebra) over a field in which all elements are algebraic: an element $a$ of the algebra $A$ is called algebraic over the field $F$ if the subalgebra $F$ generated by $a ... (Mathematics) [80%] 2023-10-13
Computer algebra package: computer algebra system A computer program focusing on exact mathematical formula manipulation. It differs from numerical packages in that it manipulates symbols rather than numbers; thus, it does calculations in exact mode. (Mathematics) [74%] 2023-10-17
Free associative algebra: The algebra $k\langle X \rangle$ of polynomials over a field $k$ in non-commuting variables in $X$. The following universal property determines the algebra $k\langle X \rangle$ uniquely up to an isomorphism: There is a mapping $i : k ... (Mathematics) [73%] 2023-12-03 [Associative rings and algebras]
Free Lie algebra: In mathematics, a free Lie algebra over a field K is a Lie algebra generated by a set X, without any imposed relations other than the defining relations of alternating K-bilinearity and the Jacobi identity. The definition of the ... [73%] 2023-08-28 [Properties of Lie algebras] [Free algebraic structures]...
Free Boolean algebra: In mathematics, a free Boolean algebra is a Boolean algebra with a distinguished set of elements, called generators, such that: The generators of a free Boolean algebra can represent independent propositions. Consider, for example, the propositions "John is tall" and ... [73%] 2022-11-11 [Boolean algebra] [Free algebraic structures]...
Lie algebra, free: over a ring $R$ A Lie algebra $L = L(X)$ over $R$ in which one can distinguish a free generating set $X$, a mapping from which into an arbitrary algebra $G$ over $R$ can be be extended to a homomorphism ... (Mathematics) [73%] 2023-10-12 [Nonassociative rings and algebras]
Free Boolean algebra: A Boolean algebra with a system of generators such that every mapping from this system into a Boolean algebra can be extended to a homomorphism. Every Boolean algebra is isomorphic to a quotient algebra of some free Boolean algebra. (Mathematics) [73%] 2022-10-06
Free Boolean algebra: A Boolean algebra with a system of generators such that every mapping from this system into a Boolean algebra can be extended to a homomorphism. Every Boolean algebra is isomorphic to a quotient algebra of some free Boolean algebra. (Mathematics) [73%] 2024-03-08
Quasi-free algebra: In abstract algebra, a quasi-free algebra is an associative algebra that satisfies the lifting property similar to that of a formally smooth algebra in commutative algebra. The notion was introduced by Cuntz and Quillen for the applications to cyclic ... (Associative algebra with lifting property) [73%] 2025-03-10 [Abstract algebra]
Quasi-free algebra: In abstract algebra, a quasi-free algebra is an associative algebra that satisfies the lifting property similar to that of a formally smooth algebra in commutative algebra. The notion was introduced by Cuntz and Quillen for the applications to cyclic ... (Associative algebra with lifting property) [73%] 2026-04-13 [Abstract algebra]
Metaphor Computer Systems: Metaphor Computer Systems (1982–1994) was an American computer company that created an advanced workstation, database gateway, unique graphical office interface, and software applications that "seamlessly integrate" data from both internal and external sources. The Metaphor machine was one of ... (American computer company) [66%] 2023-12-17 [American companies established in 1982] [American companies disestablished in 1994]...
From search of external encyclopedias: