A. Edalat and A. Lieutier. Foundation of a computable solid modelling. Theoretical Computer Science, 284(2):319-345, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Domain Representations of Partial Functions, with.. - Blanck.. (2000) (Correct)
....functions ## # # # # and algebras are created to build solid complex objects from simpler components. The technique is well established in CAD applications. The computability of CSG is also a topic of importance and domain representations of the data types of CSG have been considered recently in [15, 16]. Now the theory of computable functions on topological spaces, such as # # ,has revealed two necessary conditions on functions that are vital for computable models. The first is continuity, since computable functions are continuous (Ceitin) The second is partiality, since continuous total ....
....opaque volume object and a solid will yield the complement of the solid. Summarising we have the following proposition. Proposition 8.15. Constructive Solid Geometry is embedded into the opacity only model of Constructive Volume Geometry. The above representation of CSG is effective, cf. [15, 16] for another approach to introduce effectivity to CSG. Alternate approaches are possible based on semicomputable subsets of # # , see citeBW99. 9 Concluding Remarks We have investigated the domain representation of partial topological algebras of partial continuous functions between regular ....
A. Edalat and A. Lieutier. Foundation of a computable solid modelling. Preprint, 2000.
Domain Representations of Partial Functions, with.. - Blanck.. (2000) (Correct)
....functions ## # # # # and algebras are created to build solid complex objects from simpler components. The technique is well established in CAD applications. The computability of CSG is also a topic of importance and domain representations of the data types of CSG have been considered recently in [15, 16]. Now the theory of computable functions on topological spaces, such as # # ,has revealed two necessary conditions on functions that are vital for computable models. The first is continuity, since computable functions are continuous (Ceitin) The second is partiality, since continuous total ....
....opaque volume object and a solid will yield the complement of the solid. Summarising we have the following proposition. Proposition 8.15. Constructive Solid Geometry is embedded into the opacity only model of Constructive Volume Geometry. The above representation of CSG is effective, cf. [15, 16] for another approach to introduce effectivity to CSG. Alternate approaches are possible based on semicomputable subsets of # # , see citeBW99. 9 Concluding Remarks We have investigated the domain representation of partial topological algebras of partial continuous functions between regular ....
A. Edalat and A. Lieutier. Foundation of a computable solid modelling. In Proceedings of ACM's Symposium on Solid Modeling '99. ACM, 1999.
Turing Computability of (Non-)Linear Optimization - Ziegler, Brattka (Correct)
....that one can computably optimize over compact, connected, and everywhere full dimensional domains, so called bodies . To this end, we establish new computability results for operators on bodies such as union, intersection, and function pre image. The latter considerations resemble similar ones in [5] which, however, were performed in the domain theoretic setting. 2 Introduction Recursive Analysis combines Classical Analysis with discrete Recursion Theory: Results of the former such as IN TERMEDIATE VALUE or FIXED POINT Theorems claiming existence of certain objects are investigated with ....
Abbas Edalat, A. Lieutier: "Foundation of a Computable Solid Modelling", to appear in Theoretical Computer Science (2002).
Domain-theoretic Solution of Differential Equations.. - Edalat, Krznaric.. Self-citation (Edalat Lieutier) (Correct)
No context found.
A. Edalat and A. Lieutier. Foundation of a computable solid modelling. Theoretical Computer Science, 284(2):319-345, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC