Symbolic parser for Julia language term rewriting using REDUCE algebra
Numerical and Symbolic Math Tool
Draw vector graphics to scale using a descriptive language
Tao3D is a programming language for real-time interactive 3D
Penthode simulates, draw and plot electrical power distributions
Ccide is a Decision Table preprocessor.