A logic IDE for the sentential logic and the predicate logic.
Portable Ubuntu Linux for Scientific Computing
Demonstrates quantal two-slit Fresnel interference patterns.
Gplot provides a convenient front-end for gnuplot
GPU Interactive Program For Edge detection
Pear3DEngine is a modern and modular 3D development framework
Web based Chart calculation Tool
Ccide is a Decision Table preprocessor.
Logiciel en ligne de gestion d'essais cliniques.
China School Bus Data Analysis model
A electric, magnetic, and gravity field physics presentation program