This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering. It is a summary of the work by the authors and their collaborators on automated inequalit
A Chinese Phrase A Day is a fun, less-intimidating way to learn Chinese! Part of Tuttle's best-selling page-a-day line, this new edition teaches useful everyday phrases and words.Although more people
Liang Sicheng is a renowned architectural historian, architectural educator, and architect in China. He is the founder of the discipline of Chinese architecture history, and also the pioneer of Chines
This book focuses on the finite-time control of attitude stabilization, attitude tracking for individual spacecraft, and finite-time control of attitude synchronization. It discusses formation reconfi