Akshar S. Nair

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Computer Aided Design

Constraint Satisfaction

Theorem Proving

Top Venues

SC-Square@SIAM AG

Publications

James H. Davenport, Akshar S. Nair, Gregory K. Sankaran, Ali Kemal Uncu
Lazard-style CAD and Equational Constraints. CoRR (2023)
Akshar S. Nair, James H. Davenport, Gregory Sankaran
Equational Constraints, the Lazard Projection and the Curtain Problem (short paper). SC-Square@SIAM AG (2021)