16 projects tagged "Mathematics"
Updated 27 Mar 2013
GNU TeXmacs
| Pop | 1,092.15 |
|---|---|
| Vit | 130.76 |
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.
Updated 24 Mar 2001
SyNTeX - Syntactic tree drawing program
| Pop | 61.34 |
|---|---|
| Vit | 66.62 |
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.
Updated 07 May 2002
Freehand Formula Entry System
| Pop | 42.19 |
|---|---|
| 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.
Updated 04 Sep 2012
ePiX
| Pop | 240.65 |
|---|---|
| Vit | 31.06 |
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.
Updated 14 Apr 2003
PMathGen
| Pop | 35.07 |
|---|---|
| Vit | 1.75 |
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.
Updated 11 Apr 2013
Hilbert II
| Pop | 341.95 |
|---|---|
| Vit | 49.55 |
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".
Updated 21 Sep 2003
LaTeX Service
| Pop | 34.57 |
|---|---|
| Vit | 1.00 |
LaTeX Service returns a LaTeX rendering of selected text as a TIFF image.
Updated 19 Nov 2003
JScript Logic
| Pop | 31.94 |
|---|---|
| Vit | 1.00 |
JScript Logic implements core routines for solving logic puzzles. Advanced features are being added for derivations using rules of formal logic.
Updated 28 Jan 2004
EasyLatex
| Pop | 36.17 |
|---|---|
| Vit | 1.00 |
EasyLatex is a preprocessor to make writing LaTeX much easier. It accepts "ASCII math" and generates equivalent LaTeX documents.
Updated 30 Sep 2007
ASCIIMathML
| Pop | 88.15 |
|---|---|
| Vit | 2.84 |
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.
