( en | de | ru )

 

Disambiguierung von "Schreck, Pascal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry.

, , und . Automated Deduction in Geometry, Volume 2061 von Lecture Notes in Computer Science, Seite 306-324. Springer, (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Walter Schreck

Wilhelm Schreck

Rainer Schreck

Robert Schreck

Erhard Schreck

 

Weitere Publikationen von Autoren mit dem selben Namen

Combining symbolic and numerical solvers to simplify indecomposable systems solving., und . SAC, Seite 1838-1842. ACM, (2008)Automatic Constructibility Checking of a Corpus of Geometric Construction Problems., und . Math. Comput. Sci., 10 (1): 41-56 (2016)Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints., , und . SAC, Seite 773-777. ACM, (2007)Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach., , und . ADG, Volume 352 von EPTCS, Seite 77-90. (2021)Robustness in CAD Geometric Constructions.. IV, Seite 111-116. IEEE Computer Society, (2001)Formal Resolution of Geometrical Constraint Systems by Assembling., , und . Symposium on Solid Modeling and Applications, Seite 271-284. ACM, (1997)Constructibility Classes for Triangle Location Problems., , und . Math. Comput. Sci., 10 (1): 27-39 (2016)Precise determination of regions of interest for hepatic RFA planning., , , und . Medical Imaging: Image-Guided Procedures, Volume 6509 von SPIE Proceedings, Seite 650923. SPIE, (2007)Constrained Gesture Interaction in 3D Geometric Constructions., , , und . Gesture Workshop, Volume 3881 von Lecture Notes in Computer Science, Seite 324-334. Springer, (2005)Sketch-based pruning of a solution space within a formal geometric constraint solver, , und . Artif. Intell., 124 (1): 139-159 (2000)