Article

Free access

Constructing three-dimensional geometric objects defined by constraints

Author:

Beat BrüderlinAuthors Info & Claims

I3D '86: Proceedings of the 1986 workshop on Interactive 3D graphics

Pages 111 - 129

https://doi.org/10.1145/319120.319130

Published: 01 January 1987 Publication History

PDF eReader

Abstract

We developed a system for automatically building three-dimensional geometric objects that are defined by their topology and by geometric constraints. A solid modeller is used for sketching the object. The geometric constraints are first evaluated symbolically by an algorithm written in Prolog. The symbolic solution is then numerically evaluated by procedures linked to Prolog.

References

[1]

C.M. Brown. "PADL-2": A Technical Summary. IEEE Computer Graphics and Applications, Vol. 2, No. 2, pp. 69 - 84, March 1982.

Digital Library

Google Scholar

[2]

B. Briiderlin. Using Prolog for Constructing Geometric Objects Defined by Constraints. Springer LNCS, No 204, pp. 448 - 459 (Proceedings of Eurocal '85, European Conference on Computer Algebra), Springer Verlag Berlin, Heidelberg, New York 1985

Digital Library

Google Scholar

[3]

B. Briiderlin. A Half-Space Approach for Regularized Set Operations on Polyhedra. Report No 86-08, Mathematik, ETH Ziirich 1986.

Google Scholar

[4]

W.F. Clocksin, C.S. Mellish. Programming in Prolog. Springer Verlag, Berlin, Heidelberg, New York 1981

Digital Library

Google Scholar

[5]

E. Engeler. Metamathematik der Elementarmathematik. Springer Verlag, Berlin, Heidelberg, New York 1983

Google Scholar

[6]

D. Hilbert. Foundations of Geometry. Open Court Publishing Company, La Salla, Illinois 1971

Google Scholar

[7]

D.E. Knuth, P.B. Bendix. Simple Word Problems in Universal Algebra. Computational Problems in Abstract Algebra, Conference ProceeAings, Oxford 1967, J. Leech ed., Pergamon 1970

Google Scholar

[8]

C. Muller. Modula-prolog, User Manual. Rep. No. 63, July 1985. Inst. fiJr Informatik, ETH Ziirich, Switzerland

Google Scholar

[9]

G. Nelson. Juno, a constraint-based graphics system. 1985 ACM Siggraph Conference Proceeding

Digital Library

Google Scholar

[10]

A.A.G. Requicha. Representation for Rigid Solids: Theory, Methods, and Systems. Computing Surveys, Vol. 12, No.4, December 1980

Digital Library

Google Scholar

[11]

W. Schwabh/iuser, W. Szmielev, A. Tarski, Metamathematische Methoden in der Geometrie (german), Springer Verlag Berlin, Heidelberg, New York 1983

Google Scholar

[12]

I. Sutherland. Sketchpad, A Man-Machine Graphical Communication System. PhD. thesis, MIT, January 1963

Google Scholar

[13]

N. Wirth. Programming in Modula-2. Texts and Monographs in Computer Science. Springer Verlag Berlin, Heidelberg, New York 1983

Digital Library

Google Scholar

Cited By

View all

de Regt Rvan der Meiden HBronsvoort W(2008)A Workbench for Geometric Constraint SolvingComputer-Aided Design and Applications10.3722/cadaps.2008.471-4825:1-4(471-482)Online publication date: Jan-2008
https://doi.org/10.3722/cadaps.2008.471-482
Kun JLv Xingfeng GYang ZCho YWainwright RHaddad HShin SKoo Y(2007)Parallel algorithms on geometric constraint solvingProceedings of the 2007 ACM symposium on Applied computing10.1145/1244002.1244175(778-779)Online publication date: 11-Mar-2007
https://dl.acm.org/doi/10.1145/1244002.1244175
Brüderlin B(2005)Automatizing geometric proofs and constructionsComputational Geometry and its Applications10.1007/3-540-50335-8_38(232-252)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-50335-8_38
Show More Cited By

Index Terms

Constructing three-dimensional geometric objects defined by constraints

Recommendations

Decomposition of Three-Dimensional Objects into Spheres

Algorithms are presented for converting between different three-dimensional object representations: from a collection of cross section outlines to surface points, and from surface points to a collection of overlapping spheres. The algorithms effect a ...
Calculating geometric properties of three-dimensional objects from the spherical harmonic representation

The volume, location of the centroid, and second-order moments of a three-dimensional star-shaped object are determined in terms of the spherical harmonic coefficients of its boundary function. Bounds on the surface area of the object are derived in ...
Representation and recognition of developable surfaces and three-dimensional objects

Comments

Information & Contributors

Information

Published In

I3D '86: Proceedings of the 1986 workshop on Interactive 3D graphics

January 1987

269 pages

ISBN:0897912284

DOI:10.1145/319120

Editors:
Frank Crow
Xerox Parc, Palo Alto, CA
,
Stephen M. Pizer
Univ. of North Carolina at Chapel Hill, Chapel Hill

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1987

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 148 of 485 submissions, 31%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
608
Total Downloads

Downloads (Last 12 months)45
Downloads (Last 6 weeks)6

Reflects downloads up to 12 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

de Regt Rvan der Meiden HBronsvoort W(2008)A Workbench for Geometric Constraint SolvingComputer-Aided Design and Applications10.3722/cadaps.2008.471-4825:1-4(471-482)Online publication date: Jan-2008
https://doi.org/10.3722/cadaps.2008.471-482
Kun JLv Xingfeng GYang ZCho YWainwright RHaddad HShin SKoo Y(2007)Parallel algorithms on geometric constraint solvingProceedings of the 2007 ACM symposium on Applied computing10.1145/1244002.1244175(778-779)Online publication date: 11-Mar-2007
https://dl.acm.org/doi/10.1145/1244002.1244175
Brüderlin B(2005)Automatizing geometric proofs and constructionsComputational Geometry and its Applications10.1007/3-540-50335-8_38(232-252)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-50335-8_38
Schramm ÉSchreck P(2003)Solving geometric constraints invariant modulo the similarity groupProceedings of the 2003 international conference on Computational science and its applications: PartIII10.5555/1761792.1761835(356-365)Online publication date: 18-May-2003
https://dl.acm.org/doi/10.5555/1761792.1761835
Kwaiter GGaildrat VCaubet R(1998)Modelling with constraints: a bibliographical surveyProceedings. 1998 IEEE Conference on Information Visualization. An International Conference on Computer Visualization and Graphics (Cat. No.98TB100246)10.1109/IV.1998.694222(211-220)Online publication date: 1998
https://doi.org/10.1109/IV.1998.694222
Dufourd JMathis PSchreck PHoffmann CBronsvoort WAllen GPratt MRosen D(1997)Formal resolution of geometrical constraint systems by assemblingProceedings of the fourth ACM symposium on Solid modeling and applications10.1145/267734.267804(271-284)Online publication date: 1-May-1997
https://dl.acm.org/doi/10.1145/267734.267804
Kwaiter GGaildrat VCaubet RHoffmann CBronsvoort WAllen GPratt MRosen D(1997)Interactive constraint system for solid modeling objectsProceedings of the fourth ACM symposium on Solid modeling and applications10.1145/267734.267803(265-270)Online publication date: 1-May-1997
https://dl.acm.org/doi/10.1145/267734.267803
Hsu CAlt GHuang ZBeier EBrüderlin BHoffmann CBronsvoort WAllen GPratt MRosen D(1997)A constraint-based manipulator toolset for editing 3D objectsProceedings of the fourth ACM symposium on Solid modeling and applications10.1145/267734.267779(168-180)Online publication date: 1-May-1997
https://dl.acm.org/doi/10.1145/267734.267779
Lamure HMichelucci D(1996)Solving Geometric Constraints By HomotopyIEEE Transactions on Visualization and Computer Graphics10.1109/2945.4893842:1(28-34)Online publication date: 1-Mar-1996
https://dl.acm.org/doi/10.1109/2945.489384
Lamure HMichelucci D(1995)Solving geometric constraints by homotopyProceedings of the third ACM symposium on Solid modeling and applications10.1145/218013.218071(263-269)Online publication date: 1-Dec-1995
https://dl.acm.org/doi/10.1145/218013.218071
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Decomposition of Three-Dimensional Objects into Spheres

Calculating geometric properties of three-dimensional objects from the spherical harmonic representation

Representation and recognition of developable surfaces and three-dimensional objects

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

Abstract

References

Cited By

Index Terms

Recommendations

Decomposition of Three-Dimensional Objects into Spheres

Calculating geometric properties of three-dimensional objects from the spherical harmonic representation

Representation and recognition of developable surfaces and three-dimensional objects

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations