767 search results - page 3 / 154 » Logic for Mathematical Writing |
127
click to vote
JIIS
2008
15 years 4 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...
128
click to vote
ICDAR
2007
IEEE
15 years 10 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
15 years 9 months ago
2010
Springer
136
click to vote
ISMM
2009
Springer
15 years 10 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...