Contents of section "Mathematics" in suite "dawn"

wcalc

Flexible command-line scientific calculator

main
why3

Software 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
xeus-gp

Native jupyter kernel for GP

main
xmaxima

Computer algebra system -- x interface

main
xrprof

External Sampling Profiler for R

main
yacas

Computer Algebra System

main