English
Related papers

Related papers: A Mathematical Picture Language Program

200 papers

The mathematical picture language project that we began in 2016 has already yielded interesting results. We also point out areas of mathematics and physics where we hope that it will prove useful in the future.

Mathematical Physics · Physics 2020-06-09 Arthur Jaffe , Zhengwei Liu

Questions concerning origin of mathematical knowledge and roles of language and intuition (imagery) in mathematical thoughts are long standing and widely debated. By introspection, mathematicians usually have some beliefs regarding these…

Neurons and Cognition · Quantitative Biology 2019-10-02 Manouchehr Zaker

This essay considers the special character of mathematical reasoning, and draws on observations from interactive theorem proving and the history of mathematics to clarify the nature of formal and informal mathematical language. It proposes…

History and Overview · Mathematics 2015-08-24 Jeremy Avigad

Mathematical programming is a branch of applied mathematics and has recently been used to derive new decoding approaches, challenging established but often heuristic algorithms based on iterative message passing. Concepts from mathematical…

Information Theory · Computer Science 2014-04-29 Michael Helmling , Stefan Ruzika , Akin Tanatmis

The purpose of this paper is to emphasize the role of language in the process of teaching and learning mathematics. We will begin with the definition of mathematics given by Cassiodorus (in its essential features repeated in Kolmogorov's…

General Mathematics · Mathematics 2018-10-30 Aslanbek Naziev

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

Mathematical concepts and tools have shaped the field of visualization in fundamental ways and played a key role in the development of a large variety of visualization techniques. In this chapter, we sample the visualization literature to…

Human-Computer Interaction · Computer Science 2019-09-12 Ingrid Hotz , Roxana Bujack , Christoph Garth , Bei Wang

We show a possibility to apply certain philosophical concepts to the analysis of concrete mathematical structures. Such application gives a clear justification of topological and geometric properties of considered mathematical objects.

General Mathematics · Mathematics 2020-06-23 Yuri Kondratiev

Mathematics is the language of science. Fluent and productive use of mathematics requires one to understand the meaning embodied in mathematical symbols, operators, syntax, etc., which can be a difficult task. For instance, in algebraic…

Physics Education · Physics 2019-09-26 Tra Huynh , Eleanor C Sayre

Mathematical understanding is built in many ways. Among these, illustration has been a companion and tool for research for as long as research has taken place. We use the term illustration to encompass any way one might bring a mathematical…

History and Overview · Mathematics 2023-12-29 Rémi Coulon , Gabriel Dorfsman-Hopkins , Edmund Harriss , Martin Skrodzki , Katherine E. Stange , Glen Whitney

A standing challenge in undergraduate Computer Science curricula is the teaching and learning of computer programming. Through this paper which is an essay about programming, we aim to contribute to the plethora of existing pedagogies,…

Programming Languages · Computer Science 2022-02-21 Elpida Keravnou-Papailiou

Mathematics has many useful properties for developing of complex software systems. One is that it can exactly describe a physical situation of the object or outcome of an action. Mathematics support abstraction and this is an excellent…

Software Engineering · Computer Science 2010-04-19 Manoranjan Kumar Singh , Rakesh. L

Mathematical research is often motivated by the desire to reach a beautiful result or to prove it in an elegant way. Mathematician's work is thus strongly influenced by his aesthetic judgments. However, the criteria these judgments are…

History and Overview · Mathematics 2024-05-10 Filip D. Jevtić , Jovana Kostić , Katarina Maksimović

There are many scientific problems generated by the multiple and conflicting alternative definitions of linguistic recursion and human recursive processing that exist in the literature. The purpose of this article is to make available to…

Computation and Language · Computer Science 2009-09-22 P. Gilkey , S. Lopez Ornat , A. Karousou

Physics makes powerful use of mathematics, yet the way this use is made is often poorly understood. Professionals closely integrate their mathematical symbology with physical meaning, resulting in a powerful and productive structure. But…

Physics Education · Physics 2010-02-03 Edward F. Redish , Ayush Gupta

Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathematics. In the last decades we have seen a cambric explosion of…

Mathematical Software · Computer Science 2020-02-13 Katja Bercic , Jacques Carette , William M. Farmer , Michael Kohlhase , Dennis Müller , Florian Rabe , Yasmine Sharoda

Mathematics is a critical part of much scientific research. Physics in particular weaves math extensively into its instruction beginning in high school. Despite much research on the learning of both physics and math, the problem of how to…

Physics Education · Physics 2015-06-22 Edward F. Redish , Eric Kuo

An introduction to applied mathematics written for students in engineering and science. Focus is on a rigorous presentation that also builds understanding by discussion, analogy, and examples. Discussion of concepts involved in modeling…

History and Overview · Mathematics 2023-05-10 Brian D Wood

Currently it is widely accepted that the language of science is mathematics. This book explores an alternative idea where the future of science is based on the language of algorithms and programs. How such a language can actually be…

Logic in Computer Science · Computer Science 2020-11-06 Garry Pantelis

This thesis is intended to provide an account of the theory and applications of Operational Methods that allow the "translation" of the theory of special functions and polynomials into a "different" mathematical language. The language we…

Classical Analysis and ODEs · Mathematics 2018-03-09 Silvia Licciardi
‹ Prev 1 2 3 10 Next ›