From Linear Operators to Computational Biology
Essays in Memory of Jacob T. Schwartz
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
Contributions by leading researchers in their fields Technical contributions spanning various areas of Computer Science and Physics Explores the many fields in which Jacob T. Schwartz excelled: theorem proving, robotics, complexity theory, motion planning, and the foundations of quantum theory, amongst others Includes supplementary material: sn.pub/extras
Autor*in
Martin Davis
Themen in »From Linear Operators to Computational Biology«
Evolution of Programming Gene Silencing Jack Schwartz Proof-checker Quantum Computing RNAi Robitics Set Theory