`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:

### Wrote 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.