Patrick Brosnan at UMD Mathematics

Research Links

• Publications
• Mathematics Links

Teaching Links

• Teaching Archive
• Random Notes

Formalization Repos

• Proof that 0=1
• terpsols

University of Maryland Math Dept. Address