Michael Mandlmayr

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Quantifier Elimination

Fischer Burmeister

Top Venues

Comput. Optim. Appl.

Publications

Michael Mandlmayr, Ali Kemal Uncu
Quantifier Elimination for Normal Cone Computations. CoRR (2024)
Helmut Gfrerer, Michael Mandlmayr, Jirí V. Outrata, Jan Valdman
On the SCD semismooth* Newton method for generalized equations with application to a class of static contact problems with Coulomb friction. Comput. Optim. Appl. 86 (3) (2023)
Michael Mandlmayr, Herbert Egger
On implicit interpolation models for nonlinear anisotropic magnetic material behavior. CoRR (2023)