No description available....
The orbit method influenced the development of several areas of mathematics in the second half of the 20th century and remains a useful and powerful tool in suc...
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techn...
Lattices are discrete subgroups of maximal rank in a Euclidean space. To each such geometrical object, we can attach a canonical sphere packing which, assuming ...
This book focuses on nonlinear boundary value problems and the aspects of nonlinear analysis which are necessary to their study. The authors first give a compre...
The Dynamics of Control provides a carefully integrated development of the mathematical connections between nonlinear control, dynamical systems, and time-varyi...
In his "Géométrie" of 1637 Descartes achieved a monumental innovation of mathematical techniques by introducing what is now called analytic geometry. Yet the ke...
This book continues the biannual series of conference proceedings, which has become a classical reference resource in traffic and granular research alike. It ad...