( en | de | ru )

 

Disambiguation of "Schreck, Pascal"

Author of the publication

copydeleteadd this publication to your clipboard
Multi-criteria Trajectory Planning for Hepatic Radiofrequency Ablation.

, , , and . MICCAI (2), volume 4792 of Lecture Notes in Computer Science, page 676-684. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Walter Schreck

Wilhelm Schreck

Rainer Schreck

Robert Schreck

Erhard Schreck

 

Other publications of authors with the same name

Formal Resolution of Geometrical Constraint Systems by Assembling., , and . Symposium on Solid Modeling and Applications, page 271-284. ACM, (1997)Precise determination of regions of interest for hepatic RFA planning., , , and . Medical Imaging: Image-Guided Procedures, volume 6509 of SPIE Proceedings, page 650923. SPIE, (2007)Constrained Gesture Interaction in 3D Geometric Constructions., , , and . Gesture Workshop, volume 3881 of Lecture Notes in Computer Science, page 324-334. Springer, (2005)Coordinate-free geometry and decomposition in geometrical constraint solving., and . Comput. Aided Des., (2014)Constructibility Classes for Triangle Location Problems., , and . Math. Comput. Sci., 10 (1): 27-39 (2016)Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry., , and . Automated Deduction in Geometry, volume 2061 of Lecture Notes in Computer Science, page 306-324. Springer, (2000)Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery., , and . KEOD, page 443-446. INSTICC Press, (2009)Sketch-based pruning of a solution space within a formal geometric constraint solver, , and . Artif. Intell., 124 (1): 139-159 (2000)Equation Systems with Free-Coordinates Determinants., and . Automated Deduction in Geometry, volume 7993 of Lecture Notes in Computer Science, page 59-70. Springer, (2012)Two New Ways to Formally Prove Dandelin-Gallucci's Theorem., , and . ISSAC, page 59-66. ACM, (2021)