Thirty Five Years of Automating Mathematics /

This volume is a collection of papers with a personal flavour. It consists of 11 articles which propose interesting variations to or examples of mechanising mathematics and illustrate differ developments in symbolic computation in the past 35 years. The volume further includes a strong argumentation...

Full description

Bibliographic Details

Main Author:	Kamareddine, Fairouz D.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2003.
Series:	Applied logic series ; 28.
Subjects:	Mathematics. Computer science. Algebra > Data processing. Logic, Symbolic and mathematical. Mathematical optimization. Electronic books.
Online Access:	Connect to the full text of this electronic book