• 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 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 239 articles [sw00019]
  • ADOL-C: 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 round-off 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...
  • C-XSC

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