Efficient Certification of Numeric Solutions to Eigenproblems.

Joris van der Hoeven Bernard Mourrain

Published in: MACIS (2017)

Keyphrases

neural network
machine learning
benchmark problems
algorithmic solutions
database
data sets
genetic algorithm
data streams
linear programming
cost effective
third party
highly efficient
efficient solutions