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 -