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: 995
Developer: Lurch Team
RSS News Feed: http://lurchmath.org/feed
Safeguard your PC with the latest Kaspersky Internet Security 2019 for only £14.99, saving 55% from store.downloadcrew.co.uk
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

SMath Studio 0.99.6622

Freeware

A powerful maths tool. Like Mathcad, only free

Other Download Articles From This Category
Gaia Sky

Gaia Sky 2.1.0

Open Source

Real-time 3D astronomy visualisation

Tux Paint 0.9.23

Tux Paint 0.9.23

Open Source

An excellent paint program for children aged 3 to 12.

Google Earth 7

Google Earth 7.3.2.5491

Freeware

Explore the world in three dimensions

Hold - time well spent 3.4.0

Hold - time well spent 3.4.0

Freeware

Get more down by being rewarded by not using your smartphone

From Softwarecrew

Please wait while my feed loads

See more posts...

Our Price: $19.95
RRP: $49.99
Saving 60%
Buy Now
Offer Ends In:
 

Spotlight: Free Full Software

Windows 10 October 2018 Update (build 1809)

Free Full Commercial Software

This is the latest version of Windows October 2018 Update. it's a media creation tool that can be used to upgrade an existing installation of Windows or create installation media for another PC. Just make your choice after launching the tool and it'll do the rest.

What was new in Windows 10, when it was released? The OS brought back the Start Menu, though with a Windows 8 twist: live tiles keep you up-to-date with the latest news while also providing an easy way to launch apps. (Don't worry if you prefer the Start Screen, it's still there and you can boot into it if you prefer.)

Apps now work much more like regular desktop programs. They have minimise, maximise, restore and close buttons, and can be resized (to a degree) and organised however you like.

If you've still lost track of a program in the mass of open windows, a new Task Spaces feature can help. Click its taskbar button and you'll see thumbnails for everything running now, a little like OS X's Mission Control - just click something to switch to it.

Better still, Task Spaces also supports virtual desktops. Add extra desktops as required and it'll display thumbnails of each one, making it easy to identify whatever you're after and switch to it.

There's also smarter snapping, new customisation options, and even a bunch of experimental additions to the command prompt.

Fall Creators Update brings a whole host of new features for Windows 10. See the Microsoft Blog for more information.

The Windows 10 ISO here will give you build 1809 which is the October 2018 Update.

[...]
Value:
Free
Rating: