767 search results - page 3 / 154 » Logic for Mathematical Writing |
JIIS
2008
13 years 7 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
ICDAR
2007
IEEE
14 years 1 months ago
2007
IEEE
We model on-line ink traces for a set of 219 symbols to “best fit” low-degree polynomial series. Using a collection of mathematical writing samples, we find that in many cas...
MPC
2010
Springer
14 years 6 days ago
2010
Springer
ITP
2010
13 years 9 months ago
2010
ISMM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present a programming framework for discrete mathematical morphology centered on the concept of genericity. We show that formal definitions of morphological algorithm...