Revisiting the Nova Proof System on a Cycle of Curves.

Wilson D. Nguyen Dan Boneh Srinath T. V. Setty

Published in: AFT (2023)

Keyphrases

modal logic
b spline
digital curves
curve fitting
database
neural network
machine learning
information systems
sufficient conditions
space curves