Visit our Christmas Gift Finder
Feasible Mathematics II - Progress in Theoretical Computer Science v. 13 (Hardback)
  • Feasible Mathematics II - Progress in Theoretical Computer Science v. 13 (Hardback)
zoom

Feasible Mathematics II - Progress in Theoretical Computer Science v. 13 (Hardback)

(editor), (editor)
£22.00
Hardback 456 Pages / Published: 01/12/1994
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
In computational applications, an algorithm may solve a given problem, but be "infeasible" in practice because it requires large time and space resources. A "feasible" algorithm requires a "small" amount of time and/or memory and can be implemented on an abstract computational device such as a Turing machine or a boolean circuit. In investigating feasible algorithms, a wide variety of tools from combinatorics, logic, computational complexity theory and algebra can be employed. The purpose of the workshop on which this volume is based was to carry on the work of the first "Feasible Mathematics" workshop, held in 1989. Both workshops were held at Cornell University and sponsored by the University and Mathematics Sciences Institute. This volume contains contributions to feasible mathematics in three areas: computational complexity theory, proof theory and algebra, with substantial overlap between different fields. Among the topics covered are: boolean circuit lower bounds, novel characteristics of various boolean and sequential complexity classes, fixed-parameter tractability, higher order feasible functionals, higher order programs related to Plotkin's PCF, combinatorial proofs of feasible length, bounded arithmetic, feasible interpretations, polynomial time categoricity, and algebraic properties of finitely generated recursively enumerable algebras.

Publisher: Birkhauser Verlag AG
ISBN: 9783764336752
Number of pages: 456
Dimensions: 235 x 155 mm

You may also be interested in...

The Elements of Statistical Learning
Added to basket
The Art of Computer Programming
Added to basket
Automata and Computability
Added to basket
The Algorithm Design Manual
Added to basket
Sets, Logic and Maths for Computing
Added to basket
Foundation Mathematics
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Discrete Mathematics
Added to basket
Cryptanalysis
Added to basket
Coding Theory
Added to basket
£44.99
Paperback
Probability and Computing
Added to basket
The Lattice Boltzmann Equation
Added to basket
Data Analysis with Open Source Tools
Added to basket
Numerical Recipes 3rd Edition
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.