Search Results

Clara Löh: Exploring Formalisation. A primer in human-readable mathematics in Lean 3 with examples from simplicial topology – Surveys and Tutorials in the Applied Mathematical Science 11. Cham: Springer 2022, 147 Seiten. ISBN 978-3-031-14648-0/pbk; 978-3-031-14649-7/ebook

• Authors : von Raumer, Jakob

Subjects: ddc:004; DATA processing & computer science; info:eu-repo/classification/ddc/004

• Source: Mathematische Semesterberichte ; ISSN: 0720-728X, 1432-1815

Record details

Beliefs von Schweizer Schülerinnen und Schülern zum konstruktivistischen und instruktivistischen Lernen im Mathematikunterricht der Sekundarstufe I – Ergebnisse eines Large-Scale-Assessments zur Überprüfung mathematischer Grundkompetenzen (ÜGK) 2016 ; Swiss student beliefs on constructivist and transmissive learning in mathematics at the end of lower secondary education—results of a large-scale assessment of basic mathematical competencies (ÜGK) 2016

• Authors : Girnat, Boris; Hascher, Tina

Subjects: 370 Education

• Source: Girnat, Boris; Hascher, Tina (2021). Swiss student beliefs on constructivist and transmissive learning in mathematics at the end of lower secondary education—results

Record details

Ein neuer Blickwinkel auf die merkmalsorientierte Ordnung von Vierecken

• Authors : Kaiser, Peter

Subjects: ddc:510; Mathematics; info:eu-repo/classification/ddc/510

• Source: Mathematische Semesterberichte ; ISSN: 0720-728X, 1432-1815

Record details

A NUMERICAL DESCENT METHOD FOR AN INVERSE PROBLEM OF A SCALAR CONSERVATION LAW MODELLING SEDIMENTATION ; NUMERICAL MATHEMATICS AND ADVANCED APLICATIONS

• Authors : Burger, Raimund Klaus; Coronel Perez, Anibal; Sepulveda Cortes, Mauricio Alejandro

Subjects: BERLIN

Record details

Finanzmathematik in diskreter Zeit

• Authors : Bäuerle, Nicole; Rieder, Ulrich

Subjects: ddc:510; Mathematics; info:eu-repo/classification/ddc/510

Record details

Applied Mathematics and Optimization / Minimal time problem with impulsive controls

• Authors : Kunisch, Karl; Rao, Zhiping

Subjects: optimal control; impulsive differential equations; Hamilton-Jacobi-Bellman equationsUG:NW:MA

Record details

Konzeptualisierung und Messung der Qualität der adaptiven Lernunterstützung in Lernsituationen mit mathematischen Regelspielen im Kindergarten. Eine Studie in Deutschland und der Schweiz

• Authors : Meier-Wyder, Anuschka; Wullschleger, Andrea; Lindmeier, Anke

Subjects: Institute of Education; 370 Education; Education

• Source: Meier-Wyder, Anuschka; Wullschleger, Andrea; Lindmeier, Anke; Heinze, Aiso; Leuchter, Miriam; Vogt, Franziska; Moser Opitz, Elisabeth (2022). Konzeptualisierung und Messung der Qualität der adaptiven

Record details

Universal algorithms for computing spectra of periodic operators

• Authors : Ben-Artzi, Jonathan; Marletta, Marco; Rösler, Frank

Subjects: 510 Mathematics

• Source: Ben-Artzi, Jonathan; Marletta, Marco; Rösler, Frank (2022). Universal algorithms for computing spectra of periodic operators. Numerische Mathematik, 150(3), pp. 719-767.

Record details

Journal of Engineering Mathematics / A Dirichlet-Neumann cost functional approach for the Bernoulli problem

• Authors : Peichl, Gunther; Ben Abda, Amel; Bouchon, Francois

Subjects: Bernoulli problem; Domain perturbation; Free boundary

Record details

Forensische DNA-Methylierungsanalyse - Erster, technischer Ringversuch der Arbeitsgruppe „Molekulare Altersschätzung“ der Deutschen Gesellschaft für Rechtsmedizin

• Authors : Holländer, Olivia; Schwender, Kristina; Böhme, Petra

Subjects: Institute of Legal Medicine; 340 Law; 610 Medicine & health

• Source: Holländer, Olivia; Schwender, Kristina; Böhme, Petra; Fleckhaus, Jan; Haas, Cordula; Han, Yang; Heidorn, Frank; Klein-Unseld, Rachel; Lichtenwald, Julia; Naue, Jana; Neubauer, Jacqueline; Poetsch,

Record details