Creating robust geometric programs, i.e., programs that handle degenerate configurations correctly, is a difficult problem, especially if the underlying geometric primitives are implemented in floating point arithmetic. This paper presents an axiomatic method for constructing programs built on impre
An axiomatic approach to space-time torsion
β Scribed by J. Audretsch
- Publisher
- John Wiley and Sons
- Year
- 1988
- Tongue
- English
- Weight
- 63 KB
- Volume
- 309
- Category
- Article
- ISSN
- 0004-6337
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## Abstract Starting with a list of βreasonableβ properties, called axioms, we are pointing out, that the notion of differentiability is related to the one parameter subgroups of a topological group. This justifies the idea of RISS [5] and the attempts of one of the authors in an earlier paper [1].
We define the very rich language of composed conditionals on a three-valued logic and use this language as the communication tool between man and machine. Communication takes place for three reasons: knowledge acquisition, query, and response. Learning, thinking, and answering questions are of a pur