From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
Author:   Martin Davis ,  Edmond Schonberg
Publisher:   Springer London Ltd
Edition:   2013 ed.
ISBN:  

9781447161707


Pages:   208
Publication Date:   09 August 2014
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $290.37 Quantity:  
Add to Cart

Share |

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


Add your own review!

Overview

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.

Full Product Details

Author:   Martin Davis ,  Edmond Schonberg
Publisher:   Springer London Ltd
Imprint:   Springer London Ltd
Edition:   2013 ed.
Dimensions:   Width: 15.50cm , Height: 1.20cm , Length: 23.50cm
Weight:   3.401kg
ISBN:  

9781447161707


ISBN 10:   144716170
Pages:   208
Publication Date:   09 August 2014
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now