Publication
-
Gaussian limits for discrepancies Article
Nuclear Physics B - Proceedings Supplements, 63(1-3), 988-990.April 1998
-
May 1998
-
Denotational models for programming languages: applications of Banach's Fixed Point Theorem Article
Topology and its Applications, 85(1-3), 35-52.May 1998 -
May 1998
-
Connecting informal and formal mathematics Dissertation
Specification and Analysis of Embedded SystemsMay 1998 -
June 1998
-
Primes in several classes of the positive matrices Article
Linear Algebra and its Applications, 277(1-3), 149-185.June 1998 -
Randomness is hard In Proceedings
June 1998