• 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 rule-based and heuristic methods described in this ... resulting knowledge base is a major step beyond WordNet: in quality by adding knowledge about...
  • IP-PCG

  • 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, 967-993 (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...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: 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...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. 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 large-scale nonlinear...