
TP2010
 Referenced in 3 articles
[sw10683]
 which this can be useful, i.e., assistive technologies, elearning, ecommerce, 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...

ADOLC
 Referenced in 244 articles
[sw00019]
 ADOLC: 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...

HOLBoogie
 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 highlevel 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 SATsolver. MiniSat is a minimalistic...

SETHEO
 Referenced in 120 articles
[sw00707]
 SETHEO: A highperformance 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...