• IDLVALID

  • Referenced in 10 articles [sw20417]
  • Duration Calculus Formulae. Duration Calculus is a dense time interval temporal logic with constructs which...
  • Tac

  • Referenced in 7 articles [sw09455]
  • determinism involved in searching for sequent calculus proofs. We present a focused proof system ... proof search as being organized around interleaving intervals of computation and more general deduction...
  • Transactors

  • Referenced in 6 articles [sw20929]
  • provide an operational semantics for the τ-calculus, and formalize the following safety and liveness ... that there is some bounded failure-free interval during which checkpointing can occur...
  • RGITL

  • Referenced in 5 articles [sw13917]
  • Logic (RGITL). The logic is based on interval temporal logic (ITL) and higher-order logic ... with compositional semantics. As a consequence, the calculus permits proving decomposition theorems which reduce reasoning...
  • RCDC

  • Referenced in 1 article [sw14739]
  • calculus, exploiting the well-known notion of convex relations from the context of the Interval...
  • ntccSim

  • Referenced in 1 article [sw33009]
  • specifications in ntcc, a timed CPP process calculus proposed by Dr. Frank Valencia. ntccSim allows ... constraints over finite domains (FD) and real intervals (XRI) have been used to implement some...
  • CADNA

  • Referenced in 41 articles [sw00098]
  • CADNA: a library for estimating round-off error...
  • CGAL

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

  • Referenced in 144 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CoCoA

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

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

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

  • Referenced in 132 articles [sw00344]
  • The gfun package provides tools for determining and...
  • HSL

  • Referenced in 269 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KNITRO

  • Referenced in 175 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LAPACK

  • Referenced in 1626 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LSQR

  • Referenced in 358 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Macaulay2

  • Referenced in 1658 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...