Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

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

Browse by author | title | year | subject

Filter for: Anne Trostle

4 results

Math Book Logical Investigations, with the Nuprl Proof Assistant
by Robert L. Constable, Anne Trostle
July 22, 2014

Math Book A Fast Algorithm for the Integer Square Root
by Anne Trostle, Mark Bickford
June 09, 2014

Math Book Finding the Maximum Segment Sum
by Anne Trostle
January 22, 2014

Math Book An Algorithm for the Greatest Common Divisor
by Anne Trostle
October 01, 2013