Limit search to available items
Book Cover
E-book

Title From linear operators to computational biology : essays in memory of Jacob T. Schwartz / Martin Davis, Edmond Schonberg, editors
Published London ; New York : Springer, [2013]
©2013
Online access available from:
Springer eBooks    View Resource Record  

Copies

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 Multi-level Syllogistic / Domenico Cantone -- Jack Schwartz and Robotics: The Roaring Eighties / Micha Sharir -- Mathematics' Mortua Manus:Discovering Dexterity / B. Mishra -- The Ref Proof-Checker 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