
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 failurefree interval during which checkpointing can occur...

RGITL
 Referenced in 5 articles
[sw13917]
 Logic (RGITL). The logic is based on interval temporal logic (ITL) and higherorder 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 wellknown 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 roundoff 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...