On Semi-Algebraic Proofs and Algorithms.

Noah Fleming Mika Göös Stefan Grosser Robert Robere

Published in: ITCS (2022)

Keyphrases

database
machine learning
multiscale
management system
computationally efficient