• Maple

  • Referenced in 5168 articles [sw00545]
  • calculations, explanatory text and math, graphics, images, sound, and diagrams. Computer algebra system...
  • HOL Light

  • Referenced in 295 articles [sw06580]
  • extended with new inference rules without compromising soundness. While retaining this reliability and programmability from...
  • OCaml

  • Referenced in 271 articles [sw06363]
  • powerful module system, all connected by a sound, polymorphic type system featuring type inference...
  • NQTHM

  • Referenced in 149 articles [sw07543]
  • proof procedures upon the establishment of their soundness and the permission of bounded quantification...
  • SETHEO

  • Referenced in 119 articles [sw00707]
  • connection method and is proved to be sound and complete. SETHEO can be used...
  • Pellet

  • Referenced in 92 articles [sw07019]
  • leading choice for systems where sound-and-complete OWL DL reasoning is essential. Pellet includes...
  • SPOT

  • Referenced in 83 articles [sw06347]
  • because there is a strong need for sound statistical analysis of simulation and optimization algorithms...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • least Herbrand models, as well as a soundness result for the reduction semantics w.r.t...
  • PostgreSQL

  • Referenced in 71 articles [sw15935]
  • storage of binary large objects, including pictures, sounds, or video. It has native programming interfaces...
  • ALF

  • Referenced in 67 articles [sw08603]
  • objects is presented, and it is proved sound and complete assuming some basic meta theory...
  • GRI-Mech 3.0

  • Referenced in 64 articles [sw07056]
  • optimization process is designed to provide sound basic kinetics which also furnish the best combined...
  • PRINCE

  • Referenced in 58 articles [sw13240]
  • independent interest and we prove its soundness against generic attacks...
  • AUSMPW+

  • Referenced in 57 articles [sw12049]
  • definition of the numerical speed of sound at a cell interface, capturing an oblique shock...
  • HiLog

  • Referenced in 47 articles [sw01580]
  • semantics is first-order and admits a sound and complete proof procedure. Applications of HiLog...
  • XM2VTSDB

  • Referenced in 47 articles [sw34437]
  • quality colour images, 32 KHz 16-bit sound files, video sequences and a 3d Model...
  • MathSAT5

  • Referenced in 45 articles [sw09569]
  • theories of arrays and floating point; third, sound SAT-style Boolean formula preprocessing...
  • SatAbs

  • Referenced in 39 articles [sw12804]
  • ANSI-C standard accurately. This includes a sound treatment of bit-vector overflow...
  • UCPOP

  • Referenced in 38 articles [sw20687]
  • conservative search strategy UCPOP is both sound and complete for this representation...
  • Ivy

  • Referenced in 33 articles [sw10279]
  • countermodel. The top ACL2 function is proved sound with respect to finite interpretations...
  • Milawa

  • Referenced in 20 articles [sw09977]
  • reflective milawa theorem prover is sound (down to the machine code that runs it). Milawa ... logic of Milawa, prove the logic sound, and prove that the source code ... formal evidence of a theorem prover’s soundness to date...