/sci-mathematics/

• ../
• Macaulay2
• Oid
• acl2
• alt-ergo
• apron
• aribas
• axiom
• bertini
• burrtools
• cadabra
• cdfplayer
• cipi
• dolfin
• dsfmt
• flocq
• frama-c
• freefem++
• gambit
• gap-guava
• gap
• gappa
• gappalib-coq
• giac
• htk
• kash-bin
• kayali
• lattE-macchiato
• libsfmt
• lie
• ltl2ba
• mdp
• netgen
• open-axiom
• pest
• petsc
• pff
• polymake
• pulp
• scilab
• surfer
• ufc
• why
• yorick