Results 1 to 10 of about 89 (61)
Himmelsbeobachtungen und deren Messung, von der Regierungszeit des Gudea von Lagash bis zum Almagest des Claudius Ptolemäus [PDF]
, 2023 The present article gives an overview on the development of the measurement and practical acquisition of circle section dimensions since the late 3rd millennium BC.
KLEB, Jens, KLEB, Jens
core +2 more sources
On definitions of "mathematician" [PDF]
, 2023 The definition of who is or what makes a ``mathematician" is an important and urgent issue to be addressed in the mathematics community. Too often, a narrower definition of who is considered a mathematician (and what is considered mathematics) is used to
Buckmire, Ron +8 more
core +3 more sources
A discussion of a geometric shape that became a symbol known as mandorla or vesica piscis, starting from a Pythagorean point of view [PDF]
, 2020 Here we propose a discussion about the "mandorla" or "vesica piscis". It is a type of 2-dimensional lens, that is, a geometric shape formed by the intersection of two circles with the same radius, intersecting in such a way that the centre of each circle
Amelia Carolina Sparavigna
core +4 more sources
Computer theorem proving in math [PDF]
, 2004 We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, June 2003)
Carlos Simpson +1 more
core +4 more sources
Joseph Carter Corbin: Arkansas's "Profound Mathematician''
, 2023 This is a historical article on J. C. Corbin, a nineteenth century mathematician and the founding president of the Historically Black University of Arkansas at Pine Bluff. This version omits the figures that appeared in the published edition.
Kass, Jesse Leo
core +1 more source
Modeling of combat operations [PDF]
, 2023 Introduction/purpose: The goal of the research in this paper is to present and evaluate the method of modeling operations by aggregating forces by simulating the battle process with Lanchester's equations.
Aca D. Jovanović +2 more
core +1 more source
On the history of Lie brackets, crossed modules, and Lie-Rinehart algebras
, 2022 The aim here is to sketch the development of ideas related to brackets and similar concepts: Some purely group theoretical combinatorics due to Ph. Hall led to a proof of the Jacobi identity for the Whitehead product in homotopy theory.
Huebschmann, Johannes
core +1 more source
Multi-Winner Voting with Approval Preferences [PDF]
, 2021 Approval-based committee (ABC) rules are voting rules that output a fixed-size subset of candidates, a so-called committee. ABC rules select committees based on dichotomous preferences, i.e., a voter either approves or disapproves a candidate.
Lackner, Martin, Skowron, Piotr
core +4 more sources
Noether's Theorems and Energy in General Relativity [PDF]
, 2021 This paper has three main aims: first, to give a pedagogical introduction to Noether's two theorems and their implications for energy conservation in general relativity, which was a central point of discussion between Hilbert, Klein, Noether and Einstein.
De Haro, Sebastian
core +3 more sources
Varieties of mathematical understanding
, 2023 This essay considers ways that recent uses of computers in mathematics challenge contemporary views on the nature of mathematical understanding.
Avigad, Jeremy
core +1 more source