Efficient checking of polynomials and proofs and the hardness of approximation problems

Efficient checking of polynomials and proofs and the hardness of approximation problems

Zugl.: Berkeley, Calif., Univ. of California, Diss., 1993

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Sudan, Madhu (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 1995
Schriftenreihe:Lecture notes in computer science 1001
Schlagworte:
NP-complete problems > Computational complexity > Automatic theorem proving > Hochschulschrift > Optimierungsproblem > NP-vollständiges Problem > Approximation > Polynomialzeitalgorithmus > Komplexitätsklasse > Beweis > Polynomapproximation
Online Zugang:Inhaltstext
Cover
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Zugl.: Berkeley, Calif., Univ. of California, Diss., 1993
Beschreibung:Auf dem Umschlag: ACM distinguished theses. - Literaturverz. S. [73] - 78
Beschreibung:XIV, 87 S.
ISBN:3540606157
3-540-60615-7