Cargando…
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...
Autores principales: | , , |
---|---|
Lenguaje: | eng |
Publicado: |
Now Publishers
2019
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2760367 |