ProfessorsProfessors of Université de StrasbourgPascal Schreck

Pascal Schreck

Université de Strasbourg

H-index: 20

Europe-France

About Pascal Schreck

Pascal Schreck, With an exceptional h-index of 20 and a recent h-index of 10 (since 2020), a distinguished researcher at Université de Strasbourg, specializes in the field of spécifications formelles, preuves en géométrie, contraintes géométriques.

His recent articles reflect a diverse array of research interests and contributions to the field:

A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry

Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach

Two New Ways to Formally Prove Dandelin-Gallucci's Theorem

Pascal Schreck Information

University	Université de Strasbourg
Position	professeur d'informatique
Citations(all)	1138
Citations(since 2020)	302
Cited By	963
hIndex(all)	20
hIndex(since 2020)	10
i10Index(all)	34
i10Index(since 2020)	12
Email	Access Email
University Profile Page	Université de Strasbourg
Google Scholar	View Google Scholar Profile

Pascal Schreck Skills & Research Interests

spécifications formelles

preuves en géométrie

contraintes géométriques

Top articles of Pascal Schreck

Title	Journal	Author(s)	Publication Date
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry	Journal of Automated Reasoning	David Braun Nicolas Magaud Pascal Schreck	2024/3
Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach	arXiv preprint arXiv:2201.00539	Pascal Schreck Nicolas Magaud David Braun	2022/1/3
Two New Ways to Formally Prove Dandelin-Gallucci's Theorem		David Braun Nicolas Magaud Pascal Schreck	2021/7/18