English
Related papers

Related papers: Polish Mathematicians and Mathematics in World War…

200 papers

We will outline our ideas for teaching in the core mathematics disciplines. They are based on our own experience in teaching at a number of universities in the USA, as well as in Europe. While some of the core ideas stay and have stayed…

History and Overview · Mathematics 2007-05-23 Palle E. T. Jorgensen

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

This paper is divided into two sections. In the first I give reasons for strongly recommending reading some of Henkin's expository papers. In the second I describe Leon Henkin's work as a social activists in the field of mathematics…

History and Overview · Mathematics 2015-07-17 María Manzano

This work explores a possible course of evolution of mathematics in ancient times in India when there was no script, no place-value system, and no zero. Reviewing examples of time-reckoning, large numbers, sacrificial altar-making, and…

History and Overview · Mathematics 2024-07-02 Jaidev Dasgupta

This is the first part of a series of papers aiming to show how trigonometry and analytic tools can help into tackling demanding Olympiad geometry problems. We present several novel techniques for tackling hard problems from various…

General Mathematics · Mathematics 2024-03-18 Orestis Lignos

Reminiscences about I. M. Gel'fand on the 100th anniversary of his birth, and about mathematical life in Moscow in the former Soviet Union.

History and Overview · Mathematics 2016-05-04 Melvyn B. Nathanson

Studying Mathematics requires a synthesis of skills from a multitude of academic disciplines; logical reasoning being chief among them. This paper explores mathematical logical preparedness of students entering first year university…

History and Overview · Mathematics 2021-02-11 Shannon Ezzat , Scott Rodney

The dissertation describes ergodic properties of some stochastic dynamical systems generated by Markov chains with values in the state space which is a Polish space. The mathematical model describing the process of cell division is…

Probability · Mathematics 2016-03-24 Hanna Wojewódka

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…

History and Overview · Mathematics 2015-10-19 Snorre H. Christiansen

An attempt is made to simulate the disclosure of underground soldiers in terms of theory of networks. The coupling mechanism between the network nodes is the possibility that a disclosed soldier is going to disclose also his acquaintances.…

Physics and Society · Physics 2017-03-14 K. Kułakowski , K. Malarz , M. J. Krawczyk

This panel draws on research of the teaching of mathematical proof, conducted in five countries at different levels of schooling. With a shared view of proof as essential to the teaching and learning of mathematics, the authors present…

History and Overview · Mathematics 2007-05-23 Deborah Loewenberg Ball , Celia Hoyles , Hans Niels Jahnke , Nitsa Movshovitz-Hadar

Career opportunities for PhDs in the mathematical sciences have never been better. Traditional faculty positions in mathematics departments in colleges and universities range from all teaching to combined teaching and research…

History and Overview · Mathematics 2021-09-17 Yara Skaf , Reinhard Laubenbacher

A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of compact Polish spaces. We show that there exists a…

Logic · Mathematics 2024-01-03 Mathieu Hoyrup , Takayuki Kihara , Victor Selivanov

This article deals with peer-assessment in the context of higher education teaching in mathematics, and examines the nature of student activity when assessing work produced by peers. After an overview of research on peer assessment, we…

History and Overview · Mathematics 2023-10-27 Juliette Veuillez--Mainard , Simon Modeste

In parallel to the ever-growing usage of mechanized proofs in diverse areas of mathematics and computer science, proof assistants are used more and more for education. This paper surveys previous work related to the use of proof assistants…

Logic in Computer Science · Computer Science 2025-05-21 Frédéric Tran Minh , Laure Gonnord , Julien Narboux

The use of statistical software in academia and enterprises has been evolving over the last years. More often than not, students, professors, workers, and users, in general, have all had, at some point, exposure to statistical software.…

Applications · Statistics 2019-08-21 Rui Portocarrero Sarmento , Vera Costa

University level mathematics in a number of countries is under pressure to `decolonise the curriculum'. This paper considers, as a test case, a possible `decolonisation' of linear algebra. This is a representative case, since linear algebra…

History and Overview · Mathematics 2023-01-13 Alexandre Borovik

Mathematics has become inescapable in modern, digitized societies: there is hardly any area of life left that isn't affected by it, and we as mathematicians play a central role in this. Our actions affect what others, in particular our…

History and Overview · Mathematics 2024-07-18 Maurice Chiodo , Dennis Müller

The example of the calculus is used to explain how simple, practical math was made enormously complex by imposing on it the Western religiously-colored notion of mathematics as "perfect". We describe a pedagogical experiment to make math…

History and Overview · Mathematics 2013-12-10 C. K. Raju

The main goal of the project Math-Net.Ru is to collect scientific publications in Russian and Soviet mathematics journals since their foundation to today and the authors of these publications into a single database and to provide access to…

Digital Libraries · Computer Science 2014-01-29 Dmitry E. Chebukov , Alexander D. Izaak , Olga G. Misyurina , Yuri A. Pupyrev , Alexey B. Zhizhchenko