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: Conal Mannion

3 results

Seminar Notation and Computer Aided Mathematics
by Conal Mannion
December 06, 1994

Seminar Formalizing Hamiltonian Dynamics
by Conal Mannion
November 09, 1993

Seminar Reasoning about Scientific Programs
by Conal Mannion, Stuart F. Allen