Pinned Repositories
docker
Docker images of GNU Octave.
octave
GNU Octave Mirror (https://www.octave.org/hg/octave). Report bugs and submit pull requests (patches) at https://bugs.octave.org
packages
The GNU Octave package index.
pkg-apa
Octave/Matlab arbitrary precision arithmetic
accurate_algorithms
Algorithms for the accurate computation of sums and dot products.
jupyterlab-runner
Integrate JupyterLab into the Linux desktop.
language-sphinx
A Sphinx syntax package for Atom
optim-2021
Seminar "Selected Topics in Mathematical Optimization"
slides_nvr2021
Slides about APA toolbox for the JST/CREST workshop http://verifiedby.me/nvr2021/ (2021-11-27).
vsdp-2020
VSDP: Verified SemiDefinite Programming (Version 2020)
siko1056's Repositories
siko1056/accurate_algorithms
Algorithms for the accurate computation of sums and dot products.
siko1056/language-sphinx
A Sphinx syntax package for Atom
siko1056/jupyterlab-runner
Integrate JupyterLab into the Linux desktop.
siko1056/slides_nvr2021
Slides about APA toolbox for the JST/CREST workshop http://verifiedby.me/nvr2021/ (2021-11-27).
siko1056/optim-2021
Seminar "Selected Topics in Mathematical Optimization"
siko1056/docker_compose_server
Octave.space server setup
siko1056/mexMPFR
A MATLAB MEX-Interface for the GNU MPFR Library.
siko1056/OctaveReference
A self-contained documentation system for Octave and Octave Packages.
siko1056/savannah-browser
More state of the art browsing tool for good old https://savannah.gnu.org.
siko1056/siko1056
My profile README file.
siko1056/siko1056.github.io
Blog and homepage
siko1056/slides_LSPANC_2020
Talk slides LSPANC 2020, RIKEN, Kobe, Japan.