A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals.

Herman Geuvers Freek Wiedijk Jan Zwanenburg

Published in: TYPES (2000)

Keyphrases

query language
relational algebra
algebraic expressions
image sequences
search algorithm
data model
theorem prover
linear logic
information systems
web services
database systems
video sequences
natural deduction
algebraic structure
mathematical proofs