767 search results - page 15 / 154 » Logic for Mathematical Writing |
MKM
2004
Springer
14 years 25 days ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
ISIPTA
2005
IEEE
14 years 1 months ago
2005
IEEE
A consistent concept of logical probability affords the employment of interval probability. Such a concept which attributes probability to arguments consisting of premise and con...
MPC
2000
Springer
13 years 11 months ago
2000
Springer
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
DIAGRAMS
2006
Springer
13 years 11 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...
ACST
2006
13 years 9 months ago
2006
Including mathematical expressions in documents can be a tiresome and difficult process. A recognition system for handwritten mathematical expressions would greatly simplify the t...