Olivia Röhrig

📬 Contact

office
Room 3105 at ZIB
e-mail
languages
German and English

🎓 Curriculum vitae

since 2024
Researcher at ZIB

📝 Publications and preprints

Full articles

  1. Hartzer, J., Röhrig, O., de Wolff, T., and Yürük, O. (2022). Initial Steps in the Classification of Maximal Mediated Sets. Journal of Symbolic Computation, 109, 404–425. [arXiv]
    [BibTeX]
    @article{2022_HartzerEtAl_MediatedSets,
  year = {2022},
  journal = {Journal of Symbolic Computation},
  volume = {109},
  pages = {404--425},
  archiveprefix = {arXiv},
  eprint = {1910.00502},
  author = {Hartzer, Jacob and Röhrig, Olivia and de Wolff, Timo and Yürük, Oğuzhan},
  title = {Initial Steps in the Classification of Maximal Mediated Sets}
}

🔬 Projects

LEAN on Me: Transforming Mathematics Through Formal Verification, Improved Tactics, and Machine Learning

Formal proof verification can both ensure proof correctness and provide new tools and insights to mathematicians. The goals of this project include creating resources for students and researchers, verifying relevant results, improving proof tactics, and exploring Machine Learning approaches.

MATH+ AA5-9
Jan 2024 to Dec 2025
5
Scaling Up Flag Algebras in Combinatorics

This project aims to obtain new bounds in Extremal Combinatorics through an application of flag algebras. The goal is to both improve the underlying computational aspects for existing problems as well as to further develop the theory of flag algebras to extend it to new areas of application.

MATH+ EF1-21
Oct 2022 to Sep 2025
4
3