The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be observed L

This book provides a systematic and uniform presentation of elimination methods and the underlying theories, along the central line of decomposing arbitrary sys

The subject of this book is connected with a new direction in mathematics, which has been actively developed over the last few years, namely the field of polyno

This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free pr

The finite-difference solution of mathematical-physics differential equations is carried out in two stages: 1) the writing of the difference scheme (a differ en