Article

Free access

Formal resolution of geometrical constraint systems by assembling

Authors:

Jean-François Dufourd,

Pascal Mathis,

Pascal SchreckAuthors Info & Claims

SMA '97: Proceedings of the fourth ACM symposium on Solid modeling and applications

Pages 271 - 284

https://doi.org/10.1145/267734.267804

Published: 01 May 1997 Publication History

PDF eReader

References

[1]

B. Aldefeld. Variations of geometries based on a geometric-reasoning method. Computer-Aided Design, 20(3):117-126, 1988.

Digital Library

Google Scholar

[2]

Y. Bertrand and J.-F. Dufourd. Algebraic specification of a 3D-modeller based on hypermaps. Computer Vision - GMIP, 56(1):29-60, 1994.

Digital Library

Google Scholar

[3]

W. Bouma, i. Fudos, C. Hoffmann, J. Cai, and R. Paige. Geometric constraint solver. Computer- Aided Design, 27(6):487-501, 1995.

Crossref

Google Scholar

[4]

B. Briiderlin. Constructing three-dimensional geometric objects defined by constraints. In Proceedings of the A CM Siggraph Workshop in Interactive 31) Graphics, pages 111-129, 1986.

Digital Library

Google Scholar

[5]

M. Buthion. Un programme qui r~sout formellement des probl~mes de constructions g~om~triques. RAIRO Informatique, 13(1):73-106, 1979.

Google Scholar

[6]

N. Carver and V. Lesser. Evolution of blackboard architectures. Expert Systems with Applications, 7:1-30, 1994.

Crossref

Google Scholar

[7]

S.C. Chou. Mechanical geometry theorem proving. Mathematics and its Applications. D. Reidel, Dordrecht, 1988.

Digital Library

Google Scholar

[8]

J.-F. Dufourd, P. Mathis, and P. Schreck. Constructions g~om~triques dans un modeleur h base topologique. Revue Internationale de CFAO et d 'In.formatique Graphique, 10(4):398-411, 1995.

Google Scholar

[9]

J.-F. Dufourd, P. Mathis, and P. Schreck. Geometric construction by assembling solved subfigures. "Technical report no 96/04, LSIIT, Strasbourg"(submitted to the journal of Artificial Intelligence, Elsevier Science), 1996.

Digital Library

Google Scholar

[10]

J.-F. Dufourd and P. Schreck. Un syst~me k base de connaissances pour les constructions g~omdtriques. in Acres de la Confdrence AFCET-RFIA, pages 351-361, 1994.

Google Scholar

[11]

L.W. Ericson and C.K. Yap. The design of Lin~ tool, a geometric editor. In Proceedings of the Computational Geometry Conference, LNCS 333, pages 83-92. Springer-Verlag, 1988.

Digital Library

Google Scholar

[12]

G.A. Kramer. Geometric reasoning in the kinematic analysis of mechanisms. PhD thesis, University of Sussex, 1990.

Google Scholar

[13]

H. Lamure and D. Michelucci. Decomposition of 2D constraints graphs. Technical report, Ecole des Mines, Saint-Etienne, 1995.

Google Scholar

[14]

H. Lamure and D. Michelucci. Solving constraints by homotopy. In Proceedings of Solid Modelling Conference, 1995.

Digital Library

Google Scholar

[15]

H. Lebesgue. Legons sur les constructions g~omdtriques. Gauthier-Villars, Paris, 1950.

Google Scholar

[16]

P. Lienhardt. Topological models for boundary representation: a comparison with n-dimensional generalized maps. Computer-Aided Design, 23(1):59- 81, 1991.

Digital Library

Google Scholar

[17]

R. Light and D.C. Gossard. Modification of geometric models through variational geometry. Computer-Aided Design, 14(4):209-214, 1982.

Crossref

Google Scholar

[18]

M. M~intyl~i. A note on the modeling space of Euler operators. Computer Vision- GMIP, 26(1):45-60, 1984.

Crossref

Google Scholar

[19]

P. Mathis. Un syst~me de rdsolution de contraintes par assemblage en moddlisation ggomdtrique. P hD thesis, Universit~ de Strabourg, 1996 (to appear).

Google Scholar

[20]

J.L. Moris. Computational Methods in Elementary Numerical Analysis. john Wiley, 1983.

Google Scholar

[21]

J. Owen. Algebraic solution for geometry from dimensional constraints. In Proceedings of the l th A CM Symposium of Solid Modeling and CAD/CAM Applications, pages 397-407. ACM Press, 1991.

Digital Library

Google Scholar

[22]

D. Roller, F. Schonek, and A. Verroust. Dimension driven geometry in CAD: A survey. Technical report, LIENS, Ecole Normale Sup6rieure, Paris, 1988.

Google Scholar

[23]

P. Schreck. implantation d'un syst~me h base de connaissances pour les constructions g6ome!triques. Revue d'Intelligence Artificielle, 8(3):223-247, 1994.

Google Scholar

[24]

P. Schreck. A knowledge-based system for solving geometric constructions problems. In Proceedings of the 7th International Conference on Systems research, Informatics and Cybernetics, pages 19-24. J.W. Brahan and G.E. Lasker, 1994.

Google Scholar

[25]

G. Sunde. A CAD system with declarative specification of shape. In Proceedings of the IFIP WG 5.2 on Geometric Modeling Rensselaerville, 1986.

Google Scholar

[26]

G. Sunde. Specification of shape by dimensions and other geometric constraints. In Proceedings of the Eurographics Workshop on Intelligent CAD systems, Noordwisjkerout, 1987.

Google Scholar

[27]

