- http://www-sop.inria.fr/galaad/logiciels/synaps/ - SYmbolic Numeric APplicationS - SYNAPS is a library devoted to symbolic and numeric computations. [[:not yet:]]