• AXIOMS

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

  • Referenced in 2720 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Matlab

  • Referenced in 11547 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • SERBA

  • Referenced in 148 articles [sw01160]
  • SERBA: a B.I.E. program with linear elements for...
  • OTTER

  • Referenced in 310 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • ABAQUS

  • Referenced in 1424 articles [sw04215]
  • The Abaqus Unified FEA product suite offers powerful...
  • SATO

  • Referenced in 195 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • Mosek

  • Referenced in 353 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • Netgen

  • Referenced in 152 articles [sw06679]
  • NETGEN: An advancing front 2D/3D-mesh generator based on...