Приложения с тегом Математика

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.