Mathematics Mechanization: Mechanical Geometry Theorem proving
Wu Wen-tsun
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.
年:
2001
出版:
1
出版社:
Springer
语言:
english
页:
427
ISBN 10:
079235835X
ISBN 13:
9780792358350
系列:
Mathematics and Its Applications
文件:
DJVU, 4.23 MB
IPFS:
,
english, 2001
因版权方投诉,本书无法下载