Contents of section "math" in suite "amber"

twinvoicerecalc

Taiwan invoice reverse calculator

main
vspline-dev

header-only C++ template library for uniform b-spline processing

main
wcalc

Flexible command-line scientific calculator

main
why3

Software verification platform

main
why3-coq

Coq support for the why3 verification platform

main
why3-doc-html

HTML Documentation of the why3 verification platform

main
why3-doc-pdf

PDF Documentation of the why3 verification platform

main
why3-examples

Examples for the why3 verification platform

main
wxmaxima

GUI for the computer algebra system Maxima

main
wzip

Lossy compression and denoising

main
xmaxima

Computer algebra system -- x interface

main
yacas

Computer Algebra System

main