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.
Frink is a calculating tool and programming language designed to help you in the real world. It tracks units of measurement throughout all calculations and ensures that answers are correct. It converts between systems of measurement, and has a huge library of physical data. It is both a simple calculator for quick calculations and a full-fledged programming language for large tasks. It draws high-quality graphics, handles conversions between time zones, currencies, and historical values of the U.S. dollar and the British pound, translates between several languages, does date/time math, and more.
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".
WIMS (WWW Interactive Mathematics Server) is a CGI Web application designed to host interactive mathematical educational activities such as exercises, computational math, and graphing tools. It features automatic score processing with strong anti-cheating mechanisms, virtual classes allowing teachers to guide/control student works, online exercise creation, animated graphics, a message board allowing inline mathematical formulas, and more. It can also be easily used for education within other disciplines.
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.
alph implements and analyzes historical and traditional ciphers and codes, such as polyalphabetic, substitutional, and mixed employing human-reconstructable algorithms. It provides a pipe filter interface in order to encrypt and decrypt block text to achieve transparency. The program is meant to be used in conjunction with external programs that transfer data, resulting in transparent encryption or decryption of information. The program can thus be used as a mail filter, IRC filter, IM filter, and so on.
PhpMathPublisher is a system for publishing Web pages that include mathematical expressions. Webmasters only have to install some fonts as no CGI scripts or LaTeX programs are required. Each formula is transformed into an image and the generated Web pages can be displayed by all browsers. It can be easily used in a CMS, blogs, and forums.
GtkMathView is a GTK widget for rendering MathML documents. It is meant to be a standalone, light-weight component and not a full browser. GTK applications can use the widget as a window for displaying mathematical formulas and doing simple interactions. Among other features, GtkMathView includes support for breaking long mathematical expressions, rendering of stretchy operators, and provides a customizable support for additional fonts.
LinkGrammar-WN is a lexicon expansion for the Link Grammar Parser. The Link Grammar Parser is a syntactic parser of the English language that is capable of handling a wide variety of syntactic constructions and is considered quite robust. The LinkGrammar-WN project aims to import lexical information from WordNet in an effort to increase the size of the LGP lexicon. This project is of interest to anyone interested in NLP (natural language parsing) of English text.
XiStrat (aka 'Extended Strategy') is in particular about turn-based, networked multiplayer, non-cooperative, zero-sum, abstract strategy board games (e.g., Chess, Go, Reversi variants, etc.) on 3D-visualized polyhedra and contains a server, client GUI, autoplayer engine, utilities, and documentation. Related recreational modern mathematics (single agent, cellular automata, graph/group/complexity/knot theory, discrete geometry, algebra, combinatorics, and mathematical physics) is also dealt with.