
Título: Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems
Autor: $undefined
Sinopse: This book is based on the author's PhD thesis which was selected as the winning thesis of the 1993 ACM Doctoral Dissertation Competition. The author improved the presentation and included the progress achieved since the thesis was approved by the University of California at Berkeley. This work is a fascinating piece of theoretical computer science research building on deep results from different areas. It provides new theoretical insights and advances applicable techniques in such different areas as computational complexity, efficient (randomized) checking of proofs, programs and polynomials, approximation algorithms, NP-complete optimization, and error-detection and error-correction algorithms in coding theory.
Contexto da obra
Quando a classificação é mais ampla, o contexto do livro costuma depender ainda mais de autoria, tema e edição. “Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems”, de $undefined, publicado pela editora Springer, em 1995 e com 108 páginas, integra a categoria Livros Variados. Por isso, autoria, edição e tema acabam tendo ainda mais peso na forma de apresentar o livro.
Editora: Springer
Páginas: 108
Ano: 1995
Edição: 1995
Linguagem: pt_BR
ISBN: 3540606157
ISBN13: 9783540606154
Sobre a editora
Os livros da editora Springer apresentam uma leitura densa e focada em temas acadêmicos e científicos, com ênfase em áreas como matemática avançada, ciências naturais, tecnologia e ciências da saúde. A experiência de leitura costuma exigir familiaridade com linguagem técnica e conceitos especializados, refletindo o rigor das pesquisas e análises aprofundadas. O tom varia entre o didático e o expositivo, com obras que vão desde apresentações formais de teorias até relatos detalhados de estudos de caso e revisões sistemáticas. O catálogo sugere uma predominância de textos que dialogam com públicos acadêmicos e profissionais, oferecendo conteúdos que se apoiam em fundamentos históricos, dados empíricos e metodologias precisas.
