Author | : Martin Davis |
File Size | : 55,6 Mb |
Publisher | : Springer Science & Business Media |
Language | : English |
Release Date | : 28 July 2012 |
ISBN | : 9781447142829 |
Pages | : 213 pages |
From Linear Operators to Computational Biology by Martin Davis Book PDF Summary
In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz explored: quantum theory, the theory and practice of programming, program correctness and decision procedures, dextrous manipulation in Robotics, motion planning, and genomics. In addition to presenting recent results in these fields, these essays illuminate the astonishingly productive trajectory of a brilliant and original scientist and thinker.