• Kan

  • Referenced in 45 articles [sw04929]
  • system for computing in the ring of differential operators D (and difference operators...
  • yang

  • Referenced in 3 articles [sw30575]
  • functions and Groebner bases of rings of differential-difference operators...
  • ANSYS

  • Referenced in 655 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ACL2

  • Referenced in 277 articles [sw00060]
  • ACL2 is both a programming language in which...
  • AXIOM

  • Referenced in 170 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • CASA

  • Referenced in 95 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CGAL

  • Referenced in 355 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CLIFFORD

  • Referenced in 79 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

  • Referenced in 621 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • COMPAS

  • Referenced in 14 articles [sw00147]
  • In this paper we describe COMPAS -- the open...
  • Coq

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

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

  • Referenced in 132 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 265 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • homalg

  • Referenced in 26 articles [sw00411]
  • homalg: a meta-package for homological algebra. The...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1626 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Macaulay2

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