External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals

Leonardo Mendonça de Moura, Grant Olney Passmore. Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals. In Maria Paola Bonacina, editor, Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Volume 7898 of Lecture Notes in Computer Science, pages 178-192, Springer, 2013. [doi]

Authors

Leonardo Mendonça de Moura

This author has not been identified. Look up 'Leonardo Mendonça de Moura' in Google

Grant Olney Passmore

This author has not been identified. Look up 'Grant Olney Passmore' in Google
runs on