Travelled to:1 × Brazil
1 × France
1 × Italy
1 × Korea
1 × Portugal
1 × USA
Collaborated with:P.Mathis A.Fabre R.Imbach C.Essert-Villard C.Baegert N.Magaud J.Narboux S.E.B.Thierry J.Wintz
Talks about:constraint (3) geometr (3) system (3) constrain (2) toward (2) solver (2) formal (2) reparameter (1) indecompos (1) decomposit (1)
Person: Pascal Schreck
DBLP: Schreck:Pascal
Contributed to:
2012
20092009200820072006Wrote 6 papers:
- SAC-2012-MathisSI #composition #constraints #geometry
- Decomposition of geometrical constraint systems with reparameterization (PM, PS, RI), pp. 102–108.
- KEOD-2009-Essert-VillardBS #approach #multi #semantics #towards
- Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery (CEV, CB, PS), pp. 443–446.
- SAC-2009-MagaudNS #coq #formal method #theorem #using
- Formalizing Desargues’ theorem in Coq using ranks (NM, JN, PS), pp. 1110–1115.
- SAC-2008-FabreS
- Combining symbolic and numerical solvers to simplify indecomposable systems solving (AF, PS), pp. 1838–1842.
- SAC-2007-ThierryMS #constraints #geometry #towards
- Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints (SEBT, PM, PS), pp. 773–777.
- SAC-2006-WintzSM #constraints #framework #geometry #problem
- A framework for geometric constraint satisfaction problem (JW, PS, PM), pp. 974–978.