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

HOL Light
 Referenced in 293 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 soundandcomplete OWL DL reasoning is essential. Pellet includes...

SPOT
 Referenced in 79 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 70 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...

GRIMech 3.0
 Referenced in 63 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 56 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 firstorder and admits a sound and complete proof procedure. Applications of HiLog...

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

MathSAT5
 Referenced in 45 articles
[sw09569]
 theories of arrays and floating point; third, sound SATstyle Boolean formula preprocessing...

SatAbs
 Referenced in 39 articles
[sw12804]
 ANSIC standard accurately. This includes a sound treatment of bitvector 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...