Lurch

The word processor that can check your math

Talks and Articles

Publications about Lurch

Carter, Nathan C. and Monks, Kenneth G.  From Formal to Expository: Using the Proof-Checking Word Processor Lurch to Teach Proof-Writing.  Chapter in the book Beyond Lecture: Techniques to Improve Student Proof-Writing Across the Curriculum, eds. Schwell, Steurer, and Vasquez, MAA Notes, to appear.

Carter, Nathan C. and Magnus, P.D.  forallΧ in Lurch.  Freely available online, 2013.  An introductory logic textbook that integrates Lurch lessons throughout, and comes with Lurch libraries to download for use in a course based on this text.

Carter, Nathan C. and Monks, Kenneth G.  Lurch: a word processor that can grade students’ proofs.  Proceedings of the Work in Progress session at CICM 2013.  Bath, UK, July 9-10.  Lange, et al. editors.

Carter, Nathan C. and Monks, Kenneth G.  Lurch: a word processor built on OpenMath that can check mathematical reasoning.  Proceedings of the OpenMath Workshop at CICM 2013.  Bath, UK, July 9-10.  Lange, et al. editors.

Talks and Workshops on Lurch

Since the Lurch project began in Summer 2008, we have given various talks and workshops about our progress. We list them here, in reverse chronological order, and each is a link to associated handouts, slides, etc.

Date

Venue

Location

Type

Speaker

8/8/2014 MathFest
Slides PDF
Portland, OR Talk Carter
4/9/2014 Indiana University Logic Seminar
Slides PDF
Bloomington, IN Talk Carter
1/15/2014 Joint Mathematics Meetings Baltimore, MD Poster Monks
8/3/2013 MathFest
Slides PDF
Hartford, CT Talk Carter
7/10/2013 CICM 2013 OpenMath Workshop
Slides PDF
Bath, UK Talk and paper Carter
7/9/2013 CICM 2013 Works in Progress Session
Slides PDF
Bath, UK Talk and paper Carter
1/9/2013 Joint Mathematics Meetings
“slides” PDF (talk was done in Lurch itself)
San Diego, CA Talk and poster Carter, Monks
1/4/2012 Joint Mathematics Meetings Boston, MA Talk and poster Carter, Monks
4/13/2011 Bentley University Mathematics Department Seminar
slides PDF
Waltham, MA Talk Nathan Carter
1/6/2011 Joint Mathematics Meetings
slides PDF
New Orleans, LA Talk and poster Nathan Carter
9/25/2010 Luzerne and Lackawanna Counties Mathematics Symposium Misericordia University, Dallas, PA Talk Ken Monks
8/6/2010 MathFest
slides PDF
Pittsburgh, PA Talk Nathan Carter
4/16/2010 MAA Maryland/D.C./Virginia Section Meeting
slides PDF
handout PDF
Virginia State University, Petersburg, VA Workshop Nathan Carter
1/16/2010 Joint Mathematics Meetings
slides PDF
San Francisco, CA Talk and poster Ken Monks
12/6/2009 Sage Education Day 1
slides PDF
Cambridge, MA Talk Nathan Carter
8/7/2009 MathFest
slides PDF
Portland, OR Talk Nathan Carter
1/8/2009 Joint Mathematics Meetings
slides PDF
Washington, D.C. Talk and poster Ken Monks
11/21/2008 MAA Northeast Section Meeting
slides PDF
handout PDF
Bentley University, Waltham, MA Workshop Nathan Carter

Print Media on Lurch

The Bentley Observer ran a cover story on Lurch. Read more about it on this page on our site.