Isabelle/DOF.

Achim D. Brucker Nicolas Méric Burkhart Wolff

Published in: Arch. Formal Proofs (2024)

Keyphrases

theorem prover
degrees of freedom
pose estimation
path planning
natural deduction
robotic manipulator
neural network
machine learning
decision making
data sets
genetic algorithm
medical images