ENGLISH

Mathematics Mechanization: Mechanical Geometry Theorem proving

By Wu Wen-Tsun

Book information

Publisher
Springer
Year
2001
ISBN
079235835X, 9780792358350
LCC
QA76.9.A96 W8 2000
Open Library ID
OL40087M
Language
english
Format
DJVU
Filesize
4 MB (4434082 bytes)
Series
Mathematics and Its Applications
Edition
1
Pages
427\427
Library
Kolxo3
DPI
600
Time added
2009-07-20 03:45:11
Математика;Прочие разделы математики

Description

A collection of essays centered around mathematical mechanization, dealing with mathematics in an algorithmic and constructive manner, with the aim of developing mechanical, automated reasoning. Discusses historical developments, underlying principles, and features applications and examples.

Similar books