Foundation of a computable solid modeling

Computational geometry: an introduction

Computational geometry: an introduction

Computability

Computability

Theory of recursive functions and effective computability

Theory of recursive functions and effective computability

Epsilon geometry: building robust algorithms from imprecise computations

SCG '89 Proceedings of the fifth annual symposium on Computational geometry

Using tolerances to guarantee valid polyhedral modeling results

SIGGRAPH '90 Proceedings of the 17th annual conference on Computer graphics and interactive techniques

Mathematical theory of domains

Mathematical theory of domains

Boundary representation modelling with local tolerances

SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications

Domain theory

Handbook of logic in computer science (vol. 3)

Towards robust interval solid modeling of curved objects

Towards robust interval solid modeling of curved objects

Computing exact geometric predicates using modular arithmetic with single precision

SCG '97 Proceedings of the thirteenth annual symposium on Computational geometry

Algorithmic tolerances and semantics in data exchange

SCG '97 Proceedings of the thirteenth annual symposium on Computational geometry

Domains and lambda-calculi

Domains and lambda-calculi

Computability on subsets of Euclidean space I: closed and compact subsets

Theoretical Computer Science - Special issue on computability and complexity in analysis

Representations for Rigid Solids: Theory, Methods, and Systems

ACM Computing Surveys (CSUR)

Induction and recursion on the partial real line via biquotients of bifree algebras

LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science