|
Showing 1 - 1 of
1 matches in All Departments
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.
|
You may like...
Poldark: Series 1-2
Aidan Turner, Eleanor Tomlinson, …
Blu-ray disc
(1)
R55
Discovery Miles 550
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.