228 search results - page 3 / 46 » Towards computer aided mathematics |
BIRTHDAY
2010
Springer
13 years 7 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
HAPTICS
2011
IEEE
2011
IEEE
Toward haptic/aural touchscreen display of graphical mathematics for the education of blind students
12 years 10 months ago
We propose the use of a haptic touchscreen to convey graphical and mathematical concepts through aural and/or vibratory tactile feedback. We hypothesize that an important applicat...
ICCV
2003
IEEE
14 years 8 months ago
2003
IEEE
In this paper, we present a mathematical theory for Marr's primal sketch. We first conduct a theoretical study of the descriptive Markov random field model and the generative...
FM
2001
Springer
13 years 10 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
CJ
2006
13 years 6 months ago
2006
Mathematics is facing a dilemma at its heart: the nature of mathematical proof. We have known since Church and Turing independently showed that mathematical provability was undeci...