Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving
 |
|
Описание:
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.Похожие книги
 | Mechanical System Identification Автор: Chulho Yang Год: 2010 |
 | Mechanical Trading Systems: Pairing Trader Psychology with Technical Analysis Автор: Weissman R.L. Год: 2005 |
| Extending mechanics to minds: the mechanical foundations of psychology and economics Автор: Jon Doyle Год: 2006 |
| Nonlinear Oscillations in Mechanical Engineering Автор: Alexander Fidlin Год: 2005 |
 | Mechanical systems, classical models. Particle mechanics Автор: P.P. Teodorescu Год: 2007 |
| Mechanical Properties of Polymers based on Nanostructure and Morphology Автор: edited by G.H. Michler, F.J. Balt?a-Calleja. Год: 2005 |