BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Schreck:Pascal

Contributed to:

SAC 20122012
KEOD 20092009
SAC 20092009
SAC 20082008
SAC 20072007
SAC 20062006

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.