Displaying 41 – 60 of 109

Showing per page

Mathematical Document Classification via Symbol Frequency Analysis

Watt, Stephen M. (2008)

Towards Digital Mathematics Library. Birmingham, United Kingdom, July 27th, 2008

Earlier work has examined the frequency of symbol and expression use in mathematical documents for various purposes including mathematical handwriting recognition and forming the most natural output from computer algebra systems. This work has found, unsurprisingly, that the particulars of symbol and expression vary from area to area and, in particular, between different top-level subjects of the 2000 Mathematical Subject Classification. If the area of mathematics is known in advance, then an area-specific...

Mathematical Formulae Recognition

Průša, Daniel, Hlaváč, Václav (2008)

Towards Digital Mathematics Library. Birmingham, United Kingdom, July 27th, 2008

We present a summary of our work in progress related to mathematical formulae recognition. Our approach is based on the structural construction paradigm and two-dimensional grammars. It is a general framework and can be successfully used in the analysis of images containing objects exhibiting rich structural relations. In contrast to most of all other known approaches, the method does not treat symbols segmentation and structural analysis as two separate processes. This allows the system to solve...

Mathematical Models of Abstract Systems: Knowing abstract geometric forms

Jean-Pierre Marquis (2013)

Annales de la faculté des sciences de Toulouse Mathématiques

Scientists use models to know the world. It is usually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models...

Mathematical Models of Dividing Cell Populations: Application to CFSE Data

H.T. Banks, W. Clayton Thompson (2012)

Mathematical Modelling of Natural Phenomena

Flow cytometric analysis using intracellular dyes such as CFSE is a powerful experimental tool which can be used in conjunction with mathematical modeling to quantify the dynamic behavior of a population of lymphocytes. In this survey we begin by providing an overview of the mathematically relevant aspects of the data collection procedure. We then present an overview of the large body of mathematical models, along with their assumptions and uses,...

Mathematical theory of musical scales.

M. J. Garmendia Rodríguez, J. A. Navarro González (1996)

Extracta Mathematicae

Our aim is to look for precise definitions of musical concepts. In this work we present the concepts we have been able to derive from the concept of pitch (high-low aspect of musical sounds). Now, pitches being the primitive concept, they will not be defined from a previous concept, but from their mutual relationships.

Mathematics and Morality on the Cusp of Modernity

Peter Dear (2001)

Revue d'histoire des mathématiques

This note suggests that a fruitful way of investigating the history of mathematics lies in consideration of its pedagogical purposes. As a general illustration of the directions that such an approach might take, the paper discusses early-modern arguments for the practical utility of mathematics and its capacity to inculcate good habits of thought, as well as the appearance of new uses for mathematical training in the later eighteenth and early nineteenth centuries that served the purpose of the...

MathML-aware Article Conversion from LaTeX

Stamerjohanns, Heinrich, Ginev, Deyan, David, Catalin, Misev, Dimitar, Zamdzhiev, Vladimir, Kohlhase, Michael (2009)

Towards a Digital Mathematics Library. Grand Bend, Ontario, Canada, July 8-9th, 2009

Publishing in Mathematics and theoretical areas in Computer Science and Physics has been predominantly using TeX/LaTeX as a formatting language in the last two decades. This large corpus of born-digital material is both a boon — LaTeX is semi-semantic format where the source often contains indications of the author’s intentions — and a problem — TeX is Turing-complete and authors use this freedom to use thousands of styles and millions of user macros. Several tools have been developed to convert...

Currently displaying 41 – 60 of 109