Yves Bertot & Gilles Dowek 
Theorem Proving in Higher Order Logics [PDF ebook] 
12th International Conference, TPHOLs’99, Nice, France, September 14-17, 1999, Proceedings

Alternating current (AC) induction and synchronous machines are frequently used in variable speed drives with applications ranging from computer peripherals, robotics, and machine tools to railway tr …

This book uses asymptotic methods to obtain simple approximate analytic solutions to various problems within mechanics, notably wave processes in heterogeneous materials. Presenting original solution …

This research monograph represents an outcome of the cross-fertilization between nonlinear functional analysis and mathematical modelling, and demonstrates its application to solid and contact mechan …

Scientific Computing with MATLAB®, Second Edition improves students’ ability to tackle mathematical problems. It helps students understand the mathematical background and find reliable and accurate s …

Partial Differential Equations: Analytical Methods and Applications covers all the basic topics of a Partial Differential Equations (PDE) course for undergraduate students or a beginners’ course for …

Shelving Guide: Electrical Engineering In 1900 the great German theoretical physicist Max Planck formulated a correct mathematical description of blackbody radiation. Today, understanding the behavio …

Suitable as a textbook for a graduate seminar in mathematical modelling, and as a resource for scientists in a wide range of disciplines. Presents 22 lectures from an international conference in Leib …

Extreme weather and climate change aggravate the frequency and magnitude of disasters. Facing atypical and more severe events, existing early warning and response systems become inadequate both in sc …

The contents in this work are taken from both the University of Iowa”s Conference on Factorization in Integral Domains, and the 909th Meeting of the American Mathematical Society”s Special Session …