A. Verroust, F. Schonek, and D. Roller. Ruleoriented method for parametrized computer-aided design. Computer-Aided Design, 24(10):531-535, 1992.

Crossref

Google Scholar

Cited By

View all

Pernot JMichelucci DDaniel MFoufou S(2019)Towards a better integration of modelers and black box constraint solvers within the product design processAnnals of Mathematics and Artificial Intelligence10.1007/s10472-018-9599-585:2-4(147-173)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s10472-018-9599-5
Mathis PSchreck PImbach ROssowski SLecca P(2012)Decomposition of geometrical constraint systems with reparameterizationProceedings of the 27th Annual ACM Symposium on Applied Computing10.1145/2245276.2245298(102-108)Online publication date: 26-Mar-2012
https://dl.acm.org/doi/10.1145/2245276.2245298
Michelucci DFoufou SLamarque LSchreck PMartin RHu S(2006)Geometric constraints solvingProceedings of the 2006 ACM symposium on Solid and physical modeling10.1145/1128888.1128915(185-196)Online publication date: 6-Jun-2006
https://dl.acm.org/doi/10.1145/1128888.1128915
Show More Cited By

Index Terms

Formal resolution of geometrical constraint systems by assembling

Recommendations

Geometric construction by assembling solved subfigures
An application of color graphics to the display of surface curvature

In developing a mathematical representation for a surface, designers currently must use line drawing graphics to examine the curvature of a line in a plane, a two-dimensional analysis. By combining a result from differential geometry with the use of ...
An application of color graphics to the display of surface curvature
SIGGRAPH '81: Proceedings of the 8th annual conference on Computer graphics and interactive techniques

In developing a mathematical representation for a surface, designers currently must use line drawing graphics to examine the curvature of a line in a plane, a two-dimensional analysis. By combining a result from differential geometry with the use of ...

Comments

Information & Contributors

Information

Published In

SMA '97: Proceedings of the fourth ACM symposium on Solid modeling and applications

May 1997

387 pages

ISBN:0897919467

DOI:10.1145/267734

Chairmen:
Christoph Hoffmann
Purdue Univ., West Lafayette, IN
,
Wim Bronsvoort
Delft Univ., Delft, The Netherlands
,
George Allen
Delft Univ., Delft, The Netherlands
,
Mike Pratt
Delft Univ., Delft, The Netherlands
,
David Rosen
Delft Univ., Delft, The Netherlands

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 May 1997

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

4SSMA97

Sponsor:

SIGGRAPH

4SSMA97: Fourth ACM SIGGRAPH Symposium on Solid Modeling and Applications

May 14 - 16, 1997

Georgia, Atlanta, USA

Acceptance Rates

Overall Acceptance Rate 86 of 173 submissions, 50%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
317
Total Downloads

Downloads (Last 12 months)20
Downloads (Last 6 weeks)7

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pernot JMichelucci DDaniel MFoufou S(2019)Towards a better integration of modelers and black box constraint solvers within the product design processAnnals of Mathematics and Artificial Intelligence10.1007/s10472-018-9599-585:2-4(147-173)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s10472-018-9599-5
Mathis PSchreck PImbach ROssowski SLecca P(2012)Decomposition of geometrical constraint systems with reparameterizationProceedings of the 27th Annual ACM Symposium on Applied Computing10.1145/2245276.2245298(102-108)Online publication date: 26-Mar-2012
https://dl.acm.org/doi/10.1145/2245276.2245298
Michelucci DFoufou SLamarque LSchreck PMartin RHu S(2006)Geometric constraints solvingProceedings of the 2006 ACM symposium on Solid and physical modeling10.1145/1128888.1128915(185-196)Online publication date: 6-Jun-2006
https://dl.acm.org/doi/10.1145/1128888.1128915
Schreck PSchramm í(2006)Using invariance under the similarity group to solve geometric constraint systemsComputer-Aided Design10.1016/j.cad.2006.01.00238:5(475-484)Online publication date: 1-May-2006
https://dl.acm.org/doi/10.1016/j.cad.2006.01.002
Essert-Villard CMathis P(2004)Interactive handling of a construction plan in CADGeometric modeling10.5555/985821.985843(414-429)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.5555/985821.985843
Jermann CNeveu BTrombettoni G(2004)A New Structural Rigidity for Geometric Constraint SystemsAutomated Deduction in Geometry10.1007/978-3-540-24616-9_6(87-105)Online publication date: 2004
https://doi.org/10.1007/978-3-540-24616-9_6
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
Schramm ÉSchreck P(2003)Solving Geometric Constraints Invariant Modulo the Similarity GroupComputational Science and Its Applications — ICCSA 200310.1007/3-540-44842-X_37(356-365)Online publication date: 18-Jun-2003
https://doi.org/10.1007/3-540-44842-X_37
Schramm ÉSchreck P(2002)A Case Study in Geometric ConstructionsProceedings of the International Conference on Computational Science-Part II10.5555/645458.653313(201-210)Online publication date: 21-Apr-2002
https://dl.acm.org/doi/10.5555/645458.653313
Essert-Villard C(2002)Helping the Designer in Solution SelectionProceedings of the International Conference on Computational Science-Part II10.5555/645458.653309(151-160)Online publication date: 21-Apr-2002
https://dl.acm.org/doi/10.5555/645458.653309
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

Geometric construction by assembling solved subfigures

An application of color graphics to the display of surface curvature

An application of color graphics to the display of surface curvature

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Geometric construction by assembling solved subfigures

An application of color graphics to the display of surface curvature

An application of color graphics to the display of surface curvature

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

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