Explore scientific software developed by members of the Department of Mathematics and Scientific Computing at the University of Graz. Learn more about our research: Department website
All topics.
GPU-accelerated variational reconstruction of undersampled dynamic MRI data, including estimation of receiver-coil sensitivities.
Julia simulation code for cell mechanics in confined environments, with configurable cortex, nucleus, and confinement models.
A lightweight Python library for enumerating Dyck paths and studying their combinatorial statistics.
MATLAB algorithms for coupled multichannel image reconstruction, including joint magnetic resonance and positron emission tomography reconstruction.
A multithreaded Rust program for exhaustive searches for factorizations into four minimal zero-sum sequences in cyclic groups of even order.
SageMath tools for asymptotic expansions with explicit error bounds and a secondary variable whose growth depends on the main variable.
A Julia reference implementation of generalized primal-dual proximal splitting for nonsmooth, nonconvex optimization.
GPU-accelerated tomographic reconstruction with variational regularization, including joint reconstruction of complementary electron microscopy channels.
OpenCL-accelerated Radon and fanbeam projections, backprojections, and iterative tomographic reconstruction methods for Python.
A community-developed Python library for creating precise mathematical animations programmatically, for explanatory videos, teaching, and presentations.
MATLAB reference implementations of primal-dual extragradient methods for nonlinear, nonsmooth PDE-constrained optimization.
SageMath algorithms for computing asymptotics of multivariate sequences with rational generating functions, using exact algebraic computations.
Symbolic arithmetic with univariate and multivariate asymptotic expansions, including polynomial, logarithmic, and exponential growth.
SageMath classes for finite Laurent intersection rings (FLIRs) and Banff cluster algebras, with algorithms for membership testing, divisor/class group computation, and factorization.
A historical solver for local nonlinear and nonsmooth optimization, distributed with MATLAB, C, and Fortran implementations.
GPU-accelerated TV and TGV methods for denoising, deblurring, upscaling, dequantization, and compressive imaging in Python.
MATLAB implementations of convex relaxation for discrete vector-valued optimization, with examples in optimal control and branched transport.
A Python framework for loading, aligning, visualizing, and interactively annotating physiological time series in Jupyter notebooks.
Python tools for factoring finite additive sequences into minimal zero-sum sequences and exploring factorization lengths, relations, and automorphism orbits.
