Related papers: Matematika 1
We present some of the experiments we have performed to best test our design for a library for MathScheme, the mechanized mathematics software system we are building. We wish for our library design to use and reflect, as much as possible,…
We describe the development of a junior-senior level course for Physics majors designed to teach Mathematica skills in support of their undergraduate coursework, but also to introduce students to modern research level results. Standard…
This is the introduction I wrote for the multi-authored book "From Riemann to differential geometry and relativity", edited by L. Ji, A. Papadopoulos and S. Yamada (Berlin, Springer verlag, 2017). The book consists of twenty chapters,…
This paper describes the design and implementation of mechanisms for light-weight inclusion of formal mathematics in informal mathematical writings, particularly in a Web-based setting. This is conceptually done in three stages: (i) by…
In this article, we suggest the use of Mathematical Relationships as a possible way to decrease the students' disinterest in Mathematics. First we made a consideration of the environment of the classroom from the perspective of teachers and…
The aim of this research is to design and implementation of cloud based learning environment for separate division of the university. The analysis of existing approaches to the construction of cloud based learning environments, the…
In this short review, I will summarize my research experience in three fields in applied mathematics: mathematical biology, applied probability, and applied discrete mathematics. Specifically, I will show how each project was initiated, and…
I wrote this book in a "do-it-yourself" style so that I give only a draft of tensor theory, which includes formulating definitions and theorems and giving basic ideas and formulas. All other work such as proving consistence of definitions,…
Developing a 21st Century Global Library for Mathematics Research discusses how information about what the mathematical literature contains can be formalized and made easier to express, encode, and explore. Many of the tools necessary to…
Many mathematicians find mathematics aesthetically beautiful and even comparable to art forms such as music or painting. On the other hand, every year a great number of school students leave mathematics with total disillusionment and…
What should these lectures be? The subject assigned to us is so broad that many books can be written about it. So, in planning these lectures I had several options. One would be to focus on a narrow subset of topics and to cover them in…
This talk presents foundations of mathematics as a historically variable set of principles appealing to various modes of human intuition and devoid of any prescriptive/prohibitive power. At each turn of history, foundations crystallize the…
Students in introductory calculus-based physics not only have difficulty understanding the fundamental physical concepts, they often have difficulty relating those concepts to the mathematics they have learned in math courses. This produces…
This is my working paper on a proposed logical framework for the practice of mathematics, which is paralleled by philosophical considerations and a computer implementation (a variant of Automath). Updated 10/27/2016 with a version from…
There are compelling reasons to shift our pedagogy toward evidence-based active learning methods that substantially improve student success, and now plenty of resources to aid in that shift. These include the recent CBMS Statement on Active…
If we want mathematics education to be valuable to everybody, including those who do not pursue mathematics-related careers, we need to use mathematics as a training ground for certain ways of thinking. This dissertation focuses on one…
We consider a definition of mathematics as the art of thinking in terms of formalized systems, and the science of relations, structures and algorithms. We also touch upon the relation of mathematics to other sciences, in particular through…
Textbooks on statistics emphasize care and precision, via concepts such as reliability and validity in measurement, random sampling and treatment assignment in data collection, and causal identification and bias in estimation. But how do…
This resource letter intends to provide physics instructors - particularly graduate student teaching assistants - at the introductory university level with a small but representative collection of resources to acquire a familiarity with…
The Lean mathematical library mathlib is developed by a community of users with very different backgrounds and levels of experience. To lower the barrier of entry for contributors and to lessen the burden of reviewing contributions, we have…