Overview
- 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
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (10 chapters)
-
Front Matter
-
Back Matter
Editors and Affiliations
Bibliographic Information
Book Title: From Linear Operators to Computational Biology
Book Subtitle: Essays in Memory of Jacob T. Schwartz
Editors: Martin Davis, Edmond Schonberg
DOI: https://doi.org/10.1007/978-1-4471-4282-9
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London 2013
Hardcover ISBN: 978-1-4471-4281-2Published: 28 July 2012
Softcover ISBN: 978-1-4471-6170-7Published: 09 August 2014
eBook ISBN: 978-1-4471-4282-9Published: 28 July 2012
Edition Number: 1
Number of Pages: XII, 208
Topics: Programming Languages, Compilers, Interpreters, Mathematical Logic and Foundations, Quantum Physics, Robotics and Automation