Source: Dublin : European Society for Engineering Education (SEFI) 10 Seiten (2023). doi:10.21427/BH72-RH79 ; [51st Annual Conference of the European Society for Engineering Education, SEFI, 2023-09-11 -

Record details

Read More Add to Saved list

Conference

Normative modelling as a paradigm of the formatting power of mathematics : Educational value and learning environments

Authors : Pohlkamp, Stefan; Heitzer, Johanna

Subjects: DE

Source: Hamburg : tredition 799-808 (2021). doi:10.5281/zenodo.5416165 ; Exploring new ways to connect: Proceedings of the Eleventh International Mathematics Education and

Record details

Read More Add to Saved list

Academic Journal

A Hippocratic Oath for Mathematicians? Mapping the Landscape of Ethics in Mathematics

Authors : Müller, Dennis; Chiodo, Maurice; Franklin, James

Subjects: info:eu-repo/classification/ddc/500DE

Source: Science and engineering ethics 28(5), 41 (2022). doi:10.1007/s11948-022-00389-y

Record details

Read More Add to Saved list

Academic Journal

A Selection of Benchmark Problems in Solid Mechanics and Applied Mathematics

Authors : Schröder, Jörg; Wick, Thomas; Bayat, Hamid Reza

Subjects: info:eu-repo/classification/ddc/690DE

Source: Archives of computational methods in engineering 28(2), 713-751 (2020). doi:10.1007/s11831-020-09477-3

Record details

Read More Add to Saved list

Conference

Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors

Authors : Seppelt, Tim Frederik

Subjects: Mathematics of computing → Combinatorics; Mathematics of computing → Graph theory; graph minorDE

Source: Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Leibniz international proceedings in informatics: LIPIcs 272, 82:1-82:15 (2023). doi:10.4230/LIPIcs.MFCS.2023.82 ; 48th International

Record details

Read More Add to Saved list

Conference

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability

Authors : Roberson, David E.; Seppelt, Tim Frederik

Subjects: Lasserre hierarchy; Mathematics of computing → Combinatorics; Mathematics of computing → Graph theoryDE

Source: Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Leibniz International Proceedings in Informatics 261, 101:1-101:18 (2023). doi:10.4230/LIPICS.ICALP.2023.101 ; 50th

Record details

Read More Add to Saved list

Conference

Homomorphism Tensors and Linear Equations

Authors : Grohe, Martin; Rattan, Gaurav; Seppelt, Tim Frederik

Subjects: Mathematics of computing → Discrete mathematics; Sherali-Adams relaxation; Weisfeiler-LemanDE

Source: Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, LIPIcs - Leibniz International Proceedings in Informatics 229, [70:1]-70:20 (2022). doi:10.4230/LIPICS.ICALP.2022.70 ; 49th

Record details

Read More Add to Saved list

Academic Journal

Augmenting Mathematics Courses by Problem-Based Learning

Authors : Frank, Martin; Roeckerrath, C.

Subjects: info:eu-repo/classification/ddc/600DE

Source: International Journal of Engineering Pedagogy 6(1), 50 (2016). doi:10.3991/ijep.v6i1.5368

Record details

Read More Add to Saved list

Conference

Towards Concurrent Quantitative Separation Logic

Authors : Fesefeldt, Ira Justus; Katoen, Joost-Pieter; Noll, Thomas

Subjects: Concurrency; Heap-Manipulating; Mathematics of computing → Probabilistic reasoning algorithmsDE

Source: Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs - Leibniz International Proceedings in Informatics 243, 25:1-25:24 (2022). doi:10.4230/LIPICS.CONCUR.2022.25 ; 33rd International

Record details

Read More Add to Saved list

Conference

An Investigation of the Recoverable Robust Assignment Problem

Authors : Fischer, Dennis; Hartmann, Tim A.; Lendl, Stefan

Subjects: info:eu-repo/classification/ddc/004; Mathematics of computing → Graph theory; RNCDE

Source: Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, LIPIcs - Leibniz International Proceedings in Informatics 214, 19:1-19:14 (2021). doi:10.4230/LIPIcs.IPEC.2021.19 ; 16th International

Record details

Read More Add to Saved list