Publication
-
Benchmarking stiff ODE solvers for atmorspheric chemistry problems II: Rosenbrock solvers Tech Report
January 1996
-
On periodic Pollaczek waiting time processes In Proceedings
January 1996 -
Implicit coercions in type systems In Proceedings
January 1996 -
Elements of generalized ultrametric domain theory Article
Theoretical Computer Science, 170(1-2), 349-381.January 1996
-
An implementation of the number field sieve Article
Experimental Mathematics, 5(3), 231-253.January 1996
-
Tableau algorithms defined naturally for pictures In Proceedings
January 1996
-
Three-valued completion for abductive logic programs In Proceedings
January 1996
-
A singularly perturbed model problem for numerical computation Article
Journal of Computational and Applied Mathematics, 76(1-2), 277-285.January 1996