On Gauss's First Proof of the Fundamental Theorem of Algebra.

Soham Basu Daniel J. Velleman

Published in: Am. Math. Mon. (2017)

Keyphrases

theorem prover
query language
relational algebra
boolean algebra
theorem proving
website
decision trees
automated theorem proving
multi agent
relational databases
programming language
em algorithm
linear logic