An SMT solver for non-linear real arithmetic inside maple.

AmirHosein Sadeghimanesh Matthew England

Published in: ACM Commun. Comput. Algebra (2022)

Keyphrases

real life
real time
data sets
neural network
machine learning
expert systems
floating point