Paul Lorenzen -- Mathematician and Logician

Link to Metadata

The Legacy of Felix Klein

Table of Contents: “…I Introduction -- Felix Klein - Mathematician, Academic Organizer, Educational Reformer -- What is or what might be the legacy of Felix Klein? …”
Link to Metadata

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. …”
Link to Metadata

Lewis Fry Richardson: His Intellectual Legacy and Influence in the Social Sciences

Link to Metadata

Building the Foundation: Whole Numbers in the Primary Grades The 23rd ICMI Study /

Table of Contents: “…Artefacts and tasks in the mathematical preparation of teachers of elementary arithmetic from a mathematician's perspective: a commentary on Chapter 9 -- Chapter 11. …”
Link to Metadata

Interdisciplinary Mathematics Education The State of the Art and Beyond /

Table of Contents: “…-SECTION 1: CONCEPTUAL FRAMEWORKS -- Introduction -- Theoretical Perspectives on Interdisciplinary Mathematics -- Interdisciplinary Collaboration Between Musicians and Mathematicians: An Experience with Stochastic Music -- Challenges and Opportunities STEM Interdisciplinary Agenda -- SECTION 2: FOCUS ON CROSS-CUTTING SKILLS -- Introduction -- Using Scientific Hypothesis in Interdisciplinary Maths Activities -- Quantitative Reasoning and its Role in Interdisciplinarity from a Mathematical Perspective -- Modelling and Programming of Digital Video: A Source for the Integration of Mathematics, Engineering, and Technology -- SECTION 3: CASE STUDIES OF INTERDISCIPLINARITY IN PRACTICE -- Introduction -- Mathematics in an Interdisciplinary STEM Course (NLT) -- "Maths add up": Interdisciplinary Maths Activities -- The Successful Students STEM project: A Medium Scale Case of Teacher Development -- "Draw What You See": Transcending The Mathematics Classroom -- Interdisciplinarity: Old wine in new bottles? …”
Link to Metadata

National Reflections on the Netherlands Didactics of Mathematics Teaching and Learning in the Context of Realistic Mathematics Education /

Table of Contents: “…Mathematics and common sense - The Dutch School; Rijkje Dekker -- 5. Dutch mathematicians and mathematics education - A problematic relationship; Harm Jan Smid -- 6. …”
Link to Metadata

Proceedings of the 13th International Congress on Mathematical Education ICME-13 /

Table of Contents: “…- And why we should ask where one should experience or learn that, and how to teach it, Günter Ziegler, Andreas Loos -- International Comparative Studies in Mathematics: Lessons and Future Directions For Improving Students' Learning, Jinfa Cai, Ida Mok, Vijay Reddy, Kaye Stacey -- Transitions in Mathematics Education, Ghislaine Gueudet, Marianna Bosch, Andrea A. diSessa, Oh Nam Kwon, Lieven Verschaffel -- Part 2: Awardees' lectures -- ICMI Awards Ceremony, Carolyn Kieran, Jeremy Kilpatrick -- Mathematics Discourse in Instruction (MDI): A discursive resource as boundary object across practices, JillAdler -- The challenging relationship between fundamental research and action in mathematics education, Michèle Artigue -- Elementary mathematicians from advanced standpoints - a cultural perspective on mathematics education, Alan Bishop -- Design and Development for Large-Scale Improvement, Hugh Burkhardt, Malcolm Swan -- Making Sense of Mathematics Achievement in East Asia: Does culture really matter? …”
Link to Metadata

Framing Global Mathematics The International Mathematical Union between Theorems and Politics / by Schappacher, Norbert

Link to Metadata

Uncertainty in Mechanical Engineering Proceedings of the 4th International Conference on Uncertainty in Mechanical Engineering (ICUME 2021), June 7-8, 2021 /

Link to Metadata

Research On and Activities For Mathematically Gifted Students by Singer, Florence Mihaela, Sheffield, Linda Jensen, Freiman, Viktor, Brandl, Matthias

Link to Metadata

Mathematics Teacher Preparation in Central America and the Caribbean The Cases of Colombia, Costa Rica, the Dominican Republic and Venezuela /

Link to Metadata

Advances in Proof-Theoretic Semantics

Link to Metadata

Mathematics Teacher Education in the Andean Region and Paraguay A Comparative Analysis of Issues and Challenges /

Link to Metadata

Nanoscale Photonic Imaging

Link to Metadata

Beyond Becquerel and Biology to Precision Radiomolecular Oncology: Festschrift in Honor of Richard P. Baum

Link to Metadata