Sign in
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