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: 601
Developer: Lurch Team
RSS News Feed: http://lurchmath.org/feed
Back in stock! Buy Malwarebytes Anti-Malware Premium v2 with a 1-PC LIFETIME license, only $27.95, 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
 
SMath Studio 0.97

SMath Studio 0.97

Freeware

A powerful maths tool. Like Mathcad, only free

Calcbot — Calculate Intelligently

Calcbot — Calculate Intelligently 1.1.1

Trial Software

An advanced calculator for iPhone and iPad

Other Download Articles From This Category
TIPP10 Portable

TIPP10 Portable 2.1.0 rev.2

Freeware

Learn to touch type with this free typing tutor

Anki

Anki 2.0.32

Open Source

A versatile flashcard-based study aid

Advanced IP Scanner

Advanced IP Scanner 2.4.2601

Freeware

An accurate network scanner and management tool

Words U

Words U 1.1

Freeware

How to sound smarter while messaging

From Softwarecrew

Please wait while my feed loads

See more posts...

 

Spotlight: Free Full Software

WhatsApp Messenger 2.12.5

Free Full Commercial Software

WhatsApp Messenger is the world's most popular instant messaging app for smartphones.

You can use it to send and receive text and voice messages, photos, videos, even call your friends in other countries, and because it uses your phone's internet connection it might not cost you anything at all (depending on whether you'll pay data charges).

It's easy to set up and use. There's no need to create and remember new account names or pins because it works with your phone number, and uses your regular address book to find and connect you with friends who use WhatsApp already.

You can talk one-to-one or in group chats, and because you're always logged in there's no way to miss messages. Even if your phone is turned off, WhatsApp will save your messages and display them as soon as you're back online.

There's plenty more (location sharing, contact exchange, message broadcasting) and the app is free for a year, currently $0.99/ year afterwards.

Version 2.12.5 brings:

• Per chat custom notification settings and mute
• You can now include videos in your chat backups in Settings > Chats and Calls > Chat Backup
• Mark chats as unread or read with a swipe to the right
• Better support for VoiceOver
• Directly share contacts from the Contacts app and locations from Apple Maps to WhatsApp
• Lower the data usage used during WhatsApp calls in Settings > Chats and Calls 
• Earlier messages now load automatically as you scroll chats
• Improved design for cropping photos and videos
• Location messages now use a large map thumbnail

[...]
Value:
Free
Rating: