Login / Signup

Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls.

Christophe BrunJean-François DufourdNicolas Magaud
Published in: Automated Deduction in Geometry (2012)
Keyphrases
  • formal proof
  • convex hull
  • theorem prover
  • closest points
  • first order logic
  • point sets
  • feasible solution
  • computational geometry
  • extreme points
  • convex concave
  • reinforcement learning
  • formal methods
  • reference point