trojuhelnik is a general solver for triangles. It computes all possible solutions for a triangle that is specified by an arbitrary triple of the following elements: sides, angles, altitudes, medians, angle bisectors, area, radius of circumscribed and inscribed circle, sum a+b, perimeter and difference of the angles. All other elements, triangle visualization, and graphs of elements dependencies are also available.
Genius is an arbitrary precision integer and multiple precision floating point calculator. It includes its own programming language similar in some aspects to C, bc, or Pascal. It can deal with rational numbers and complex numbers. It has matrix support as well. It uses the gmp library so it is very fast for calculations of large numbers. It has a command line and a GNOME interface. The GNOME interface supports plotting functions and 3D surfaces.
pyuds is a Python library for measuring uncertainty in the Dempster-Shafer theory of evidence. The functionals supported are the Generalized Hartley (GH) uncertainty functional, Generalized Shannon (GS) uncertainty functional, and Aggregate Uncertainty (AU) functional. The library can be utilized either through its API, or through a user-friendly Web interface.
GSL shell offers an interactive user interface that gives access to the GSL collection of mathematical functions. It is based on the powerful and elegant scripting language Lua. GSL shell is not just a wrapper over the C API of GSL, but offers a much more simple and expressive way to use GSL. The objective is to give the user the power to easily access GSL functions without having to write a complete C application. It also has a powerful module to produce plots or almost any kind of graphics based on data or functions.
Miramath is an Open Source project inspired by the MathCad mathematical application. The main user interface consists of a page into which mathematical expressions can be entered or edited and then evaluated. It features a Wysiwyg equation editor, automatic evaluation of equations, integrated plotting, symbolic algebra using Sympy, and numerical computations using Scipy.
Verish is a language for reasoning that resembles a natural language. It is equivalent to Lower Predicate Calculus, and has a built-in framework for defining and using abbreviations, and for introducing additional principles of reasoning that can be automatically expanded into a sequence of steps that use only basic principles of reasoning. It has a basic reasoning checking function, and can automatically expand one additional principle of reasoning into a sequence of steps using only the basic principles. It can also add HTML markup to a proof for display as a Web page.
Social Networks Visualizer (SocNetV) is a flexible and user-friendly tool for the analysis and visualization of Social Networks. It lets you construct mathematical graphs with a few clicks on a virtual canvas, load networks of various formats (GraphViz, GraphML, Adjacency, Pajek, UCINET, etc), or create a network by crawling all links in a Web page. The application can compute basic network properties, such as density, diameter, and distances (shortest path lengths), as well as more advanced structural statistics, such as node and network centralities (i.e. closeness, betweenness, graph), clustering coefficient, etc.
Eukleides is a computer language devoted to elementary plane geometry. It aims to be a fairly comprehensive system to create geometric figures, either static or dynamic. It can handle geometric types of data like points, vectors, lines, circles, or conics. A Eukleides script usually consists of a declarative part where objects are defined and a descriptive part where objects are drawn. Nonetheless, Eukleides is also a full featured programming language, providing conditional and iterative structures, user defined functions, modules, etc. The Eukleides distribution provides two distinct interpreters: "eukleides" and "euktopst". The former interpreter produces Encapsulated PostScript (EPS). The latter produces PSTricks macros, allowing Eukleides to be used with LaTeX.
Treep is a simple language for doing symbolical computations. It operates on numbers and strings that can be organized in more complex objects. These objects are lists of name-value pairs that are stored in memory as AVL trees. It has about sixty built-in functions to operate on such data and a way to define new functions. Treep syntax very much resembles Lisp. The power of treep is its simplicity and security. Treep is a good tool do process objects and relations between them. For example it is possible to define graphs as a sets of vertices and edges in text file, parse that file, do any computations you like, write modified data to text file. Treep works well on graphs, trees, linked lists, simple hashes. Treep is not good at processing texts, dealing with system input/output.
Draco is an econometrics and statistics package written with ease of use in mind. The software offers a variety of regressions for econometric analysis, and data is presented in a familiar, spreadsheet-like interface. Draco features data plotting and manipulation as well. It interoperates with common open source formats, including OpenDocument spreadsheets and Scalable Vector Graphics.