• FourTiTwo

  • Referenced in 8 articles [sw07615]
  • many computations is the fact that in Noetherian rings (such ... question will not stabilize in the Noetherian sense. Using properties of nice orderings, the authors...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1913 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3222 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Macaulay2

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

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

  • Referenced in 5408 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6458 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • SINGULAR

  • Referenced in 1523 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • Theorema

  • Referenced in 150 articles [sw00961]
  • The software system Theorema provides a uniform logic...
  • ML

  • Referenced in 524 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • SPIKE

  • Referenced in 42 articles [sw02780]
  • SPIKE: A parallel environment for solving banded linear...
  • BERGMAN

  • Referenced in 35 articles [sw02980]
  • Problems in interaction with the computer algebra system...
  • ALISA

  • Referenced in 5 articles [sw03031]
  • Automatic deductive synthesis of Lisp programs in the...
  • 4ti2

  • Referenced in 147 articles [sw04379]
  • A software package for algebraic, geometric and combinatorial...
  • SONATA

  • Referenced in 22 articles [sw04904]
  • The use of computers in near-ring theory...
  • HOL

  • Referenced in 594 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • Bertini

  • Referenced in 254 articles [sw06683]
  • Bertini™: Software for Numerical Algebraic Geometry. Software for...