The Finest Hand-Selected Downloads
Individually reviewed & tested
Store News
World Exclusive! Buy Norton 360 Deluxe with a 3-Device, 1-Year licence for only £15, saving 79% from store.computeractive.co.uk

Lurch 0.8

Enter math in a document - and check it, too

Rating:
(0)
Operating Systems:
Linux, Mac OS X, Windows 7 (32 bit), Windows 7 (64 bit), Windows 8, Windows Vista, Windows XP
License:
Open Source
Developer:
Lurch Team
Software Cost:
Free
Category
Kids & Education
Date Updated:
07 April 2014
Downloads To Date:
1414
Languages:
English

Lurch is a math word processor which allows you to create documents, insert a full mathematical argument, and validate it, too. Not just arithmetic, either: the program also supports algebra, calculus and proofs.

At its simplest, Lurch can be used as a basic editor with OpenMath-based support for equations. Create a text document with the usual core text formatting options - font, alignment, indentation, lists - and enter math expressions as required in calculator or TeX notation. Or just by clicking your preferred symbols on the toolbar.

Whatever you create is immediately rendered using MathJax, the same display engine used to display equations in just about every browser. And Lurch can save your work as an HTML page, or just a fragment of HTML code, ready for sharing with others.

The program isn't just about static text entry, though. Simple markup tools allow you to tell Lurch what different parts of the document mean. In the example expression "Since 1<2 and 2<3 we know that 1<3 by transitivity", you would mark up "1<2", "2<3" and "1<3" as meaningful, "transitivity" as the reason, and click "Validate" to have the program check and confirm your work.

Better still, the power behind all this isn't buried in the source code. Lurch validates your arguments using more than 100 predefined rules, covering everything from "addition" and "multiplication" to "logic", "DeMorgan" and "Cartesian product". These are all freely viewable (click Meaning > List all defined rules), and you can even add new rules of your own, as necessary.

Verdict:

Lurch isn't for math beginners. You still have to construct an argument before the program can validate it. But if that's no problem, the rest of the program works very well indeed: it's easy to use, gives you plenty of freedom in defining your proof, and can easily be extended with custom validation rules.

Your Comments & Opinion

Related Downloads Other Downloads From This Category

A powerful maths tool. Like Mathcad, only free

Freeware
33,213,862
Downloads
Secure & Tested Software
5,968
Reviews
Instant Download 24/7
294,357
Members
10+ Years of Service