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

HOL Light
 Referenced in 307 articles
[sw06580]
 extended with new inference rules without compromising soundness. While retaining this reliability and programmability from...

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

NQTHM
 Referenced in 151 articles
[sw07543]
 proof procedures upon the establishment of their soundness and the permission of bounded quantification...

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

Pellet
 Referenced in 95 articles
[sw07019]
 leading choice for systems where soundandcomplete OWL DL reasoning is essential. Pellet includes...

GRIMech 3.0
 Referenced in 88 articles
[sw07056]
 optimization process is designed to provide sound basic kinetics which also furnish the best combined...

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

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

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

ALF
 Referenced in 67 articles
[sw08603]
 objects is presented, and it is proved sound and complete assuming some basic meta theory...

PRINCE
 Referenced in 61 articles
[sw13240]
 independent interest and we prove its soundness against generic attacks...

AUSMPW+
 Referenced in 60 articles
[sw12049]
 definition of the numerical speed of sound at a cell interface, capturing an oblique shock...

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

HiLog
 Referenced in 51 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...

SatAbs
 Referenced in 41 articles
[sw12804]
 ANSIC standard accurately. This includes a sound treatment of bitvector overflow...

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

Ivy
 Referenced in 38 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...