Software Packages in "ecne-security", Subsection math

elan (3.1.0-1ubuntu0.1)

tool for managing installations of the Lean theorem prover

libreoffice-nlpsolver (4:0.9+LibO24.2.7-0ubuntu0.24.04.7)

"Solver for Nonlinear Programming" extension for LibreOffice

octave-phclab (2.4.90+dfsg-1build1.1)

general-purpose solver for polynomial systems (Octave)

octave-plplot (5.15.0+dfsg2-9build1.1)

Octave support for PLplot, a plotting library

phcpack (2.4.90+dfsg-1build1.1)

general-purpose solver for polynomial systems (command line)

plplot-tcl (5.15.0+dfsg2-9build1.1)

Tcl/Tk support for PLplot, a plotting library

plplot-tcl-bin (5.15.0+dfsg2-9build1.1)

Tcl/Tk tools for PLplot, a plotting library

plplot-tcl-dev (5.15.0+dfsg2-9build1.1)

Tcl/Tk development support for PLplot, a plotting library