Sign in
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