A Graphic Apology for Symmetry and Implicitness

Erscheinungsjahr 2000
ISBN: 978-0-19-850729-1
Verlag: OUP Oxford

Buch, Englisch, 520 Seiten, Format (B × H): 161 mm x 240 mm, Gewicht: 945 g

Reihe: Oxford Mathematical Monographs

The present book brings into focus the contrast between explicit and implicit algorithmic descriptions of objects. These themes are considered in a variety of settings, sometimes crossing traditional boundaries. Special emphasis is given to moderate complexity - exponential or polynomial - but objects with multi-exponential complexity also fit in. Among the items under consideration are graphs, formal proofs, languages, automata, groups, circuits, some connections
with geometry of metric spaces, and complexity classes (P, NP, co-NP).

Autoren/Hrsg.

Carbone, Alessandra

Semmes, Stephen

Fachgebiete

• Interdisziplinäres Wissenschaften Wissenschaften: Allgemeines Wissenschaften: Theorie, Epistemologie, Methodik
• Geisteswissenschaften Philosophie Geschichte der Westlichen Philosophie
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik Mathematik Algebra Elementare Algebra
• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
• Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Angewandte Mathematik, Mathematische Modelle
• Mathematik | Informatik Mathematik Algebra Lineare und multilineare Algebra, Matrizentheorie
• Geisteswissenschaften Philosophie Wissenschaftstheorie, Wissenschaftsphilosophie
• Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Computeranwendungen in der Mathematik

Über Autor(innen)

A. Carbone, Associate Professor of Computer Science, University of Paris XII, France S. Semmes, Professor of Mathematics, Rice University, Houston, USA