-
An algorithm for solving dimension 5 quadratic equations without factorisation
This thesis in algorithmic number theory presents a new probabilistic algorithm for solving dimension 5 quadratic equations over Z or Q without using any... -
Filters on Co-Inductive streams: an application to Eratosthenes' sieve
We show how to model filter functions on the co-inductive types of infinite streams in type theory. These functions are partial but the theory imposes total functions....
