
Maple
 Referenced in 4879 articles
[sw00545]
 text and math, graphics, images, sound, and diagrams. Computer algebra system...

NQTHM
 Referenced in 146 articles
[sw07543]
 same authors’ previous book entitled “A computational logic” (1979; Zbl 0448.68020). The truly important changes ... proof procedures upon the establishment of their soundness and the permission of bounded quantification ... proof procedures” [in “The correctness problem in computer science” (1981; Zbl 0476.68009)] and “The addition...

CoSP
 Referenced in 4 articles
[sw25389]
 CoSP: a general framework for computational soundness proofs. We describe CoSP, a general framework ... conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi ... that are not crucial for proving computational soundness, such as message scheduling, corruption models ... embedding calculi is conceptually decoupled from computational soundness proofs of cryptographic primitives. We exemplify...

Periodic Systems Toolbox
 Referenced in 6 articles
[sw22601]
 simultaneously enforcing highly efficient and numerically sound computations via the mexfunction technology of MATLAB...

AUSMPW+
 Referenced in 50 articles
[sw12049]
 developed to increase the accuracy and computational efficiency of AUSMPW in capturing an oblique shock ... definition of the numerical speed of sound at a cell interface, capturing an oblique shock ... AUSMPW+ scheme provides accurate solutions for the computation of highspeed flows...

Psychophysics Toolbox
 Referenced in 17 articles
[sw21293]
 Macintosh and Windows computers. It also provides interfaces for timing, sound, and keyboard. The number ... estimate that a further several hundred computers are still running the Mac OS 9 version...

PRINCE
 Referenced in 48 articles
[sw13240]
 latency block cipher for pervasive computing applications. Extended abstract. This paper presents a block cipher ... independent interest and we prove its soundness against generic attacks...

BABEL
 Referenced in 71 articles
[sw03018]
 both rewriting and SLD resolution and supports computation with potentially infinite data structures. There ... least Herbrand models, as well as a soundness result for the reduction semantics w.r.t...

Praat
 Referenced in 10 articles
[sw06142]
 computer program for analysing, synthesizing and manipulating speech and other sounds, and for creating publication ... available free of charge for all major computer platforms (MacOS, Windows, Linux), on both ... corpus typically consists of a set of sound files, each of which is paired with...

MathScheme
 Referenced in 8 articles
[sw15109]
 algebra and computer theorem proving are merged without sacrificing power or soundness. The first goal ... formal framework that integrates and generalizes symbolic computation and formal deduction. The second project goal...

ICON
 Referenced in 7 articles
[sw31159]
 terms describing vertical sound‐wave propagation. To achieve competitive computational efficiency, time splitting is applied...

Quin
 Referenced in 1 article
[sw22639]
 known oneround delegation protocols are computationally sound. The protocol extends the arithemetization techniques ... 40th annual ACM symposium on theory of computing, STOC 2008. Victoria, Canada...

Arya
 Referenced in 1 article
[sw28501]
 special honest verifier zeroknowledge, and computational knowledge soundness assuming lineartime computable collisionresistant...

EVOLP
 Referenced in 4 articles
[sw02677]
 manipulating explicit knowledge in many areas of computer science. However, it is not so easy ... proposed transformation is sound and complete and examine its computational complexity...

VeriML
 Referenced in 8 articles
[sw13522]
 computational language, and also do not require significant additions to the logic language, so soundness...

openPSTD
 Referenced in 2 articles
[sw22130]
 timedomain (PSTD) method for computing the propagation of sound is presented, which is geared ... best practices and allows room for further computational parallelization. The software is built using...

CoNoteS2
 Referenced in 2 articles
[sw13833]
 Integrating stateoftheart computer technologies with pedagogically sound practice provides interesting challenges...

FluidProp
 Referenced in 2 articles
[sw18110]
 entropy, speed of sound, and many others. These properties are computed using the latest physical...

LPL software
 Referenced in 17 articles
[sw04860]
 induction. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic ... logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course...

Propositional Resolution
 Referenced in 1 article
[sw28841]
 using mostly structured Isar proofs) of the soundness and completeness of the Resolution rule ... concrete procedure for computing saturated sets and establish its soundness and completeness. The clause sets ... also show that implicates can be computed in an incremental way, by fixing an ordering ... provide a procedure for computing such implicates and establish its soundness and completeness...