• Esterel

  • Referenced in 165 articles [sw20012]
  • compiler which translates Esterel programs into finite-state machines. It is one of a family ... based verification tools that perform either bisimulation reduction or safety property checking. Esterel ... been chosen by the Polis group as one of their input languages for their hardware/software...
  • symmetry

  • Referenced in 3 articles [sw14839]
  • finite groups; fundamental invariants and equivariants for continuous groups; invariants for torus group action; orbit ... space reduction; build-in knowledge of finite groups and compact Lie groups; algebraic groups; Derksen...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • 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...
  • Coq

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

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • Cuba

  • Referenced in 76 articles [sw00173]
  • Cuba -- a library for multidimensional numerical integration. The...
  • Expokit

  • Referenced in 198 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • FGb

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

  • Referenced in 2 articles [sw00291]
  • finvar.lib. A Singular 2.0 library for computing invariant...
  • GAP

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

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • GeM

  • Referenced in 97 articles [sw00332]
  • We present a recently developed Maple-based “GeM...
  • gmp

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