• 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 rank-1 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 group-theoretical 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 simply-connected, 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 p-groups. The ModIsom package ... determine the automorphism group and to test isomorphis of such algebras ... over finite fields and of modular group algebras of finite p-groups, 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...
  • C-CoRN

  • 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 Max-Planck 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...
  • Mod-p 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...