Semialgebraic proofs and efficient algorithm design

The book provides the advanced reader with a deep insight into the exciting line of research, namely, proof that a solution exists has enabled an algorithm to find that solution itself with applications in many areas of computer science. It will inspire readers in deploying the techniques in their o...

Descripción completa

Detalles Bibliográficos
Autores principales: Fleming, Noah, Kothari, Pravesh, Pitassi, Toniann
Lenguaje:eng
Publicado: Now Publishers 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2760367
_version_ 1780970322168643584
author Fleming, Noah
Kothari, Pravesh
Pitassi, Toniann
author_facet Fleming, Noah
Kothari, Pravesh
Pitassi, Toniann
author_sort Fleming, Noah
collection CERN
description The book provides the advanced reader with a deep insight into the exciting line of research, namely, proof that a solution exists has enabled an algorithm to find that solution itself with applications in many areas of computer science. It will inspire readers in deploying the techniques in their own further research.
id cern-2760367
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Now Publishers
record_format invenio
spelling cern-27603672021-04-21T16:40:15Zhttp://cds.cern.ch/record/2760367engFleming, NoahKothari, PraveshPitassi, ToniannSemialgebraic proofs and efficient algorithm designXXThe book provides the advanced reader with a deep insight into the exciting line of research, namely, proof that a solution exists has enabled an algorithm to find that solution itself with applications in many areas of computer science. It will inspire readers in deploying the techniques in their own further research.Now Publishersoai:cds.cern.ch:27603672019
spellingShingle XX
Fleming, Noah
Kothari, Pravesh
Pitassi, Toniann
Semialgebraic proofs and efficient algorithm design
title Semialgebraic proofs and efficient algorithm design
title_full Semialgebraic proofs and efficient algorithm design
title_fullStr Semialgebraic proofs and efficient algorithm design
title_full_unstemmed Semialgebraic proofs and efficient algorithm design
title_short Semialgebraic proofs and efficient algorithm design
title_sort semialgebraic proofs and efficient algorithm design
topic XX
url http://cds.cern.ch/record/2760367
work_keys_str_mv AT flemingnoah semialgebraicproofsandefficientalgorithmdesign
AT kotharipravesh semialgebraicproofsandefficientalgorithmdesign
AT pitassitoniann semialgebraicproofsandefficientalgorithmdesign

Ejemplares similares