Dr. Johannes Hoffmann
Dr. Johannes Hoffmann
Saarland University
Department of Mathematics
D-66123 Saarbruecken
Germany
room 224 (building E 2 4)
phone: +49-681-302-4515
mail: johannes.hoffmann[at]math.uni-sb.de
office hours: by prior arrangement
Teaching
- Analysis III (assistant)
- Analysis II (assistant)
- Analysis I (assistant)
- Höhere Mathematik für Ingenieure III (assistant)
- Höhere Mathematik für Ingenieure II (assistant)
Research
Research interests
- Ore localization (esp. in G-algebras): theoretical results, algorithms, and implementation.
- Non-commutative rational functions: linearization, minimization, and applications.
Publications
See also: arXiv.org
- Johannes Hoffmann, Tobias Mai, and Roland Speicher:
Computing the noncommutative inner rank by means of operator-valued free probability theory
In: Foundations of Computational Mathematics (2024) - Johannes Hoffmann and Viktor Levandovskyy:
Constructive arithmetics in Ore localizations enjoying enough commutativity
In: Journal of Symbolic Computation, Volume 102 (2021) - Johannes Hoffmann and Viktor Levandovskyy:
Constructive arithmetics in Ore localizations of domains
In: Journal of Symbolic Computation, Volume 98 (2020) - Johannes Hoffmann:
Left saturation closure: theory and algorithms
PhD thesis, RWTH Aachen University, 2019 - Johannes Hoffmann and Viktor Levandovskyy:
Constructive Arithmetics in Ore localizations with Enough Commutativity
In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 18). ACM Press (2018) - Johannes Hoffmann and Viktor Levandovskyy:
A Constructive Approach to Arithmetics in Ore Localizations
In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 17). ACM Press (2017)
Conferences
Jul 2021 | ISSAC 2021, Saint Petersburg, Russia (virtual) |
Sep 2020 | CASC 2020, Linz, Austria (virtual) |
Jul 2020 | ISSAC 2020, Kalamata, Greece (virtual) |
May 2020 | Real Algebraic Geometry with a View Toward Hyperbolic Programming and Free Probability, Oberwolfach, Germany |
Jul 2019 | IWOTA 2019, Lisbon, Portugal |
Jul 2019 | SIAM AG 2019, Bern, Switzerland |
May 2019 | Computeralgebra-Tagung 2019, Kassel, Germany |
Jul 2018 | ISSAC 2018, New York, USA |
Jul 2017 | ISSAC 2017, Kaiserslautern, Germany |
May 2017 | Computeralgebra-Tagung 2017, Kassel, Germany |
Mar 2017 | FELIM 2017, Limoges, France |
Aug 2016 | ACA 2016, Kassel, Germany |
Sep 2015 | CASC 2015, Aachen, Germany |
Software
Singular
I am the author of the following libraries for the computer algebra system SINGULAR, which are included in the distribution:
olga.lib | Constructive computations in Ore-localized G-algebras. |
ncloc.lib | New data type ncloc for Ore localizations, to be used with olga.lib. |
ncfrac.lib | New data type ncfrac for non-commutative fractions in Ore localizations, to be used with olga.lib and ncloc.lib. |
Julia
I am the author of the following libraries for the Julia language:
NCDist.jl | NCDist.jl is a Julia package to compute distributions as well as Brown measures of (self-adjoint) rational expressions and matrix-valued elements given the distributions of the variables. (joint work with Tobias Mai) |