Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 32.137.262 Times

Lurch 0.4

Company: lurch.sourceforge.net
Date Added: April 29, 2014  |  Visits: 452

Lurch

Report Broken Link
Printer Friendly Version


Product Homepage
Download (47 downloads)

Software for teaching and learning mathematical proofs
Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.

Requirements: No special requirements
Release Date: December 20, 2012
Platforms: Windows, BSD, Mac, Linux
Users rating: 0/10

License: Freeware Size: 18.49 KB
LURCH RELATED
Arcade Style Games  -  Addams Family Values 1.0
The Addams family finds itself in a wacky situation once again, this time involving the newest member of the family, Baby Pubert. Following the same plot as the movie, this game puts you in the role of Uncle Fester as you try to rescue Pubert from...
1.62 MB  
Utilities  -  Burstling 1.0 Beta 1
Task managers are great giving you a strategic view of everything you need to get done. When it comes to coaxing you into action, though, most systems leave you in the lurch. Sometimes, despite all that organization, laziness strikes.
1.01 MB  
Network & Internet  -  collective.dancing 0.9.10
Singing & Dancing is the next generation newsletter Product for Plone. It's an out of the box solution that works without modification for most of your use cases. And should you find something that Singing & Dancing can't do, it's built to be...
194.56 KB  
NEW DOWNLOADS IN MACINTOSH SOFTWARE, EDUCATION
Macintosh Software  -  VideoSolo Video to GIF Converter (Mac) 1.0.12
How to make a GIF? VideoSolo Free Video to GIF Converter for Mac supports all popular video files including MP4, AVI, MOV, WMV, FLV, M4V, etc. You can easily turn MP4/AVI/MOV/WMV/FLV/M4V to GIF animation on Mac and share your GIFs with your...
46.51 MB  
Macintosh Software  -  VideoSolo Free Video Converter (Mac) 1.0.18
VideoSolo Free Video Converter for Mac is a fast, powerful and easy-to-master video converter. Its main purpose is to convert video files from one format into another. It is able to convert video and audio files in 300+ formats on Mac for totally...
75.29 MB  
Macintosh Software  -  ManyCam for Mac 6
ManyCam is a free Webcam software and a screen recorder for anyone to use. Several feature enhancements are included within ManyCam to produce a professional quality live video production. It can connect a desktop, smartphone, tablet and live...
90.49 MB  
Macintosh Software  -  MacX Free Rip DVD to QuickTime for Mac 4.1.9
MacX Free Rip DVD to QuickTime for Mac is totally free yet versatile DVD to QuickTime ripper software for Mac users to free rip both normal and copy-protected DVDs to QuickTime MOV, MP4 on Mac with excellent image quality. Besides the powerful...
36.3 MB  
Macintosh Software  -  MacX QuickTime Video Converter Free 4.1.9
MacX QuickTime Video Converter Free Edition is the best program designed for Mac users to free convert almost all HD videos and SD videos to QuickTime accepted formats on Mac with first rate quality.The input file formats covered by this powerful...
23.11 MB  
Education  -  Sliding Down an Incline Plane Model 1.0
This interactive simulation shows a stone block lying at rest on an inclined plane. Initially, the component of gravity along the plane surface is exceeded by the force of static friction. The slope of the ramp can be increased or decreased,...
51.2 KB  
Education  -  MrAIC 1.4.4
MrAIC.pl is a Perl script for calculating AIC, AICc, BIC, and Akaike weights (for a review, see Burnham and Anderson, 2002) for nucleotide substitution models. Likelihood scores under different models are estimated using PHYML (Guindon and...
10.24 KB  
Education  -  HapEvolution 1.0
Complex diseases involve multiple genes with low penetration which may be distributed over the genome. Most of the current haplotype association methods are typically restricted in length and consist of alleles from contiguous SNPs. These...
1.61 MB  
Education  -  Three Charges 1.0
In this simulation, you can investigate the idea of the force between charged objects. Initially, the simulation sets up three charged objects, one at each corner of an equilateral triangle. The charges have different magnitudes - your job is to...
1.36 MB  
Education  -  AWclust 3.0
AWclust is easy to use non-parametric population structure analysis software written for R with a GUI interface. Just point and click and you will be on your way to discovering the important cluster information in your SNP data sets.
20.48 KB