Sign in

Revisiting the Nova Proof System on a Cycle of Curves.

Wilson D. NguyenDan BonehSrinath 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