• OTTER

  • Referenced in 316 articles [sw02904]
  • application of Otter is research in abstract algebra and formal logic. Otter and its predecessors ... areas of finite semigroups, ternary Boolean algebra, logic calculi, combinatory logic, group theory, lattice theory...
  • numericalsgps

  • Referenced in 130 articles [sw00640]
  • introductions to the computer algebra system GAP and to numerical semigroups, this note provides...
  • Pseudo Hoops

  • Referenced in 42 articles [sw29253]
  • algebraic structures introduced by B. Bosbach under the name of complementary semigroups. In this formalization ... pseudo-hoops are equivalent to pseudo-Wajsberg algebras and bounded basic pseudo-hoops are equivalent...
  • S-expansion

  • Referenced in 4 articles [sw19245]
  • exansion combines a Lie algebra G with a finite abelian semigroup S in order ... able to represent Lie algebras and semigroups, so we can perform S-expansions ... algebras using arbitrary semigroups. We explain how the library methods has been constructed...
  • brnoeth.lib

  • Referenced in 8 articles [sw10905]
  • applications in Algebraic Geometry codes. The computation of Weierstrass semigroups is also implemented. The procedures...
  • SgpDec

  • Referenced in 5 articles [sw07825]
  • finite transformation semigroups and permutation groups. We describe how the SgpDec computer algebra package...
  • KAD

  • Referenced in 2 articles [sw32231]
  • semantics. We formalise a modular hierarchy of algebras with domain and antidomain (domain complement) operations ... ranges from domain and antidomain semigroups to modal Kleene algebras and divergence Kleene algebras...
  • multiplex

  • Referenced in 3 articles [sw16370]
  • with routines that combine algebraic systems like the partially ordered semigroup or the semiring structure ... multivariate network data sets. As well an algebraic approach for two-mode networks is made...
  • DoCon-A

  • Referenced in 1 article [sw37631]
  • defines generic notions of the algebraic structures: Semigroup, Group, Ring, and so on. Arithmetic...
  • XSSR

  • Referenced in 3 articles [sw02306]
  • special purpose computer algebra system for combinatorial group and semigroup theory. It is intended...
  • CONTRACTIONS

  • Referenced in 1 article [sw17828]
  • grading semigroup which is finite and abelian. It can perform contractions of Lie algebras and/or...
  • AXIOMS

  • Referenced in 2 articles [sw02217]
  • construction and analysis of finite quasigroups, semigroups and related structures This paper presents ... construction and analysis of non-associative finite algebraic structures as well as associative systems. This...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CoCoALib

  • Referenced in 61 articles [sw00144]
  • CoCoALib: A C++ library for computations in commutative...
  • FGb

  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • KANT/KASH

  • Referenced in 157 articles [sw00481]
  • KASH/KANT is a computer algebra system (CAS) for...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...