Lazard-style CAD and Equational Constraints.

James H. Davenport Akshar S. Nair Gregory K. Sankaran Ali Kemal Uncu

Published in: CoRR (2023)

Keyphrases

theorem proving
artificial intelligence
object oriented
database
multiscale
constraint satisfaction
neural network
data mining
computer graphics
constrained optimization
website
three dimensional
inductive logic programming
mixed integer
computer aided design