Python, Clawpack, PyClaw, and PetClaw (using PETSc) Randall J. LeVeque Kyle Mandli Applied Mathematics University of Washington

Source URL: fperez.org

Beyond the axioms: The question of objectivity in mathematics W. W. Tait∗ I

Source URL: home.uchicago.edu

On the Weak Computability of Continuous Real Functions Matthew S. Bauer and Xizhong Zheng Department of Computer Science and Mathematics Arcadia University Glenside, PA 19038, USA {mbauer, zhengx}@arcadia.edu

Source URL: arxiv.org

Truth in Mathematics: The Question of Pluralism∗ Peter Koellner “. . . before us lies the boundless ocean of unlimited possibilities.” —Carnap, The Logical Syntax of Language

Source URL: logic.harvard.edu

Shell Centre for Mathematical Education a brief history The Shell Centre was founded during 1967, largely as a result of the efforts of the Professors of Pure and Applied Mathematics in the University of Nottingham, He

Source URL: www.mathshell.org

Quantitative Verification Formal Guarantees for Timeliness, Reliability and Performance A Knowledge Transfer Report from the London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineeri

Source URL: www.prismmodelchecker.org

• Systems science
• Systems engineering
• Software engineering
• Formal methods
• Systems theory
• Theoretical computer science
• Model checkers
• Software quality
• Model checking
• PRISM model checker
• Reliability engineering
• Formal verification

Chapter 1 COMPUTATIONAL EXPERIENCE WITH THE MOLECULAR DISTANCE GEOMETRY PROBLEM Carlile Lavor Department of Applied Mathematics (IMECC-UNICAMP), State University of Campinas, CP 6065, , Campinas-SP, Brazil.

Source URL: www.enseignement.polytechnique.fr

Guide for Tools and Resources on Quantiles.com About The Quantile® Framework for Mathematics The Quantile® Framework for Mathematics is a unique measurement system that uses a common scale and metric to assess a stude

Source URL: www.quantiles.com

Version 3.0, Brief Remarks on Putnam and Realism in Mathematics* Charles Parsons Hilary Putnam has through much of his philosophical life meditated on the notion of realism, what it is, what form of realism is

Source URL: logic.harvard.edu

Mathematics Teaching Performance Assessment 2018

Source URL: step.tcnj.edu