Mathematics Mechanization: Mechanical Geometry Theorem proving

Free Download

Authors:

Edition: 1

Series: Mathematics and Its Applications

ISBN: 079235835X, 9780792358350

Size: 4 MB (4434082 bytes)

Pages: 427/427

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category: Tags: ,

Wu Wen-tsun079235835X, 9780792358350

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.

Reviews

There are no reviews yet.

Be the first to review “Mathematics Mechanization: Mechanical Geometry Theorem proving”

Related products

Shopping Cart
Scroll to Top