O. Bottema , R. Djordjevic, R. Janic, D. Mitrinovic, P. Vasic "Geometric Inequalities " Groningen: Wolters-Noordhoff, 1969 | ISBN:N/A | Djvu | 151 pages | 2,2 Mb
A collection of more than 450 inequalities from elementary geometry in a plane reflects recent results until its publication in 1969. Most of them are concerned with triangles. It also contains numberous references. This work, called "Bible of Bottema" is very appreciated and has been much quoted in the mathematical literature.
Dominic Welsh "Complexity: Knots, Colourings and Countings (London Mathematical Society Lecture Note Series)" Cambridge University Press | 1993-08-27 | ISBN: 0521457408 | PDF | 171 pages | 6,1 Mb
The aim of these notes is to link algorithmic problems arising in knot theory with statistical physics and classical combinatorics. Apart from the theory of computational complexity needed to deal with enumeration problems, introductions are given to several of the topics, such as combinatorial knot theory, randomized approximation models, percolation, and random cluster models.
The volume begins with "A Primer in Column Generation" which outlines the theory and ideas necessary to solve large-scale practical problems, illustrated with a variety of examples. Other chapters follow this introduction on "Shortest Path Problems with Resource Constraints," "Vehicle Routing Problem with Time Window," "Branch-and-Price Heuristics," "Cutting Stock Problems," each dealing with methodological aspects of the field. Three chapters deal with transportation applications: "Large-scale Models in the Airline Industry," "Robust Inventory Ship Routing by Column Generation," and "Ship Scheduling with Recurring Visits and Visit Separation Requirements." Production is the focus of another three chapters: "Combining Column Generation and Lagrangian Relaxation," "Dantzig-Wolfe Decomposition for Job Shop Scheduling," and "Applying Column Generation to Machine Scheduling." The final chapter by François Vanderbeck, "Implementing Mixed Integer Column Generation," reviews how to set-up the Dantzig-Wolfe reformulation, adapt standard MIP techniques to the column generation context (branching, preprocessing, primal heuristics), and deal with specific column generation issues (initialization, stabilization, column management strategies).
A stimulating collection of one hundred problems, complete with instructive solutions, on numbers, equations, polygons, polyhedra and many other topics. Extremely challenging for anyone with a fair knowledge of mathematics up to calculus. Includes an additional 13 problems without solutions.
I. M. Yaglom “Geometric Transformations I " Mathematical Association of America (MAA) | 1962-06 | ISBN: 0883856085 | Djvu | 133 pages | 1,9 Mb
Almost everyoneis acquainted with plane Euclidean geometry as it is usually taught in high school. This book introduces the reader to a completely different way of looking at familiar geometrical facts. It is concerned with transformations of the plane that do not alter the shapes and sizes of geometric figures. Such transformations play a fundamental role in the group theoretic approach to geometry.
The treatment is direct and simple. The reader is introduced to new ideas and then is urged to solve problems using these ideas. The problems form an essential part of this book and the solutions are given in detail in the second half of the book.
From Peirce to Skolem North Holland | 2000-07-01 | ISBN: 044450334X | 625 pages | PDF | 19 MB
This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schröder, Leopold Löwenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic.
Rudiments of mu-calculus North Holland | 2001-04-01 | ISBN: 0444506209 | 296 pages | PDF | 11,1 MB
This book should be accessible for graduate or advanced undergraduate students both in mathematics and computer science. We have designed this book especially for researchers and students interested in logic in computer science, comuter aided verification, and general aspects of automata theory. We have aimed at gathering in a single place the fundamental results of the theory, that are currently very scattered in the literature, and often hardly accessible for interested readers.
Principles of the Gravitational Method Elsevier Science | 2007-12-17 | ISBN:0444529934 | 270 pages | PDF | 1,4 MB
*Surveys gravity instrumentation with emphasis on the theory of why certain instrumentation is used *Presents thorough developments of the theory of gravity to aid in creating applications in exploration and geodesy *Emphasizes the fundamental principles of forward modeling and inversion in the gravitational method
السلام عليكم الأخ الفاضل الإحصائي: مشكورعلى هذاالكمالهائل من الكتب ،حبذا لو تتحفنا ببعض الكتبحول Partial Differential Equations Theory و لكجزيل الشكر. رجاء:لقد وجدت كتاب Maximum principle و لم استطع تحميله هل ممكن إرشادي،.