• 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 mex-function 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 high-speed 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 one-round 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 zero-knowledge, and computational knowledge soundness assuming linear-time computable collision-resistant...
  • 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]
  • time-domain (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 state-of-the-art 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...