nevef.blogg.se - Speedcrunch vs qalculate

#Speedcrunch vs qalculate software#

Step - Two-dimensional physics simulation engine.

|| CLI: coq, GUI: coqide 1.2 Physics 1.2.1 Physics simulation It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. It is an interactive system for writing and checking proofs.

Agda - Dependently typed functional programming language and proof assistant.

See also List of applications/Documents#Spreadsheets 1.1.6 Proof assistants

ROOT - Data analysis program and library (originally for particle physics) developed by CERN.

Rocs - Graph Theory IDE for everybody interested in designing and analyzing graph algorithms (e.g., lecturers, students, researchers).

#Speedcrunch vs qalculate software#

LabPlot - Free software data analysis and visualization application, similar to SciDAVis.KmPlot - Program to draw graphs, their integrals or derivatives.Gnuplot - Command-line program that can generate 2D and 3D plots of functions, data, and data fits.See also Wikipedia:List of information graphics software. R - Software environment for statistical computing and graphics.Python Data Analysis Library (pandas) - Providing high-performance, easy-to-use data structures and data analysis tools with Python programming language.See also Wikipedia:Comparison of statistical packages. Alternative to Magma, Maple, Mathematica and Matlab. SageMath - Mathematics software system, that combines many existing open-source packages into a common Python interface.Octave - MATLAB-like language and interface for numerical computations.matplotlib (PyLab) - Collection of Python modules (pyplot, numpy, etc.) used for scientific calculations.Kig - Application for Interactive Geometry.Julia - High-level, high-performance dynamic language for technical computing.FreeMat - Matlab-like program that supports many of its functions and features a codeless interface to external C, C++, and Fortran code, further parallel distributed algorithm development (via MPI), and 3D visualization capabilities.Used for a wide variety of numerical applications, which includes spectral methods. FFTW - A Fast Fourier Transform library for computing discrete Fourier transforms.Cantor - Application that lets you use your favorite mathematical applications from within a nice KDE-integrated Worksheet Interface.See also Wikipedia:Comparison of numerical analysis software. || xcas 1.1.3 Scientific or technical computing Xcas - User interface to Giac, a free, basic computer algebra system.wxMaxima - Graphical user interface for Maxima being a powerful computer algebra system.Singular - Computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory.PARI/GP - Computer algebra system designed for fast computations in number theory.Maxima - Maple/ Mathematica-like computer algebra system.Mathomatic - General purpose Computer Algebra System written in C.

GAP - Computer algebra system for computational discrete algebra with particular emphasis on computational group theory.See also Wikipedia:Comparison of computer algebra systems. || xorg-xcalc 1.1.2 Computer algebra system xcalc - Scientific calculator for X with algebraic and reverse polish notation modes.SpeedCrunch - Fast, high precision and powerful cross-platform calculator.

Qalculate! - Calculator and equation solver with fault-tolerant parsing, constant recognition and units.

MATE Calc - Calculator for the MATE desktop environment.

KCalc - Scientific calculator included in the KDE desktop.

GNOME Calculator - Scientific calculator included in the GNOME desktop.

Genius - Advanced calculator including a mathematical programming language.

|| GTK+ 3: galculator, GTK+ 2: galculator-gtk2

galculator - GTK+ based scientific calculator.

FOX Calculator - Simple desktop calculator.

Deepin Calculator - Easy to use calculator for Deepin desktop.

calc - Arbitrary precision console calculator.

bc - Arbitrary precision calculator language.

See also Wikipedia:Comparison of software calculators.

1.6.1 Computational biology and bioinformaticsġ Science 1.1 Mathematics 1.1.1 Calculator.

1.1.3 Scientific or technical computing.