This site is supported by donations to The OEIS Foundation.

User:Christopher Carl Heckman

From OeisWiki
Jump to: navigation, search

"Try to incude something interesting about yourself"? There's nothing interesting about me.

No, wait. I just remembered I'm a footnote in the history of the 4CT. I debugged the C program and wrote a Pascal program for the DISCHARGE algorithm in the Robertson-Sanders-Seymour-Thomas computer proof of the 4CT. I'm in the acknowledgements.

Since then, it's been a lot of teaching: Almost 3000 students in 10 years. (Arizona State; where else?)