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

SciDAVis is a free application for Scientific Data Analysis and Visualization. It's an application aimed at data analysis and publication-quality plotting. It combines a shallow learning curve and an...

SpeedCrunch Portable is a free, fast, high precision open source algebraic calculator with an intuitive interface and a extensive list of features, including: Unlimited Variables, Syntax...

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 …

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 …

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked for correctness by the computer. It also allows …

Java based and open sourced version of matlab and octave Getting more and more compatible over time.

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

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 …

FreeMat is an environment for rapid engineering and scientific processing. It is similar to commercial systems such as MATLAB from Mathworks and IDL from Research Systems, but is Open Source.

Python(x,y) is a free scientific and engineering development software for numerical computations, data analysis and data visualization based on Python programming language, Qt graphical user interfaces and Spyder interactive scientific...

wxMaxima is a document based interface for the computer algebra system Maxima. wxMaxima uses wxWidgets and runs natively on Windows, X11 and Mac OS X. wxMaxima provides menus and dialogs …

Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear...

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 …

Scilab is a scientific software package for numerical computations providing a powerful open computing environment for engineering and scientific applications. Scilab is an open source software and includes...

Sage is a free open-source mathematics software system licensed under the GPL. It combines the power of many existing open-source packages into a common Python-based interface. Mission: Creating a viable...

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 …

R is a free software environment for statistical computing and graphics. It is a GNU project which is similar to the S language and environment which was developed at Bell …

Octave is a computer program for performing numerical computations which is mostly compatible with MATLAB . It is part of the GNU Project. It is free software under the terms …

Programmable scientific calculator which has more than 150 mathematical functions and all of them return as many digits as you need. It can calculate with real numbers, complex numbers, fractions, …

TTCalc is an open source bignum mathematical calculator. It features arithmetical functions, trigonometric functions, inverse trigonometric functions, hyperbolic functions, inverse hyperbolic functions,...