
CXSC
 Referenced in 110 articles
[sw00181]
 programming environment for verified scientific computing and numerical data processing. CXSC is a tool ... numerical algorithms delivering highly accurate and automatically verified results. It provides a large number ... package is available for all computers with a C++ compiler translating the AT&T language...

Pinocchio
 Referenced in 42 articles
[sw10193]
 Pinocchio: Nearly practical verifiable computation. To instill greater confidence in computations outsourced to the cloud ... Pinocchio, a built system for efficiently verifying general computations while relying only on cryptographic assumptions ... only 288 bytes, regardless of the computation performed or the size of the inputs ... into programs that implement the verifiable computation protocol...

INTLAB
 Referenced in 472 articles
[sw04004]
 very fast) automatic differentiation (forward mode, vectorized computations, fast) Gradients (to solve systems of nonlinear ... slopes (sequential approach, slow for many variables) verified integration of (simple) univariate functions univariate...

Ellipsoidal Toolbox
 Referenced in 38 articles
[sw10826]
 systems with disturbances. It can be verified if computed reach sets intersect with given ellipsoids...

VERSOFT
 Referenced in 27 articles
[sw10881]
 collection of verification files for computing verified solutions of various numerical linear algebraic problems having...

HyTech
 Referenced in 333 articles
[sw04125]
 analysis of embedded systems. HyTech computes the condition under which a linear hybrid system satisfies ... continuous components, and temporal requirements are verified by symbolic model checking. If the verification fails...

hikmot
 Referenced in 12 articles
[sw34524]
 module that can be used for verified computations for hyperbolic 3manifolds. This is based ... procedure in the following paper: Verified computations for hyperbolic 3manifolds. For a given cusped ... admits a complete hyperbolic structure via verified computer calculations. Central to our method...

ParLinSys
 Referenced in 19 articles
[sw06461]
 supplements the library C++Toolbox. ParLinSys computes verified enclosure of the solution set of parametric...

DeepONet
 Referenced in 50 articles
[sw42093]
 input function type, and we verify the theorem with computational results. More importantly, we observe...

Geppetto
 Referenced in 10 articles
[sw31791]
 Geppetto: Versatile Verifiable Computation. Cloud computing sparked interest in Verifiable Computation protocols, which allow ... computations to remote parties. Recent work has dramatically reduced the client’s cost to verify ... reduces the cost of sharing state between computations (e.g, For MapReduce) or within a single ... computation by up to two orders of magnitude. Via a careful choice of cryptographic primitives...

kv
 Referenced in 11 articles
[sw31712]
 Library for Verified Numerical Computation. A set of libraries for verified numerical computations (kv library ... this page. For overview of verified numerical computation and kv library, please see the slide...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 high accuracy which are verified to be correct by the computer. Thus there...

Cosy
 Referenced in 96 articles
[sw07711]
 various advanced concepts of modern scientific computing. COSY currently has more than 2000 registered users ... been extensively crosschecked and verified. The COSY system consists of the following parts...

intpakX
 Referenced in 11 articles
[sw00445]
 complex disc arithmetic. As applications, verified computation of zeroes (Interval Newton Method) with the possibility...

Cadabra
 Referenced in 92 articles
[sw00097]
 lends itself well to the routine computations required in general relativity. Here, we present ... showing how Cadabra may be used, including verifying that the LeviCivita connection...

Metamath
 Referenced in 21 articles
[sw13309]
 proofs that can be verified by a computer program...

INTERVAL_ARITHMETIC
 Referenced in 10 articles
[sw04681]
 Interval arithmetic is useful in automatically verified computations, that is, in computations in which...

zkSNARK
 Referenced in 13 articles
[sw22495]
 when communication is expensive, or the verifier is computationally weak. Existing zkSNARK implementations have ... down” all intermediate values of the entire computation, and then conducting global operations such ... acceptance of the proof system’s own verifier (and correctness of the program’s latest ... been realized in practice, due to enormous computational cost. Using new ellipticcurve cryptographic techniques...

VSDP
 Referenced in 12 articles
[sw04003]
 package that is designed for the computation of verified results in conic programming. The current ... functions for computing rigorous error bounds of the true optimal value, verified enclosures...

Cadence SMV
 Referenced in 27 articles
[sw07795]
 formally verify temporal logic properties of finite state systems, such as computer hardware designs. That ... vectors or a simulation test bench, you verify your design for all possible input sequences...