Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions.

Michael A. Burr Kisun Lee Anton Leykin

Published in: ISSAC (2019)

Keyphrases

approximate solutions
np hard
computer systems
information systems
similarity measure
linear systems
high quality
dynamic programming
online learning
complex systems
mathematical model
third party