"resolute-updates" İçindeki Yazılım Paketleri, Altbölüm math

elan (4.1.2-3.1ubuntu1) [universe]: tool for managing installations of the Lean theorem prover
libreoffice-nlpsolver (4:0.9+LibO26.2.4.2-0ubuntu0.26.04.1): "Solver for Nonlinear Programming" extension for LibreOffice