Integration of SMT-LIB Support into Maple.

Stephen Forrest

Published in: SC²@ISSAC (2017)

Keyphrases

tight integration
information systems
database
databases
information technology
data integration
learning algorithm
end users
language model
seamless integration