The Fundamental Theorem of Algebra in ACL2.

Ruben Gamboa John R. Cowles

Published in: ACL2 (2018)

Keyphrases

relational algebra
data model
query language
algebraic expressions
natural language learning
data sets
algebraic geometry
relation algebra
database
decision making
artificial intelligence
multi agent systems
real numbers
set theory
laplace transform