Conal Mannion

Notation and Computer Aided Mathematics
Conal Mannion, December 6, 1994
Reasoning about Scientific Programs
Conal Mannion and Stuart Allen, 1993
Formalizing Hamiltonian Dynamics
Conal Mannion, November 9, 1993


Home | Introduction |Authors | Topics | Chronological List | PRL Project


Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu