RSS Feed

Please wait while my feed loads

See more posts...

Newsletter

Subscribe to either one of our two newsletters for regular updates and information

Downloads newsletter

This is a weekly newsletter with download news, updates and other information

This is a monthly newsletter with software store information, offers and deals

Lurch 0.8

Enter math in a document - and check it, too

by Mike Williams

Our Rating:
Your Rating:
Login to rate
Based on 0 ratings
License: Open Source
Operating Systems: Linux, Mac OS X, Windows 7 (32 bit), Windows 7 (64 bit), Windows 8, Windows Server, Windows Vista (32 bit), Windows Vista (64 bit), Windows XP
Requirements:
Languages: English
Software Cost: Free
Date Updated: 07 April 2014
Watchlist: Add download to my watchlist
Downloads To Date: 195
Developer: Lurch Team
RSS News Feed: http://lurchmath.org/feed
HURRY! Buy a lifetime Malwarebytes Anti-Malware Premium v2 license for only $18.95, saving 24% from MSRP, whilst stocks last, only from store.downloadcrew.com
Lurch 0.8
Enter math in a document - and check it, too

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 Download Articles
 
Calcbot — Calculate Intelligently

Calcbot — Calculate Intelligently 1.1.1

Trial Software

An advanced calculator for iPhone and iPad

Other Download Articles From This Category
Anki 2.0.28

Anki 2.0.28

Open Source

A versatile flashcard-based study aid

Advanced IP Scanner

Advanced IP Scanner 2.3.2161.1

Freeware

An accurate network scanner and management tool

MIcrosoft WorldWide Telescope 5

Microsoft WorldWide Telescope 5.0.3

Freeware

Microsoft's answer to Google Sky is the perfect way to take a gorgeous tour of the cosmos

Verity Child Monitoring 1.14

Verity Child Monitoring 1.14

Freeware

Find out what your kids are doing on their PC

From Softwarecrew

Please wait while my feed loads

See more posts...

Our Price: $29.95
RRP: $79.95
Saving 63%
Buy Now
Offer Ends In:
 

Spotlight: Free Full Software

Ashampoo Burning Studio 2013 (v11.0.6)

Free Full Commercial Software

Ashampoo Burning Studio 2013 is a compact, simple, but surprisingly feature-packed disc burning suite.

The program makes it easy to create simple data discs and audio CDs, for instance: just drag and drop your files onto the list area and you'll be burning the finished disc in a couple of clicks.

That's just the start, though. Burning Studio 2013 can also create data discs with customised, interactive multi-page menus, perfect if you'd like a more professional way to share and present the disc contents.

A built-in backup tool allows you to create backups which may be encrypted, compressed, and span several CDs, DVDs and Blu-rays.

And there are modules to create VCD or SVCD video projects; burn video DVDs or Blu-ray discs from prepared folders; create, browse or burn disc images (ISO, CUE/ BIN and Ashdisc formats are supported); copy discs, erase them, design and print disc covers, labels and booklets, and more.

The focus throughout is on ease of use, though, and so Ashampoo Burning Studio 2013 remains very straightforward, whatever you're doing. Most disc projects are created via the same simple interface, and for the most part all you have to do is drag and drop the necessary files. But experts will find more advanced options are only a click away, and if you need to then you can set ISO and UDF version, enable Joliet, make a disc bootable and more.

Note the download here will take you to the Downloadcrew Software Store where you can download Burning Studio 2013.

[...]
Value:
Free
Rating: