Search Results - "mathematicians"

  1. 181
  2. 182
  3. 183
  4. 184
  5. 185

    Nanoscale Photonic Imaging

    Published 2020
    Link to Metadata
    Electronic eBook
  6. 186
  7. 187
  8. 188
  9. 189
  10. 190
  11. 191
  12. 192
  13. 193

    How to Think Like a Computer Scientist C Version by Downey, Allen B.

    Published 1999
    Access online version
    Electronic eBook
  14. 194
  15. 195

    The Legacy of Felix Klein

    Published 2019
    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
    Electronic eBook
  16. 196

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

    Published 2018
    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
    Electronic eBook
  17. 197

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

    Published 2021
    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
    Electronic eBook
  18. 198

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

    Published 2017
    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
    Electronic eBook
  19. 199
  20. 200