• AXIOM

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

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

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

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

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

  • Referenced in 437 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • R

  • Referenced in 4211 articles [sw00771]
  • R is a language and environment for statistical...
  • ZRAM

  • Referenced in 34 articles [sw01038]
  • The parallel search bench ZRAM and its applications...
  • SERBA

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

  • Referenced in 21 articles [sw02197]
  • CORO, a modeling and an algorithmic framework for...
  • CONOPT

  • Referenced in 129 articles [sw02791]
  • CONOPT is a generalized reduced-gradient (GRG) algorithm...
  • PVS

  • Referenced in 517 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Haskell

  • Referenced in 634 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • CPLEX

  • Referenced in 1946 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Simulink

  • Referenced in 547 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • vars

  • Referenced in 11 articles [sw04507]
  • R package vars: VAR Modelling , Estimation, lag selection...
  • Mizar

  • Referenced in 339 articles [sw04704]
  • The Mizar System is the only implementation of...
  • LIBSVM

  • Referenced in 691 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • Cliquer

  • Referenced in 50 articles [sw05044]
  • Cliquer - routines for clique searching. Cliquer is a...