Geometric Constraints Solving: Some tracks

Dominique Michelucci, Sebti Foufou, Loic Lamarque, Pascal Schreck

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper presents some important issues and potential research tracks for Geometric Constraint Solving: the use of the simplicial Bernstein base to reduce the wrapping effect in interval methods, the computation of the dimension of the solution set with methods used to measure the dimension of fractals, the pitfalls of graph based decomposition methods, the alternative provided by linear algebra, the witness configuration method, the use of randomized provers to detect dependences between constraints, the study of incidence constraints, the search for intrinsic (coordinate-free) formulations and the need for formal specifications.

Original languageEnglish (US)
Title of host publicationProceedings SPM 2006 - ACM Symposium on Solid and Physical Modeling
Pages185-196
Number of pages12
Volume2006
StatePublished - Jul 20 2006
EventSPM 2006 - ACM Symposium on Solid and Physical Modeling - Wales, United Kingdom
Duration: Jun 6 2005Jun 8 2005

Other

OtherSPM 2006 - ACM Symposium on Solid and Physical Modeling
CountryUnited Kingdom
CityWales
Period6/6/056/8/05

Fingerprint

Linear algebra
Fractals
Decomposition
Formal specification

Keywords

  • Bernstein base
  • Decomposition
  • Geometric Constraints Solving
  • Incidence constraint
  • Projective geometry
  • Randomized prover
  • Rigidity theory
  • Witness configuration

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Michelucci, D., Foufou, S., Lamarque, L., & Schreck, P. (2006). Geometric Constraints Solving: Some tracks. In Proceedings SPM 2006 - ACM Symposium on Solid and Physical Modeling (Vol. 2006, pp. 185-196)

Geometric Constraints Solving : Some tracks. / Michelucci, Dominique; Foufou, Sebti; Lamarque, Loic; Schreck, Pascal.

Proceedings SPM 2006 - ACM Symposium on Solid and Physical Modeling. Vol. 2006 2006. p. 185-196.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Michelucci, D, Foufou, S, Lamarque, L & Schreck, P 2006, Geometric Constraints Solving: Some tracks. in Proceedings SPM 2006 - ACM Symposium on Solid and Physical Modeling. vol. 2006, pp. 185-196, SPM 2006 - ACM Symposium on Solid and Physical Modeling, Wales, United Kingdom, 6/6/05.
Michelucci D, Foufou S, Lamarque L, Schreck P. Geometric Constraints Solving: Some tracks. In Proceedings SPM 2006 - ACM Symposium on Solid and Physical Modeling. Vol. 2006. 2006. p. 185-196
Michelucci, Dominique ; Foufou, Sebti ; Lamarque, Loic ; Schreck, Pascal. / Geometric Constraints Solving : Some tracks. Proceedings SPM 2006 - ACM Symposium on Solid and Physical Modeling. Vol. 2006 2006. pp. 185-196
@inproceedings{8e0718eb208046d7b99fcca3968999d4,
title = "Geometric Constraints Solving: Some tracks",
abstract = "This paper presents some important issues and potential research tracks for Geometric Constraint Solving: the use of the simplicial Bernstein base to reduce the wrapping effect in interval methods, the computation of the dimension of the solution set with methods used to measure the dimension of fractals, the pitfalls of graph based decomposition methods, the alternative provided by linear algebra, the witness configuration method, the use of randomized provers to detect dependences between constraints, the study of incidence constraints, the search for intrinsic (coordinate-free) formulations and the need for formal specifications.",
keywords = "Bernstein base, Decomposition, Geometric Constraints Solving, Incidence constraint, Projective geometry, Randomized prover, Rigidity theory, Witness configuration",
author = "Dominique Michelucci and Sebti Foufou and Loic Lamarque and Pascal Schreck",
year = "2006",
month = "7",
day = "20",
language = "English (US)",
isbn = "1595933581",
volume = "2006",
pages = "185--196",
booktitle = "Proceedings SPM 2006 - ACM Symposium on Solid and Physical Modeling",

}

TY - GEN

T1 - Geometric Constraints Solving

T2 - Some tracks

AU - Michelucci, Dominique

AU - Foufou, Sebti

AU - Lamarque, Loic

AU - Schreck, Pascal

PY - 2006/7/20

Y1 - 2006/7/20

N2 - This paper presents some important issues and potential research tracks for Geometric Constraint Solving: the use of the simplicial Bernstein base to reduce the wrapping effect in interval methods, the computation of the dimension of the solution set with methods used to measure the dimension of fractals, the pitfalls of graph based decomposition methods, the alternative provided by linear algebra, the witness configuration method, the use of randomized provers to detect dependences between constraints, the study of incidence constraints, the search for intrinsic (coordinate-free) formulations and the need for formal specifications.

AB - This paper presents some important issues and potential research tracks for Geometric Constraint Solving: the use of the simplicial Bernstein base to reduce the wrapping effect in interval methods, the computation of the dimension of the solution set with methods used to measure the dimension of fractals, the pitfalls of graph based decomposition methods, the alternative provided by linear algebra, the witness configuration method, the use of randomized provers to detect dependences between constraints, the study of incidence constraints, the search for intrinsic (coordinate-free) formulations and the need for formal specifications.

KW - Bernstein base

KW - Decomposition

KW - Geometric Constraints Solving

KW - Incidence constraint

KW - Projective geometry

KW - Randomized prover

KW - Rigidity theory

KW - Witness configuration

UR - http://www.scopus.com/inward/record.url?scp=33745960564&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33745960564&partnerID=8YFLogxK

M3 - Conference contribution

SN - 1595933581

SN - 9781595933584

VL - 2006

SP - 185

EP - 196

BT - Proceedings SPM 2006 - ACM Symposium on Solid and Physical Modeling

ER -