#
Knowledge Base of

Publications,
Seminars,
& Math Library

PhD theses from the project are accessible at the NCSTRL web site.

## Filter for: Anne Trostle

4 results

*
Logical Investigations, with the Nuprl Proof Assistant *

by Robert L. Constable, Anne Trostle

July 22, 2014

*
A Fast Algorithm for the Integer Square Root *

by Anne Trostle, Mark Bickford

June 09, 2014

*
Finding the Maximum Segment Sum *

by Anne Trostle

January 22, 2014

*
An Algorithm for the Greatest Common Divisor *

by Anne Trostle

October 01, 2013