
Marlin
 Referenced in 6 articles
[sw41698]
 most efficient when instantiated in the algebraic group model (also used by Sonic ... preprocessing zkSNARK is an efficient algebraic holographic proof (AHP) for rank1 constraint satisfiability (R1CS...

symmetry
 Referenced in 3 articles
[sw14839]
 finite groups and compact Lie groups; algebraic groups; Derksen’s algorithm for computation of invariants ... algebraic groups...

LOOPS
 Referenced in 45 articles
[sw07728]
 LOOPS package provides researchers in nonassociative algebra with a computational tool that integrates standard notions ... loop theory with libraries of loops and grouptheoretical algorithms of GAP. The package also...

xTensor
 Referenced in 33 articles
[sw04984]
 xTensor: Fast abstract tensor computer algebra. xTensor extends Mathematica capabilities in abstract tensor calculus, specially ... list of indices under permutation symmetry groups...

WeylModules
 Referenced in 4 articles
[sw31472]
 given simplyconnected, semisimple, algebraic group in positive characteristic. The package computes submodule structure, simple ... some (limited) support for Schur algebras and symmetric groups...

SIMATH
 Referenced in 31 articles
[sw00861]
 computer algebra system SIMATH, developed by H. G. Zimmer and his research group...

HAP
 Referenced in 39 articles
[sw04870]
 library for use with the GAP computer algebra system, and is still under development ... computations related to the cohomology of groups. Both finite and infinite groups are handled, with...

TensorSpace
 Referenced in 4 articles
[sw34626]
 TensorSpace: The experimental Multilinear Algebra Group’s TensorSpace software for MAGMA...

ModIsom
 Referenced in 2 articles
[sw08645]
 automorphisms and checking isomorphisms for modular group algebras of finite pgroups. The ModIsom package ... determine the automorphism group and to test isomorphis of such algebras ... over finite fields and of modular group algebras of finite pgroups, and it contains...

CARAT
 Referenced in 45 articles
[sw04293]
 construction, recognition, and comparison problems for crystallographic groups up to dimension 6. The name CARAT ... CARAT from most other packages for computer algebra, like GAP. If you would like such...

CCoRN
 Referenced in 36 articles
[sw06752]
 project, formalizing the Fundamental Theorem of Algebra. (See the history page for an overview ... developed and maintained by the Foundations Group of the NIII (Computer Science Department...

Congruence
 Referenced in 2 articles
[sw08632]
 integral group ring of a finite group G provided G does not have a fixed ... commutative division algebra, in its rational group algebra. The aim of the paper ... relations for subgroups of the modular group PSL 2 (ℤ), acting on the hyperbolic plane ... package Congruence for the computer algebra system GAP by the authors...

ACE
 Referenced in 13 articles
[sw15066]
 useful in algebraic combinatorics. Functions are mostly related to the symmetric group and handle such ... commutative) symmetric functions and Schubert polynomials. Computer algebra system...

Group Explorer
 Referenced in 7 articles
[sw07153]
 software for the abstract algebra classroom.It helps the user visualize group theory, builds students’ intuition...

Xalci
 Referenced in 2 articles
[sw13488]
 developed within Geometric Computing and Computer Algebra group at MaxPlanck Insitute for Informatics...

LieART
 Referenced in 58 articles
[sw08573]
 algebras. It computes root systems of Lie algebras, weight systems and several other properties ... output. LieART exploits the Weyl reflection group for most of the calculations, resulting in fast...

STRATIFY
 Referenced in 1 article
[sw18775]
 commutative algebra and computing the stratification of linear actions of compact Lie groups. The connection ... specialized to compute invariants of algebraic groups and invariant rings of compact Lie groups ... specialized to compute equivariants of algebraic groups. Moreover we propose a new approach for stratifying ... computer algebra package STRATIFY for computing stratifications of compact Lie groups...

VKCURVE
 Referenced in 8 articles
[sw08124]
 computer algebra package which computes a presentation of the fundamental group of the complement...

Modp group cohomology
 Referenced in 8 articles
[sw08638]
 Sage computer algebra system. It computes modular cohomology rings of finite groups. It yields minimal...

ODEtools
 Referenced in 12 articles
[sw09257]
 symmetry methods. A Maple V R.3/4 computer algebra package, ODEtools, for the analytical solving ... order ordinary differential equations (ODEs) using Lie group symmetry methods is presented...