• TP2010

  • Referenced in 3 articles [sw10683]
  • which this can be useful, i.e., assistive technologies, e-learning, e-commerce, health care ... without compromising the reliability of the model built. On the other hand, our hypothesis ... user personality. With the goal of inferring personality from the analysis of user interactions within...
  • ADOL-C

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

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

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

  • Referenced in 112 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

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

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

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

  • Referenced in 653 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • HOL-Boogie

  • Referenced in 14 articles [sw00409]
  • Boogie is a program verification condition generator for...
  • Isabelle

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

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

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

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

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

  • Referenced in 159 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • MiniSat

  • Referenced in 553 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SETHEO

  • Referenced in 120 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • polymake

  • Referenced in 308 articles [sw00724]
  • polymake is open source software for research in...
  • R

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