Приложения для Windows

Really Slick contains free 3D OpenGL screensavers. All of these savers are colorful and exhibit rich animation that never repeats. Some are based on classic screensaver themes, such as fireworks, …

Jasymca is an interactive System for solving math problems. It supports arbitrary precision numbers and symbolic variables. Scalars, vectors, and matrices can be built from all datatypes and used in...

WordMat is an add-on to Microsoft Word which creates a tab with math functionality. Part of the Math functionality is provided by other open-source applications like Maxima, GeoGebra, Graph and …

The Accord.NET framework provides machine learning, mathematics, statistics, computer vision, computer audition, and several scientific computing related methods and techniques to .NET. This project extends the popular AForge.NET Framework providing …

Reinteract is a system for interactive experimentation with Python. Reinteract worksheets contain Python code combined with the results of that code, formatted as text or graphical plots. Youu can go …

Graphical frontend for GNU Octave. Edit formulas in native mathematical notation. Available / tested for Linux x586 / x86_64, WinXP, Vista, and MacOS.

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It …

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 …

Tux, of Math Command, AKA TuxMath, lets kids hone their arithmetic skills while they defend penguins from incoming comets, or offers them a chance to explore the asteroid belt with …

Giac/Xcas is a free computer algebra system for Windows, Mac OS X and Linux/Unix (license GPL3, for commercial dual-license contact us).

Flames are algorithmically generated images and animations. The software was originally written in 1992 and released as open source, aka free software. Over the years it has been greatly expanded, …

Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those …

Cartesius is a 2d coordinate system graphics library written in Python.