Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1651 Publications
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas, I., & Liebendörfer, M. (2023). Introducing mathematics undergraduate students to the theorem prover lean. Thirteenth Congress of the European Society for Research in Mathematics (CERME13). Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest.
LibreCat
| Files available
2023 | Journal Article | LibreCat-ID: 63635 | 
Hinrichs, B., & Matte, O. (2023). Feynman–Kac Formula and Asymptotic Behavior of the Minimal Energy for the Relativistic Nelson Model in Two Spatial Dimensions. Annales Henri Poincaré, 25(6), 2877–2940. https://doi.org/10.1007/s00023-023-01369-z
LibreCat
| DOI
| Download (ext.)
| arXiv
2023 | Journal Article | LibreCat-ID: 46100 |
Hinrichs, B., Janssen, D. W., & Ziebell, J. (2023). Super-Gaussian decay of exponentials: A sufficient condition. Journal of Mathematical Analysis and Applications, 528(1), Article 127558. https://doi.org/10.1016/j.jmaa.2023.127558
LibreCat
| DOI
| Download (ext.)
| arXiv
2022 | Book Chapter | LibreCat-ID: 16296 |
Banholzer, S., Gebken, B., Dellnitz, M., Peitz, S., & Volkwein, S. (2022). ROM-Based Multiobjective Optimization of Elliptic PDEs via Numerical Continuation. In H. Michael, H. Roland, K. Christian, U. Michael, & U. Stefan (Eds.), Non-Smooth and Complementarity-Based Distributed Parameter Systems (pp. 43–76). Springer. https://doi.org/10.1007/978-3-030-79393-7_3
LibreCat
| DOI
| Download (ext.)
2022 | Book Chapter | LibreCat-ID: 30294
Peitz, S., Dellnitz, M., & Bannenberg, S. (2022). Efficient Virtual Design and Testing of Autonomous Vehicles. In H. G. Bock, K.-H. Küfer, P. Maas, A. Milde, & V. Schulz (Eds.), German Success Stories in Industrial Mathematics (Vol. 35). Springer International Publishing. https://doi.org/10.1007/978-3-030-81455-7_23
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 30490
Cresson, J., Jiménez, F., & Ober-Blöbaum, S. (2022). Continuous and discrete Noether’s fractional conserved quantities for restricted calculus of variations. AIMS, 14(1), 57–89.
LibreCat
2022 | Journal Article | LibreCat-ID: 30861
Caillau, J.-B., Djema, W., Gouzé, J.-L., Maslovskaya, S., & Pomet, J.-B. (2022). Turnpike Property in Optimal Microbial Metabolite Production. Journal of Optimization Theory and Applications. https://doi.org/10.1007/s10957-022-02023-0
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31982
Cekić, M., Delarue, B., Dyatlov, S., & Paternain, G. P. (2022). The Ruelle zeta function at zero for nearly hyperbolic 3-manifolds. Inventiones Mathematicae, 229(1), 303–394. https://doi.org/10.1007/s00222-022-01108-x
LibreCat
| DOI
2022 | Book Chapter | LibreCat-ID: 32233
Häsel-Weide, U., Wallner, M., & Hattermann, M. (2022). Symmetrieverständnis von Anfang an. In M. Gutzmann, U. Carle, & Grundschulverband e. V. (Eds.), Anfangsunterricht für alle Kinder - Willkommen in der Schule! (pp. 200–215).
LibreCat
2022 | Book Chapter | LibreCat-ID: 32339
Häsel-Weide, U., Seitz, S., Wallner, M., & Wilke, Y. (2022). Professionalisierung für inklusiven Mathematikunterricht. Interdisziplinäre Seminarkonzeption zur reflexiven Professionalisierung angehender Mathematiklehrkräfte in der Sekundarstufe. In D. Lutz, J. Becker, F. Buchhaupt, D. Katzenbach, A. Strecker, & M. Urban (Eds.), Qualifizierung für Inklusion. Sekundarstufe (pp. 83–100). Waxmann.
LibreCat
2022 | Journal Article | LibreCat-ID: 32338
Hähn, K., Häsel-Weide, U., & Scherer, P. (2022). Diagnosegeleitete Förderung im inklusiven Mathematikunterricht der Grundschule – Professionalisierung durch reflektierte Handlungspraxis in der Lehrer*innenbildung. QfI - Qualifizierung für Inklusion, 3(2).
LibreCat
| Files available
2022 | Journal Article | LibreCat-ID: 29673 |
Klus, S., Nüske, F., & Peitz, S. (2022). Koopman analysis of quantum systems. Journal of Physics A: Mathematical and Theoretical, 55(31), 314002. https://doi.org/10.1088/1751-8121/ac7d22
LibreCat
| DOI
| Download (ext.)
| arXiv
2022 | Preprint | LibreCat-ID: 34618 |
Gebken, B. (2022). Using second-order information in gradient sampling methods for nonsmooth optimization. In arXiv:2210.04579.
LibreCat
| Download (ext.)
| arXiv
2022 | Journal Article | LibreCat-ID: 34792
Glöckner, H. (2022). Non-Lie subgroups in Lie groups over local fields of positive characteristic. P-Adic Numbers, Ultrametric Analysis, and Applications, 14(2), 138–144. https://doi.org/10.1134/S2070046622020042
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34791
Glöckner, H., & Schmeding, A. (2022). Manifolds of mappings on Cartesian products. Annals of Global Analysis and Geometry, 61(2), 359–398. https://doi.org/10.1007/s10455-021-09816-y
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34796
Glöckner, H. (2022). Aspects of differential calculus related to infinite-dimensional vector bundles and Poisson vector spaces. Axioms, 11(5). https://doi.org/10.3390/axioms11050221
LibreCat
| DOI
2022 | Dissertation | LibreCat-ID: 31556 |
Gebken, B. (2022). Computation and analysis of Pareto critical sets in smooth and nonsmooth multiobjective optimization. https://doi.org/10.17619/UNIPB/1-1327
LibreCat
| DOI
| Download (ext.)
2022 | Preprint | LibreCat-ID: 33150 |
Berkemeier, M. B., & Peitz, S. (2022). Multi-Objective Trust-Region Filter Method for Nonlinear Constraints using Inexact Gradients. In arXiv:2208.12094.
LibreCat
| Download (ext.)
| arXiv
2022 | Journal Article | LibreCat-ID: 20731 |
Bieker, K., Gebken, B., & Peitz, S. (2022). On the Treatment of Optimization Problems with L1 Penalty Terms via Multiobjective Continuation. IEEE Transactions on Pattern Analysis and Machine Intelligence, 44(11), 7797–7808. https://doi.org/10.1109/TPAMI.2021.3114962
LibreCat
| Files available
| DOI
| Download (ext.)