
YAGO
 Referenced in 51 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 239 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

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

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

CADNA
 Referenced in 42 articles
[sw00098]
 CADNA: a library for estimating roundoff error...

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

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

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

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

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

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

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

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

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

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