Fundamental Theorem of Algebra - Yet Another Proof.

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

Keyphrases

algebraic expressions
boolean algebra
theorem proving
data model
relation algebra
information systems
theorem prover
query language
neural network
object oriented
logic programming
relational algebra
artificial neural networks
multi agent systems
linear logic
data structure
genetic algorithm
database