Login / Signup
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT.
Pascal Fontaine
Mizuhito Ogawa
Thomas Sturm
To Van Khanh
Xuan-Tung Vu
Published in:
SC-Square@FLOC (2018)
Keyphrases
</>
computer algebra
theorem prover
computer vision
automated theorem provers
computer algebra systems
data sets
social networks
e learning
database systems
data structure
expert systems