• Snugglebug

  • Referenced in 7 articles [sw13707]
  • conservative call graph. Second, we describe generalization, a technique that greatly increases the reusability ... transforms a symbolic state in its entirety, our technique tabulates how the procedure transforms only ... symbolic state. Additionally, we show how integrating an inexpensive, custom logic simplifier with weakest precondition...
  • DLog

  • Referenced in 8 articles [sw09839]
  • such as the Semantic Web and information integration, it is very important to have systems ... this paper we present an approach to transform DL axioms, formalised in the 𝒮ℋℐ𝒬 ... program under the unique name assumption. This transformation is performed with no knowledge about particular ... Prolog execution of the generated program. This technique, together with the top-down Prolog execution...
  • egg

  • Referenced in 1 article [sw37955]
  • incorporate transformations beyond purely syntactic rewrites. This work contributes two techniques that make e-graphs ... equality saturation. A new amortized invariant restoration technique called rebuilding takes advantage of equality saturation ... over current techniques in practice. A general mechanism called e-class analyses integrates domain-specific...
  • SGRAPH

  • Referenced in 1 article [sw26151]
  • SGRAPH (SeismoGRAPHer): Seismic waveform analysis and integrated tools in seismology. Although numerous seismological programs ... Generalized Ray Theory (GRT), genetic algorithm (GA), least-square fitting, auto-picking, fast Fourier transforms ... attenuation, and focal mechanisms. Advanced waveform modeling techniques are provided for crustal structure and focal...
  • BEMLIB

  • Referenced in 108 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Bi-CG

  • Referenced in 34 articles [sw00076]
  • Bi-CG: An effective solver for three fields...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1888 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...
  • Diffpack

  • Referenced in 115 articles [sw00203]
  • As modern programming methodologies migrate from computer science...
  • Expokit

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

  • Referenced in 3164 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GELDA

  • Referenced in 33 articles [sw00331]
  • GELDA is a Fortran77 sofware package for the...