RSS 16 projects tagged "Mathematics"

Download Website Updated 21 Dec 2013 GNU TeXmacs

Screenshot
Pop 829.35
Vit 89.43

GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content: text, mathematics, graphics, interactive content. TeXmacs can also be used as an interface to many external systems for computer algebra, numerical analysis, and statistics. New presentation styles can be written by the user and new features can be added to the editor using Scheme.

Download Website Updated 24 Mar 2001 SyNTeX - Syntactic tree drawing program

Screenshot
Pop 59.30
Vit 69.10

SyNTeX is a LaTeX preprocessor that draws syntactic trees using the LaTeX picture environment. The preprocessor reads the comments in a LaTeX file and draws the tree based on commands that it finds in the comments.

No download Website Updated 07 May 2002 Freehand Formula Entry System

Screenshot
Pop 34.79
Vit 1.00

The Freehand Formula Entry System is a research prototype for recognizing online handwritten mathematical notation, developed jointly by researchers in New Zealand, the United States and Canada. A user draws expressions with a mouse or data tablet, and LaTeX, a bitmap, and an operator tree are produced as output. Symbol recognition and expression interpretation are performed as the user draws.

Download Website Updated 04 Sep 2012 ePiX

Screenshot
Pop 196.88
Vit 21.27

ePiX creates mathematically accurate, publication-quality figures, plots, and animations. The input syntax is easy to learn, and the output is expressly designed for use with LaTeX. Complete documentation and dozens of sample files are included.

Download Website Updated 14 Apr 2003 PMathGen

Screenshot
Pop 31.94
Vit 1.74

PMathGen is a random simple math problem generator. From the operators, format, etc. specified on the command line or in a worksheet description file, it generates LaTeX and optionally PostScript files that can be used as math worksheets.

Download Website Updated 24 May 2013 Hilbert II

Screenshot
Pop 129.86
Vit 17.92

The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".

Download Website Updated 21 Sep 2003 LaTeX Service

Screenshot
Pop 29.66
Vit 1.00

LaTeX Service returns a LaTeX rendering of selected text as a TIFF image.

No download Website Updated 19 Nov 2003 JScript Logic

Screenshot
Pop 23.66
Vit 1.00

JScript Logic implements core routines for solving logic puzzles. Advanced features are being added for derivations using rules of formal logic.

No download Website Updated 28 Jan 2004 EasyLatex

Screenshot
Pop 31.84
Vit 1.00

EasyLatex is a preprocessor to make writing LaTeX much easier. It accepts "ASCII math" and generates equivalent LaTeX documents.

Download Website Updated 30 Sep 2007 ASCIIMathML

Screenshot
Pop 80.02
Vit 2.76

ASCIIMathML is a script that converts calculator-style ASCII math notation (and many LaTeX formulas) to Presentation MathML while your Web page loads. It works with HTML and XHTML files in Mozilla/Firefox/Netscape 7+ browsers, as well as in Internet Explorer 6 with MathPlayer. For example, the solutions for the equation 'ax^2+bx+c=0' are expressed in the HTML file as '(-b +- sqrt(b^2 - 4ac))/(2a)', and display as nicely formatted MathML. The script can be easily used in wikiservers and blogs, as a rudimentary MathML editor (with instant preview), and to preview math formulas as they are typed into a Web page input area.

Screenshot

Project Spotlight

QuickMSG

A secure chat app.

Screenshot

Project Spotlight

Excel Writer

A package to write Excel files with basic formatting easily.