Record: found
Abstract: not found
Book Chapter: not found

Advances in Cryptology — CRYPTO’ 88 : Proceedings 

Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals

other

Author(s): Leonardo de Moura , Grant Olney Passmore

Publication date (Print): 2013

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 19

Record: found
Abstract: not found
Conference Proceedings: not found

Some algebraic and geometric computations in PSPACE

John Canny (1988)

0 comments Cited 70 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Cylindrical Algebraic Decomposition I: The Basic Algorithm

Dennis S. Arnon, George E. Collins, Scott McCallum (1984)

0 comments Cited 42 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

A Revision of the Proof of the Kepler Conjecture

Thomas Hales, John Harrison, Sean McLaughlin … (2010)

0 comments Cited 38 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 178-192

DOI: 10.1007/978-3-642-38574-2_12

SO-VID: 61b21a13-80c5-41cd-8051-4d9b3c65b4ec

History

Data availability:

Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals

Read this book at

Related collections

University of Huddersfield Press

Most cited references 19

Some algebraic and geometric computations in PSPACE

Cylindrical Algebraic Decomposition I: The Basic Algorithm

A Revision of the Proof of the Kepler Conjecture

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,328

Cited by 5