767 search results - page 15 / 154 » Logic for Mathematical Writing |
MKM
2004
Springer
15 years 5 months 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...
92
Voted
ISIPTA
2005
IEEE
15 years 5 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...
91
Voted
MPC
2000
Springer
15 years 3 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
15 years 3 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...
194
click to vote
ACST
2006
15 years 1 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...