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
Schönherr, Johanna, et al. ““Why Don’t You Make a Drawing?" Motivation and Strategy Use in Mathematical Modelling.” Proceedings of the 44th Conference of the International Group for the Psychology of Mathematics Education: PME, edited by M. Inprasitha et al., 2020, pp. 46–54.
LibreCat
2020 | Journal Article | LibreCat-ID: 45338
Schönherr, Johanna, et al. “Measuring and Investigating Strategic Knowledge about Drawing to Solve Geometry Modelling Problems.” ZDM – Mathematics Education, vol. 52, no. 1, 2020, pp. 97–110, doi:10.1007/s11858-019-01085-1.
LibreCat
| DOI
2020 | Mastersthesis | LibreCat-ID: 21433
Jentzsch, Felix P. Design and Implementation of a ReconOS-Based TensorFlow Lite Delegate Architecture. 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 34670
Black, Tobias. “Global Generalized Solutions to a Forager–Exploiter Model with Superlinear Degradation and Their Eventual Regularity Properties.” Mathematical Models and Methods in Applied Sciences, vol. 30, no. 06, World Scientific Pub Co Pte Lt, 2020, pp. 1075–117, doi:10.1142/s0218202520400072.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 31376
Hoffmann, Max. “Zirkel und Lineal ohne Parallelenaxiom: Ein konstruktiver Zugang zur hyperbolischen Geometrie.” Der Mathematikunterricht, vol. 66 (6), 2020, pp. 36–47.
LibreCat
2020 | Journal Article | LibreCat-ID: 16277 | 
Kühne, Thomas, et al. “CP2K: An Electronic Structure and Molecular Dynamics Software Package - Quickstep: Efficient and Accurate Electronic Structure Calculations.” The Journal of Chemical Physics, vol. 152, no. 19, 194103, 2020, doi:10.1063/5.0007045.
LibreCat
| Files available
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 16898
Lass, Michael, et al. “A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K.” Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC), IEEE Computer Society, 2020, pp. 1127–40, doi:10.1109/SC41405.2020.00084.
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 29042
Röder, Michael, et al. “Benchmarking the Lifecycle of Knowledge Graphs.” Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges, edited by Ilaria Tiddi et al., IOS Press, 2020, pp. 73–97, doi:10.3233/SSW200012.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21632
Meyer, Marius, et al. “Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite.” 2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2020, doi:10.1109/h2rc51942.2020.00007.
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 12878 |
Rengaraj, Varadarajan, et al. “Accurate Sampling with Noisy Forces from Approximate Computing.” Computation, vol. 8, no. 2, 39, MDPI, 2020, doi:10.3390/computation8020039.
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 56244
Barzel, Bärbel, and Rolf Biehler. “Theory-Based Design of Professional Development for Upper Secondary Teachers–Focusing on the Content-Specific Use of Digital Tools.” Professional Development and Knowledge of Mathematics Teachers, Routledge, 2020, pp. 163–192.
LibreCat
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 16710
Gerlach, Raphael, et al. “A Set-Oriented Path Following Method for the Approximation of Parameter Dependent Attractors.” SIAM Journal on Applied Dynamical Systems, 2020, pp. 705–23, doi:10.1137/19m1247139.
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 52936
Dubslaff, Clemens, et al. “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.” 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, edited by Stefan Borgwardt and Thomas Meyer, vol. 2663, CEUR-WS.org, 2020.
LibreCat
2020 | Misc | LibreCat-ID: 15489 |
Claes, Leander, et al. Estimation of Acoustic Wave Non-Linearity in Ultrasonic Measurement Systems. Cornell University, 2020, doi:10.48550/arXiv.2001.05708.
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 35811
Biehler, Rolf, and Viviane Durand-Guerrier. “University Mathematics Didactic Research on Number Theory, Algebra, Discrete Mathematics, Logic.” Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), edited by T. Hausberger et al., University of Carthage and INDRUM, 2020, pp. 283–87.
LibreCat
| Files available
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 35829
Kempen, Leander, et al. “Investigating High School Graduates’ Personal Meaning of the Notion of ‘Mathematical Proof.’” Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), edited by T. Hausberger et al., University of Carthage and INDRUM, 2020, pp. 358–67.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 33594
Rezat, Sebastian, and Sara Rezat. “Schulbücher. Werkzeuge zum Üben in den Fächern Deutsch und Mathematik.” Die Grundschulzeitschrift 320, vol. 320, 2020, pp. 10–13.
LibreCat
2020 | Book Chapter | LibreCat-ID: 35821
Budde, Lea, et al. “Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP.” New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable Conference of the International Association for Statistical Education (IASE), July 2020, edited by P. Arnold, ISI/IASE, 2020.
LibreCat
| Files available
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 35913
Liebendörfer, Michael, et al. “The Role of Learning Strategies for Performance in Mathematics Courses for Engineers.” Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), edited by T. Hausberger et al., University of Carthage and INDRUM, 2020.
LibreCat
| Files available
2020 | Book Chapter | LibreCat-ID: 35912
Lankeit, Elisa, and Rolf Biehler. “‘I Only Know the Absolute Value Function’–About Students’ Concept Images and Example Spaces Concerning Continuity and Differentiability.” Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), edited by T. Hausberger et al., University of Carthage and INDRUM, 2020.
LibreCat
| Files available