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