Description 
1 online resource : portraits 
Contents 
From Linear Operators to Computational Biology: Essays in Honor of Jacob T. Schwartz / Martin Davis and Edmond Schonberg  Nature as Quantum Computer / David Ritz Finkelstein  Jack Schwartz Meets Karl Marx / Martin Davis  SETL and the Evolution of Programming / Robert Dewar  Decision Procedures for Elementary Sublanguages of Set Theory. XVII. Commonly Occurring Decidable Extensions of Multilevel Syllogistic / Domenico Cantone  Jack Schwartz and Robotics: The Roaring Eighties / Micha Sharir  Mathematics' Mortua Manus:Discovering Dexterity / B. Mishra  The Ref ProofChecker and Its "Common Shared Scenario" / Eugenio G. Omodeo  Computational Approaches to RNAi and Gene Silencing / Alessandro Laganà, Rosalba Giugno, Alfredo Pulvirenti and Alfredo Ferro  The Last Ten Yards / Michael Wigler 
Summary 
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 
Analysis 
Computer science 

Logic, Symbolic and mathematical 

Quantum theory 

Programming Languages, Compilers, Interpreters 

Mathematical Logic and Foundations 

Quantum Physics 

Robotics and Automation 
Bibliography 
Includes bibliographical references and index 
Notes 
English 
Subject 
Computer science.


Linear operators.


Computational biology.


Computational Biology  history.

Genre/Form 
Festschriften.

Form 
Electronic book

Author 
Davis, Martin, 1928


Schonberg, Edmond.

LC no. 
2012944721 
ISBN 
9781447142829 (electronic bk.) 

1447142829 (electronic bk.) 

1447142810 

9781447142812 
