Mathematics Mechanization

Name: Mathematics Mechanization
Brand: Springer Netherlands
SKU: 9780792358350
Price: 582.96 RON
Availability: InStock

Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving

Autor: u Wen-tsun

Limbă:

Legare: Copertă tare

Editura: Springer Netherlands

Disponibilitate: În depozitul extern în cantități mici

Expediem în 11-15 zile

582.96 lei

This book is a collection of essays centred around the subject of mathematical mechanization. It tri...

Informații despre carte

Autor

u Wen-tsun

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2001

Pagini

420

EAN

9780792358350

ISBN

079235835X

Enbook ID

01396112

Editura

Springer Netherlands

Greutate

785

Dimensiuni

160 x 240 x 23

Descriere completă

This book is a collection of essays centred around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes mechanical, automated and less laborious. The book is divided into three parts. Part I concerns historical developments of mathematics mechanization, especially in ancient China. Part II describes the underlying principles of polynomial equation-solving, with polynomial coefficients in fields restricted to the case of characteristic 0. Based on the general principle, some methods of solving such arbitrary polynomial systems may be found. This part also goes back to classical Chinese mathematics as well as treating modern works in this field. Finally, Part III contains applications and examples. Audience: This volume will be of interest to research and applied mathematicians, computer scientists and historians in mathematics.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Mathematics Mechanization

Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și