English
Related papers

Related papers: Twenty Female Mathematicians

200 papers

Clifford's geometric algebra has enjoyed phenomenal development over the last 60 years by mathematicians, theoretical physicists, engineers and computer scientists in robotics, artificial intelligence and data analysis, introducing a myriad…

General Mathematics · Mathematics 2021-04-20 Garret Sobczyk

The paper is dedicated to the memory of prominent theoretical physicist and mathematician Dr. Vadim Kuznetsov who worked, in particular, in the fields of the nonlinear dynamics, separation of variables, integrability theory, special…

Exactly Solvable and Integrable Systems · Physics 2008-04-24 Igor Komarov

In this manuscript, I introduce and describe the work of mathematicians and mathematics educators in the group Transforming Post-Secondary Education in Mathematics (TPSE Math or TPSE, pronounced "tipsy", for short). TPSE aims to coordinate…

History and Overview · Mathematics 2016-08-16 Tara S. Holm

We present the results of a large-scale computational analysis of mathematical papers from the ArXiv repository, demonstrating a comprehensive system that not only detects mathematical errors but provides complete referee reports with…

History and Overview · Mathematics 2025-11-14 Igor Rivin

This paper introduces DOoM, a new open-source benchmark designed to assess the capabilities of language models in solving mathematics and physics problems in Russian. The benchmark includes problems of varying difficulty, ranging from…

Artificial Intelligence · Computer Science 2025-11-14 Ilya Kuleshov , Ilin Pavel , Nikolay Kompanets , Ksenia Sycheva , Aleksandr Nikolich

The formalisation of mathematics is starting to become routine, but the value of this technology to the work of mathematicians remains to be shown. There are few examples of using proof assistants to verify brand-new work. This paper…

Logic in Computer Science · Computer Science 2025-01-22 Lawrence C Paulson

The primary sourcebook for developments based on the data of the world components "Theory of Intellectualities and Mathematical Statistics" (TIMS) collections of the Department of Mathematics, Physics and Astronomy of Odessky National…

History and Overview · Mathematics 2024-05-17 Lidiia L. Chinarova , Ivan L. Andronov

This paper aims to give a brief account of the mathematical work of the 7th-century Armenian polymath and natural philosopher Anania Shirakatsi. The three sections of Anania's ``Book of Arithmetic'' -- tables of arithmetic operations, a…

History and Overview · Mathematics 2024-04-25 Vahagn Aslanyan

The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are…

Logic in Computer Science · Computer Science 2007-05-23 Samuel R. Buss , Alexander S. Kechris , Anand Pillay , Richard A. Shore

A new view on the Kowalevski top and the Kowalevski integration procedure is presented. For more than a century, the Kowalevski 1889 case, attracts full attention of a wide community as the highlight of the classical theory of integrable…

Dynamical Systems · Mathematics 2009-12-17 Vladimir Dragovic

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

The need to evaluate Logarithmic integrals is ubiquitous in essentially all quantitative areas including mathematical sciences, physical sciences. Some recent developments in Physics namely Feynman diagrams deals with the evaluation of…

Number Theory · Mathematics 2020-02-11 Md Sarowar Morshed

Mathematical notation, i.e., the writing system used to communicate concepts in mathematics, encodes valuable information for a variety of information search and retrieval systems. Yet, mathematical notations remain mostly unutilized by…

Digital Libraries · Computer Science 2021-06-23 Andre Greiner-Petter , Moritz Schubotz , Fabian Mueller , Corinna Breitinger , Howard S. Cohl , Akiko Aizawa , Bela Gipp

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as…

Logic · Mathematics 2024-04-17 Richard Zach

A small and unsystematic selection of my favorite appearances of mathematicians and mathematics in German literature. It includes classic and romantic (Lessing, Goethe, Wezel, F. Schlegel, Kleist, Novalis, Grillparzer, Heine), modern…

History and Overview · Mathematics 2007-05-23 Christian Blohmann

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…

History and Overview · Mathematics 2014-04-08 Committee on Planning a Global Library of the Mathematical Sciences

This article describes reflections on the Fifth International Conference on Women in Physics which was a conference attended by 215 female physicists and a few male physicists from 49 different countries. The article focuses on the barriers…

Physics Education · Physics 2022-01-10 Chandralekha Singh

This is a short overview of the influence of mathematicians and their ideas on the creative contribution of Mikhailo Lomonosov on the occasion of the tercentenary of his birth.

History and Overview · Mathematics 2011-05-31 S. S. Kutateladze

This article is a part of the report for the research project ``Reform of the Course System and Teaching Content of Higher Mathematics (For Non-Mathematical Specialties)'' in 1995, supported by the National Ministry of Education. There are…

History and Overview · Mathematics 2007-05-23 Shutie Xiao

This is a draft of a book about algorithms for performing arithmetic, and their implementation on modern computers. We are concerned with software more than hardware - we do not cover computer architecture or the design of computer…

Data Structures and Algorithms · Computer Science 2021-06-28 Richard P. Brent , Paul Zimmermann
‹ Prev 1 3 4 5 6 7 10 Next ›