LibPoly: A Library for Reasoning about Polynomials.

Dejan Jovanovic Bruno Dutertre

Published in: SMT (2017)

Keyphrases

machine learning
spatial reasoning
qualitative reasoning
formal theory
real time
computer vision
knowledge base
search algorithm
expert systems
artificial neural networks
causal reasoning