About Lurch
Your word processor has spelling and grammar checkers. Your math word processor should check your math. (Not just arithmetic, but algebra, calculus, and proofs as well.)
That is what Lurch will do; it is a simple math word processor with a general-purpose math checker built in. Development began in June 2008 and will continue at least through August 2010, and a small version, "Lurch Lite," has already been released (read what the "lite" entails here). You can download it for free for Windows, OS X, or *nix on the Downloads page.
To learn more, consider the following resources. If you like the project, consider getting involved! And if you're curious about the unusual name, read why it's called "Lurch."
VideosIntroduction to Lurch Lite, 8 minutes, MOV format:
A video specific to developers can be found on the Developers' page. |
Reading materialFall 2008 WorkshopNathan Carter gave a workshop on Lurch Lite at the Fall 2008 North-East Section Meeting of the Mathematical Association of America. The workshop materials are here. January 2009 TalkKen Monks gave a talk on the Toy Proofs software at the January 2009 Joint Mathematics Meetings in Washington, D.C. The handout and software are here. Lurch ProposalWe are funded by the NSF, and detailed information about our goals appears in our initial proposal (PDF). |
