Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis
An implementation of interval arithmetic
String editing and formatting library for Ada
Handling dimensioned values in Ada
Foreval is parser , compiler , evaluator of mathematical expressions
ForevalZ - compiler of mathematical expressions with complex numbers
Linear constraint feasibility check and get program.
Verilog Finite State Machine (FSM) Code Generator
GILIB Large Integer Arithmetic Library
A system for computer algebra and symbolic mathematics