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.
10546 Publications
2020 | Conference Paper | LibreCat-ID: 45330
“Why don’t you make a drawing?" Motivation and strategy use in mathematical modelling
J. Schönherr, J. Blomberg, S. Schukajlow, J. Rellensmann, in: M. Inprasitha, N. Changsri, N. Boonsena (Eds.), Proceedings of the 44th Conference of the International Group for the Psychology of Mathematics Education: PME, 2020, pp. 46–54.
LibreCat
J. Schönherr, J. Blomberg, S. Schukajlow, J. Rellensmann, in: M. Inprasitha, N. Changsri, N. Boonsena (Eds.), Proceedings of the 44th Conference of the International Group for the Psychology of Mathematics Education: PME, 2020, pp. 46–54.
2020 | Journal Article | LibreCat-ID: 45338
Measuring and investigating strategic knowledge about drawing to solve geometry modelling problems
J. Schönherr, S. Schukajlow, C. Leopold, ZDM – Mathematics Education 52 (2020) 97–110.
LibreCat
| DOI
J. Schönherr, S. Schukajlow, C. Leopold, ZDM – Mathematics Education 52 (2020) 97–110.
2020 | Mastersthesis | LibreCat-ID: 21433
Design and Implementation of a ReconOS-based TensorFlow Lite Delegate Architecture
F.P. Jentzsch, Design and Implementation of a ReconOS-Based TensorFlow Lite Delegate Architecture, 2020.
LibreCat
F.P. Jentzsch, Design and Implementation of a ReconOS-Based TensorFlow Lite Delegate Architecture, 2020.
2020 | Journal Article | LibreCat-ID: 34670
Global generalized solutions to a forager–exploiter model with superlinear degradation and their eventual regularity properties
T. Black, Mathematical Models and Methods in Applied Sciences 30 (2020) 1075–1117.
LibreCat
| DOI
T. Black, Mathematical Models and Methods in Applied Sciences 30 (2020) 1075–1117.
2020 | Journal Article | LibreCat-ID: 31376
Zirkel und Lineal ohne Parallelenaxiom: Ein konstruktiver Zugang zur hyperbolischen Geometrie.
M. Hoffmann, Der Mathematikunterricht 66 (6) (2020) 36–47.
LibreCat
M. Hoffmann, Der Mathematikunterricht 66 (6) (2020) 36–47.
2020 | Journal Article | LibreCat-ID: 16277 | 
CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations
T. Kühne, M. Iannuzzi, M.D. Ben, V.V. Rybkin, P. Seewald, F. Stein, T. Laino, R.Z. Khaliullin, O. Schütt, F. Schiffmann, D. Golze, J. Wilhelm, S. Chulkov, M.H.B.-H. Mohammad Hossein Bani-Hashemian, V. Weber, U. Borstnik, M. Taillefumier, A.S. Jakobovits, A. Lazzaro, H. Pabst, T. Müller, R. Schade, M. Guidon, S. Andermatt, N. Holmberg, G.K. Schenter, A. Hehn, A. Bussy, F. Belleflamme, G. Tabacchi, A. Glöß, M. Lass, I. Bethune, C.J. Mundy, C. Plessl, M. Watkins, J. VandeVondele, M. Krack, J. Hutter, The Journal of Chemical Physics 152 (2020).
LibreCat
| Files available
| DOI
| Download (ext.)
| arXiv
T. Kühne, M. Iannuzzi, M.D. Ben, V.V. Rybkin, P. Seewald, F. Stein, T. Laino, R.Z. Khaliullin, O. Schütt, F. Schiffmann, D. Golze, J. Wilhelm, S. Chulkov, M.H.B.-H. Mohammad Hossein Bani-Hashemian, V. Weber, U. Borstnik, M. Taillefumier, A.S. Jakobovits, A. Lazzaro, H. Pabst, T. Müller, R. Schade, M. Guidon, S. Andermatt, N. Holmberg, G.K. Schenter, A. Hehn, A. Bussy, F. Belleflamme, G. Tabacchi, A. Glöß, M. Lass, I. Bethune, C.J. Mundy, C. Plessl, M. Watkins, J. VandeVondele, M. Krack, J. Hutter, The Journal of Chemical Physics 152 (2020).
2020 | Conference Paper | LibreCat-ID: 16898
A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K
M. Lass, R. Schade, T. Kühne, C. Plessl, in: Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC), IEEE Computer Society, Los Alamitos, CA, USA, 2020, pp. 1127–1140.
LibreCat
| DOI
| Download (ext.)
| arXiv
M. Lass, R. Schade, T. Kühne, C. Plessl, in: Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC), IEEE Computer Society, Los Alamitos, CA, USA, 2020, pp. 1127–1140.
2020 | Book Chapter | LibreCat-ID: 29042
Benchmarking the Lifecycle of Knowledge Graphs
M. Röder, M. Sherif, M. Saleem, F. Conrads, A.-C. Ngonga Ngomo, in: I. Tiddi, F. Lécué, P. Hitzler (Eds.), Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges, IOS Press, 2020, pp. 73–97.
LibreCat
| DOI
M. Röder, M. Sherif, M. Saleem, F. Conrads, A.-C. Ngonga Ngomo, in: I. Tiddi, F. Lécué, P. Hitzler (Eds.), Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges, IOS Press, 2020, pp. 73–97.
2020 | Conference Paper | LibreCat-ID: 21632
Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite
M. Meyer, T. Kenter, C. Plessl, in: 2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2020.
LibreCat
| Files available
| DOI
| Download (ext.)
M. Meyer, T. Kenter, C. Plessl, in: 2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2020.
2020 | Journal Article | LibreCat-ID: 12878 |
Accurate Sampling with Noisy Forces from Approximate Computing
V. Rengaraj, M. Lass, C. Plessl, T. Kühne, Computation 8 (2020).
LibreCat
| DOI
| Download (ext.)
| arXiv
V. Rengaraj, M. Lass, C. Plessl, T. Kühne, Computation 8 (2020).
2020 | Book Chapter | LibreCat-ID: 56244
Theory-Based Design of Professional Development for Upper Secondary Teachers–Focusing on the Content-Specific Use of Digital Tools
B. Barzel, R. Biehler, in: Professional Development and Knowledge of Mathematics Teachers, Routledge, 2020, pp. 163–192.
LibreCat
| Download (ext.)
B. Barzel, R. Biehler, in: Professional Development and Knowledge of Mathematics Teachers, Routledge, 2020, pp. 163–192.
2020 | Journal Article | LibreCat-ID: 16710
A Set-Oriented Path Following Method for the Approximation of Parameter Dependent Attractors
R. Gerlach, A. Ziessler, B. Eckhardt, M. Dellnitz, SIAM Journal on Applied Dynamical Systems (2020) 705–723.
LibreCat
| DOI
| Download (ext.)
R. Gerlach, A. Ziessler, B. Eckhardt, M. Dellnitz, SIAM Journal on Applied Dynamical Systems (2020) 705–723.
2020 | Conference Paper | LibreCat-ID: 52936
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
LibreCat
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
2020 | Misc | LibreCat-ID: 15489 |
Estimation of acoustic wave non-linearity in ultrasonic measurement systems
L. Claes, C. Steidl, T. Hetkämper, B. Henning, Estimation of Acoustic Wave Non-Linearity in Ultrasonic Measurement Systems, Cornell University, 2020.
LibreCat
| DOI
| Download (ext.)
| arXiv
L. Claes, C. Steidl, T. Hetkämper, B. Henning, Estimation of Acoustic Wave Non-Linearity in Ultrasonic Measurement Systems, Cornell University, 2020.
2020 | Book Chapter | LibreCat-ID: 35811
University Mathematics Didactic Research on Number Theory, Algebra, Discrete Mathematics, Logic
R. Biehler, V. Durand-Guerrier, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020, pp. 283–287.
LibreCat
| Files available
| Download (ext.)
R. Biehler, V. Durand-Guerrier, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020, pp. 283–287.
2020 | Book Chapter | LibreCat-ID: 35829
Investigating high school graduates’ personal meaning of the notion of “mathematical proof”
L. Kempen, S. Krämer, R. Biehler, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020, pp. 358–367.
LibreCat
| Files available
L. Kempen, S. Krämer, R. Biehler, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020, pp. 358–367.
2020 | Journal Article | LibreCat-ID: 33594
Schulbücher. Werkzeuge zum Üben in den Fächern Deutsch und Mathematik
S. Rezat, S. Rezat, Die Grundschulzeitschrift 320 320 (2020) 10–13.
LibreCat
S. Rezat, S. Rezat, Die Grundschulzeitschrift 320 320 (2020) 10–13.
2020 | Book Chapter | LibreCat-ID: 35821
Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP
L. Budde, D. Frischemeier, R. Biehler, F.Y. Fleischer, D. Gerstenberger, S. Podworny, C. Schulte, in: P. Arnold (Ed.), New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable Conference of the International Association for Statistical Education (IASE), July 2020, ISI/IASE, Voorborg, The Netherlands, 2020.
LibreCat
| Files available
| Download (ext.)
L. Budde, D. Frischemeier, R. Biehler, F.Y. Fleischer, D. Gerstenberger, S. Podworny, C. Schulte, in: P. Arnold (Ed.), New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable Conference of the International Association for Statistical Education (IASE), July 2020, ISI/IASE, Voorborg, The Netherlands, 2020.
2020 | Book Chapter | LibreCat-ID: 35913
The role of learning strategies for performance in mathematics courses for engineers
M. Liebendörfer, R. Göller, L. Gildehaus, J. Kortemeyer, R. Biehler, R. Hochmuth, L. Ostsieker, J. Rode, N. Schaper, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020.
LibreCat
| Files available
M. Liebendörfer, R. Göller, L. Gildehaus, J. Kortemeyer, R. Biehler, R. Hochmuth, L. Ostsieker, J. Rode, N. Schaper, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020.
2020 | Book Chapter | LibreCat-ID: 35912
“I only know the absolute value function”–About students’ concept images and example spaces concerning continuity and differentiability
E. Lankeit, R. Biehler, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020.
LibreCat
| Files available
E. Lankeit, R. Biehler, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020.