Homepage of P. Christopher Staecker: Research

My research is in topological (Nielsen) fixed point theory and some related areas, and the topological theory of digital images. For an introduction to Nielsen fixed point theory for the general mathematical audience, try watching my Youtube videos 85 Years of Nielsen Theory.

My Erdős number is 4: Staecker → Gonçalves → Golasiński → Henriksen → Erdős.

You can download my Curriculum Vitae (74KB PDF) LaTeX source.

Recent Writings and Publications

All of my papers are available at arXiv. The arXiv versions are essentially identical to the published versions. These are also mirrored at Fairfield University's Digital Commons.
Most of my papers eventually get indexed at MathSciNet and Zentralblatt.

Recent Academic Talks and Presentations

Map of talks and jobs

Red are talks, yellow are jobs. Recent things are biggest.

Other stuff

Antique Math Devices

I'm interested in mechanical computation. Here are some pages I made about various old devices. Most go along with my YouTube series.

GAP

My research includes techniques for the computation of the Reidemeister trace. These techniques are all encoded for the free open source computational algebra engine GAP.

The easiest way to use these programs is in a web-based implementation:

If you'd prefer, you can download and work with the GAP programs directly yourself. The current release is v2.0, May 2009.

The package above contains some GAP programs which are of more general interest:

Coq

I have an interest in proof formalization, specifically using the Coq proof assistant, which can produce computer-verifiable proofs of mathematical theorems. You are free to use any of my code subject to the cc-by-sa license.

Valid HTML 4.01! Valid CSS!
PDF icon by David Vignoni from Wikimedia Commons, licenced LGPL