English
Related papers

Related papers: Conceptual Mathematics via Literate Programming

200 papers

Computation is a central aspect of modern science and engineering work, and yet, computational instruction has yet to fully pervade university STEM curricula. In physics, we have begun to integrate computation into our courses in a variety…

Physics Education · Physics 2017-09-19 Marcos. D. Caballero , Michael J. Obsniuk , Paul W. Irving

Developing students as well-rounded professionals is increasingly important for our modern society. Although there is a great consensus that technical and professional ("soft") skills should be developed and intertwined in the core of…

We give an overview of our philosophy of pictures in mathematics. We emphasize a bi-directional process between picture language and mathematical concepts: abstraction and simulation. This motivates a program to understand different…

History and Overview · Mathematics 2018-03-13 Arthur Jaffe , Zhengwei Liu

The words ``Programming is the second literacy'' were coined more than 40 years ago but never came to life. This paper is one in the series of papers aimed at the analysis of mathematical requirements for a merge of school mathematics with…

History and Overview · Mathematics 2022-12-26 Alexandre Borovik , Vladimir Kondratiev

Over the past thirty years or so the authors have been teaching various programming for mathematics courses at our respective Universities, as well as incorporating computer algebra and numerical computation into traditional mathematics…

History and Overview · Mathematics 2022-03-16 Jack Betteridge , Eunice Y. S. Chan , Robert M. Corless , James H. Davenport , James Grant

In order to work with mathematical content in computer systems, it is necessary to represent it in formal languages. Ideally, these are supported by tools that verify the correctness of the content, allow computing with it, and produce…

Logic in Computer Science · Computer Science 2020-05-27 Cezary Kaliszyk , Florian Rabe

As belief around the potential of computational social science grows, fuelled by recent advances in machine learning, data scientists are ostensibly becoming the new experts in education. Scholars engaged in critical studies of education…

Computers and Society · Computer Science 2025-09-04 Rebecca Eynon , Nabeel Gillani

In the article the problems of the systems of computer mathematics use as a tool for the students learning and research activities support are investigated. The promising ways of providing access to the mathematical software in the…

Computers and Society · Computer Science 2018-07-04 Mariya Shyshkina , Uliana Kohut , Maiia Popel

Philosophy of science attempts to describe all parts of the scientific process in a general way in order to facilitate the description, execution and improvements of this process. So far, all proposed philosophies have only covered existing…

Logic in Computer Science · Computer Science 2023-02-07 Michał J. Gajda

For several years, students visit us on different occasions at the university. But how to bridge from the school curriculum to the contents of the university mathematics? And how to find a focal point at which an active contribute, despite…

Optimization and Control · Mathematics 2016-03-26 Miriam Kießling , Sascha Kurz , Tobias Kreisel , Jörg Rambau , Konra Schade , Cornelius Schwarz

Traditionally, mathematical knowledge is published in printed media such as books or journals. With the advent of the Internet, a new method of publication became available. To date, however, most online mathematical publications do not…

History and Overview · Mathematics 2011-03-01 Markus J. Pflaum , John Tuley

There have been several modifications of how basic calculus has been taught, but very few of these modifications have considered the computational tools available at our disposal. Here, we present a few tools that are easy to develop and…

History and Overview · Mathematics 2024-10-04 Parthasarathy Srinivasan

Curriculum learning--ordering training examples in a sequence to aid machine learning--takes inspiration from human learning, but has not gained widespread acceptance. Static strategies for scoring item difficulty rely on indirect proxy…

Machine Learning · Computer Science 2026-03-17 Zhenwei Tang , Amogh Inamdar , Ashton Anderson , Richard Zemel

Computation is becoming an increasingly important part of physics education. However, there are currently few theories of learning that can be used to help explain and predict the unique challenges and affordances associated with…

Physics Education · Physics 2020-01-01 Tor Ole B. Odden , Elise Lockwood , Marcos D. Caballero

During the last decade we have witnessed an impressive development in so-called interpreted languages and computational environments such as Maple, Mathematica, IDL, Matlab etc. Problems which until recently were typically solved on…

Physics Education · Physics 2007-05-23 Arnt Inge Vistnes , M. Hjorth-Jensen

Writing and argumentation are critical to both professional physics and physics education. However, the skill of making an extended argument in writing is often overlooked in physics classrooms, apart from certain practices like lab…

Physics Education · Physics 2020-06-19 Tor Ole B. Odden , John Burk

The unprecedented growth in the availability of data of all types and qualities and the emergence of the field of data science has provided an impetus to finally realizing the implementation of the full breadth of the Nolan and Temple Lang…

Computers and Society · Computer Science 2020-10-15 Wesley Burr , Fanny Chevalier , Christopher Collins , Alison L Gibbs , Raymond Ng , Chris Wild

Practical research was conducted to cultivate students' mathematical computation ability using literature analysis, theoretical practice, and statistical analysis methods. The research involved 171 ninth-grade students from the author's…

History and Overview · Mathematics 2023-03-06 Yang Liu , Xuedan Li

This paper describes a collaboration between a mathematician and a compositionist who developed a sequence of collaborative writing assignments for calculus. This sequence of developmentally-appropriate assignments presents peer review as a…

History and Overview · Mathematics 2014-05-30 Carrie Diaz Eaton , Stephanie Wade

It has been argued that computational thinking should precede computer programming in the course of a career in computing. This argument is the basis for the slogan "logic first, syntax later" and the development of many cryptic syntax…

Computers and Society · Computer Science 2018-11-13 Patrick Vanvorce , Hasan M. Jamil