GAP (Groups, Algorithms and Programming) is an open source computer algebra system for computational discrete algebra with particular emphasis on computational...
7 KB (791 words) - 12:33, 8 June 2025
A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software with the ability to manipulate mathematical expressions in...
18 KB (1,799 words) - 08:46, 17 May 2025
comparison of computer algebra systems (CAS). A CAS is a package comprising a set of algorithms for performing symbolic manipulations on algebraic objects,...
30 KB (662 words) - 19:31, 8 June 2025
Singular (software) (redirect from SINGULAR computer algebra system)
is a computer algebra system for polynomial computations with special emphasis on the needs of commutative and non-commutative algebra, algebraic geometry...
5 KB (248 words) - 05:04, 21 May 2023
List of open-source software for mathematics (redirect from List of open-source computer algebra systems)
computer algebra system (CAS) is a software product designed for manipulation of mathematical formulae. The principal objective of a computer algebra...
16 KB (1,700 words) - 16:36, 12 June 2025
an instance of gapping Parasitic gap, a kind of correlated ellipsis Air gap (networking), a security measure GAP (computer algebra system) (Groups, Algorithms...
3 KB (464 words) - 18:06, 2 March 2025
SageMath (redirect from SAGE (Computer Algebra System))
SageMath (previously Sage or SAGE, "System for Algebra and Geometry Experimentation") is a computer algebra system (CAS) with features covering many aspects...
13 KB (877 words) - 04:50, 11 June 2025
In mathematics and computer science, the Krohn–Rhodes theory (or algebraic automata theory) is an approach to the study of finite semigroups and automata...
20 KB (2,310 words) - 07:39, 4 June 2025
Schönert "Analyzing Rubik's Cube with GAP": the permutation group of Rubik's Cube is examined with GAP computer algebra system "GAMES Magazine #29". May 1982...
10 KB (1,057 words) - 01:53, 5 June 2025
Al-Khwarizmi (section Algebra)
Book of the Map of the World". "The history of cartography". GAP computer algebra system. Archived from the original on 24 May 2008. Retrieved 30 May...
75 KB (7,554 words) - 05:36, 12 June 2025
8,9,10,11), (3,7,11,8)(4,10,5,6) of permutations used by the GAP computer algebra system. M11 has a sharply 4-transitive permutation representation on...
11 KB (864 words) - 06:28, 6 February 2025
known how many nonisomorphic groups there are is 2048 = 211. The GAP computer algebra system contains a package called the "Small Groups library," which provides...
33 KB (1,319 words) - 02:49, 17 May 2025
List of free and open-source software packages (redirect from List of free and open source database management systems)
FriCAS GAP (computer algebra system) GiNaC gnuplot Maxima Mathomatic Normaliz SageMath Singular (software) SymPy Yacas Axiom Cadabra Cambridge Algebra System...
75 KB (5,415 words) - 12:31, 15 June 2025
algorithm described in Cannon. These versions are still used in the GAP computer algebra system. In permutation groups, it has been proven, in Kantor and Kantor...
33 KB (4,453 words) - 11:08, 4 March 2025
Normaliz (category Computer algebra system software for Linux)
uses CoCoALib. Normaliz has interfaces to several general computer algebra systems: CoCoA, GAP, Macaulay2 and Singular. It can be used interactively via...
4 KB (198 words) - 16:12, 12 November 2022
In computer science, algebraic semantics is a formal approach to programming language theory that uses algebraic methods for defining, specifying, and...
11 KB (1,666 words) - 18:34, 15 May 2025
Braid group (category Diagram algebras)
braid is the algebraic analogue of "pulling the strands" as illustrated in our second set of images above.) The free GAP computer algebra system can carry...
36 KB (4,891 words) - 07:38, 7 June 2025
Algorithms developed by him have found use, for example, in the GAP computer algebra system. Kantor has written over 170 papers, and has advised 7 PhD students...
7 KB (457 words) - 21:00, 29 January 2023
computer engineering, electrical engineering or computer science. Typically one must learn an array of mathematics such as calculus, linear algebra and...
31 KB (2,905 words) - 00:18, 10 June 2025
"Smart ALEKS ... or not? Teaching Basic Algebra using an online interactive learning system", Mathematics and Computer Education, 37 (3): 329–336, archived...
9 KB (740 words) - 21:15, 27 January 2025
Conway polynomial (finite fields) (category Computer algebra)
practice. Databases of Conway polynomials are available in the computer algebra systems GAP, Macaulay2, Magma, SageMath, at the web site of Frank Lübeck...
18 KB (1,777 words) - 21:05, 14 April 2025
List of theorems (section General algebraic systems)
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...
78 KB (6,289 words) - 12:34, 6 June 2025
Gröbner basis (redirect from Saturation (commutative algebra))
mathematics, and more specifically in computer algebra, computational algebraic geometry, and computational commutative algebra, a Gröbner basis is a particular...
63 KB (10,037 words) - 01:04, 6 June 2025
STUDENT (redirect from STUDENT (computer program))
solving algebra story problems were realized with 1960s hardware and software as well: for example, the Philips, Baseball and Synthex systems. STUDENT...
4 KB (585 words) - 14:59, 25 January 2025
polynomial algebras are used for the study of algebraic varieties, which are solution sets of systems of polynomial equations. Weyl algebras and Lie algebras may...
61 KB (7,852 words) - 11:11, 29 April 2025
Computer Science Department, Aarhus University. Goguen, Joseph A.; Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B. (1977). "Initial algebra semantics...
18 KB (1,671 words) - 03:37, 10 May 2025
of a group Two important computer algebra systems (CAS) used for group theory are GAP and Magma. Historically, other systems such as CAS (for character...
3 KB (293 words) - 18:19, 23 September 2023
includes a programming language and computer algebra abilities. PARI/GP is a widely used computer algebra system designed for fast computations in number...
20 KB (2,482 words) - 13:42, 29 March 2025
[citation needed] Eick is a coauthor of the computer algebra system GAP and has been a member of the GAP council since 2001 (chair since 2021). Eick,...
7 KB (610 words) - 22:46, 31 December 2024
Boolean values) are in fact 3 values: Low, High, Unknown. A Positive Logical Algebra solves this problem via virtualization, by creating a Virtual Environment...
10 KB (1,191 words) - 09:18, 28 October 2024