Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
LSIIT
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps
Formal study of plane Delaunay triangulation
No associations
LandOfFree
Jean-François Dufourd does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jean-François Dufourd, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jean-François Dufourd will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-169445