Title: From Linear Operators To Computational Biology Essays In Memory Of Jacob T Schwartz
Description: 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.
Subjects: Linear operators, Logic, symbolic and mathematical, Quantum theory, Computer science, Computational biology, Symbolic and mathematical Logic, Programming Languages, Compilers, Interpreters, Mathematical Logic and Foundations, Robotics and Automation