RSS 25 projects tagged "Mathematics"

Download Website Updated 21 Dec 2013 GNU TeXmacs

Pop 829.76
Vit 89.80

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 25 Apr 2002 GtkMathView Widget

Pop 61.08
Vit 3.20

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.

Download Website Updated 18 Oct 2006 WIMS

Pop 108.35
Vit 8.51

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.

Download Website Updated 14 Dec 2006 XiStrat

Pop 53.44
Vit 3.45

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.

No download Website Updated 11 Dec 2001 Ch

Pop 46.67
Vit 67.17

Ch is an embeddable C/C++ interpreter for cross-platform scripting, shell programming, 2D/3D plotting, numerical computing, and embedded scripting. It is the simplest solution to numerical computing and visualization in the domain of C/C++. It supports the ISO 1990 C Standard (C90), major features in C99 (complex numbers, variable length arrays or VLAs, type generic functions, long long data type, etc), classes in C++, and extensions to the C language like nested functions, string types, etc. It can be embedded in other applications and hardware and used as a scripting language. C/C++ code is interpreted directly with no compilation to intermediate code. It supports Linux, Windows, MacOS X, Solaris, HP-UX, and FreeBSD.

Download Website Updated 27 Jun 2004 Condorcet with Dual Dropping

Pop 57.46
Vit 5.25

Condorcet with Dual Dropping is a ranking system for deciding single or multi-winner contests (elections) using voted preference (or approval) ballot list or pairwise tally matrix. It computes the Cloneproof Schwartz Sequential Dropping (CSSD) and Tideman's Ranked Pair (RP) results for each contest round, and selects the combined CSSD and RP outcome with the lowest overall dropping cost. There are options to compute just the CSSD, RP, or Minimum Dropping Cost outcome, various optional pair rank and winner tie-breakers, and alternative measures of dropping cost (winning votes and/or margin). It comes as a console program and CGI executable.

Download Website Updated 12 Jun 2002 CountYourEuro!

Pop 24.49
Vit 1.00

The idea of CYE (count your Euros) is to collect data on EuroCoins all over Europe, to analyze the flow of Euros. CYE is a client through which you can enter coin data.

No download Website Updated 07 Aug 2002 RISO

Pop 15.75
Vit 1.00

RISO is an implementation of heterogeneous, distributed belief networks in Java. A belief network is a probability model defined on an acyclic directed graph; distributed means nodes can be on different hosts, and heterogeneous means allowing different conditional distributions. The calculations involved are multidimensional integrations; exact results are known for a catalog of special cases. If a partial result cannot be calculated as a special case from the catalog, RISO computes an approximate result by numerical integration. Partial results are passed from one node in the graph to another as messages; if nodes live on different hosts, the belief network is said to be distributed. Messages are passed via RMI. Many example belief networks and lengthy documents are included in the RISO release bundle.

Download Website Updated 06 Jul 2003 IrcMap C2

Pop 16.73
Vit 62.77

IRcMap C2 is a Java applet to show tree structures such as networks, data structures, or enterprise structures. It is based on the idea of the irc-hispano server map.

Download Website Updated 24 May 2013 Hilbert II

Pop 130.48
Vit 17.95

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".


Project Spotlight

Packet Peeper

A network protocol analyzer for Mac OS X.


Project Spotlight

Ada EL

A library which implements an expression language similar to JSP and JSF.