Cart
Free Shipping in Australia
Proud to be B-Corp

From Linear Operators to Computational Biology Martin Davis

From Linear Operators to Computational Biology By Martin Davis

From Linear Operators to Computational Biology by Martin Davis


$269.89
Condition - New
Only 2 left

Summary

This book offers essays by friends, students and collaborators of Jacob T. Schwartz at the Courant Institute of Mathematical Sciences, on topics Schwartz explored: quantum theory, theory and practice of programming, robotics, motion planning and genomics.

From Linear Operators to Computational Biology Summary

From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz by Martin Davis

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.

Table of Contents

Foreword.- Introduction.- Nature as Quantum Computer.- Jack Schwartz Meets Karl Marx.- SETL and the Evolution of Programming.- Decision Procedure for Elementary Sublanguages of Set Theory XVII: Commonly Occurring Decidable Extensions of Multi-level Syllogistic.- Jack Schwartz and Robotics: The Roaring Eighties.- Mathematics' Mortua Manus: Discovering Dexterity.- The Ref Proof-checker and its Common Shared Scenario.- Claw-free Graphs as Sets.- Computational approaches to RNAi and Gene Silencing.- The Last Ten Yards.- Jacob T. Schwartz: Selected Bibliography.- Index.

Additional information

NLS9781447161707
9781447161707
144716170X
From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz by Martin Davis
New
Paperback
Springer London Ltd
2014-08-09
208
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Customer Reviews - From Linear Operators to Computational Biology