
YAGO
 Referenced in 54 articles
[sw11909]
 contains more than 1 million entities and 5 million facts. This includes ... WordNet, using a carefully designed combination of rulebased and heuristic methods described in this ... resulting knowledge base is a major step beyond WordNet: in quality by adding knowledge about...

IPPCG
 Referenced in 3 articles
[sw04830]
 Walker rule, even in the nonmonotone case [5]. At each step of the interior point...

EXPANDER
 Referenced in 6 articles
[sw22715]
 programs. EXPANDER applies the rules of inductive expansion (cf. Chapter 5) to correctness conditions that ... functional language SML/NJ. EXPANDER executes single inference steps. Each proof is a sequence of goal...

PECANS
 Referenced in 6 articles
[sw02161]
 Margolus and T. Toffoli [ibid. 1, No. 5, 967993 (1987; Zbl 0655.68055)]. The methodological ... time step, by the data variation on the grid according to a transition rule; this...

ProtNet
 Referenced in 1 article
[sw29365]
 each lattice site having a linear size (5 nm) comparable to the diameter ... cell (devoid of compartments). At each time step, molecular entities (proteins or complexes) that happen ... complexes or dissociate depending on the interaction rules defined in an experimental protein interaction network...

ADOLC
 Referenced in 257 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 713 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

BARON
 Referenced in 361 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

Expokit
 Referenced in 200 articles
[sw00258]
 Expokit provides a set of routines aimed at...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 289 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Gmsh
 Referenced in 783 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

Isabelle
 Referenced in 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

ISOGAT
 Referenced in 318 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

KANT/KASH
 Referenced in 157 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...

LANCELOT
 Referenced in 310 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...