Linear Algebra Proofs

GeoGebra project is a dynamic mathematics software that joins geometry, algebra, and calculus. Two views are characteristic of GeoGebra: an expression in the algebra window corresponds to an object in the geometry window and vice versa. GeoGebra - Dynamic Mathematics for Schools

Math::Algebra::Symbols is a Symbolic Algebra in Pure Perl. SYNOPSIS Example symbols.pl #!perl -w -I.. use Math::Algebra::Symbols hyper=>1; use Test::Simple tests=>5; ($n, $x, $y) = symbols(qw(n x y)); $a += ($x**8 - 1)/($x-1); $b += sin($x)**2 + cos($x)**2; $c += (sin($n*$x) +...

Interactive multilingual mathematics software for training problem-solving skills offers 70439 algebraic problems, a variety of appropriate techniques to solve problems and a unique system of performance analysis with methodical feedback. Included are linear, quadratic, biquadratic, reciprocal,...


Platforms: Windows

YACAS is an easy to use, general purpose Computer Algebra System, a program for symbolic manipulation of mathematical expressions. It uses its own programming language designed for symbolic as well as arbitrary-precision numerical computations. The system has a library of scripts that implement...


Platforms: *nix

GNU Octave project is a high-level language, primarily intended for numerical computations. It provides a convenient command line interface for solving linear and nonlinear problems numerically, and for performing other numerical experiments using a language that is mostly compatible with Matlab....


Platforms: *nix

This code allows little applications to DEA (Data Envelopment Analysis), based on the Jeff Stuart Linear Programming code.


Platforms: Matlab

This is free software that adds several spline and linear interpolation functions to Microsoft Excel. It is simple to use because the new functions work just like all other existing Excel functions. Spline functions include cubic spline, bessel spline, and 'OneWay' spline (which is a monotonic...


Platforms: Windows, Windows 8, Windows 7, Windows Server

Math::Symbolic::MiscAlgebra contains miscellaneous algebra routines like det(). SYNOPSIS use Math::Symbolic qw/:all/; use Math::Symbolic::MiscAlgebra qw/:all/; # not loaded by Math::Symbolic @matrix = ([x*y, z*x, y*z],[x, z, z],[x, x, y]); $det = det @matrix; @vector = (x, y, z);...


Platforms: *nix

Simplex-in-PHP are PHP scripts that solve small linear programming and integer linear programming problems executing the simplex method step by step, printing the tableau and drawing the graphical analysis.Useful for students in Operational Research.


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

Meta Matrix Library is a modular designed collection of C libraries. Meta Matrix Library was developed as part of the Free Finite Element Package to provide easy and consistent access to numerical linear algebra software for sparse and dense matrices. The dense matrix and vector operations of...


Platforms: *nix

Armadillo is a C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. Integer, floating point and complex numbers are supported, as well as a subset of trigonometric and statistics functions. Various matrix decompositions are provided through...


Platforms: Mac

LAPACK is a linear algebra library, based on LINPACK and EISPACK. LAPACK is written in Fortran77 and provides routines for solving systems of simultaneous linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value problems. The associated...


Platforms: *nix

HPL is a software package that solves a (random) dense linear system in double precision (64 bits) arithmetic on distributed-memory computers. It can thus be regarded as a portable as well as freely available implementation of the High Performance Computing Linpack Benchmark. The algorithm used...


Platforms: *nix

Ch from SoftIntegration, Inc. is a superset of C interpreter. It is the most complete C interpreter in existence for scripting, plotting and numerical computing. It supports 1990 ISO C Standard (C90), major features in C99, classes in C++, POSIX, X11/Motif, OpenGL, ODBC, XML, GTK+, Win32, CGI,...


Platforms: Mac

PiTiVi is a non-linear audio/video editor for GNU/Linux using the GStreamer multimedia framework. The GStreamer and PiTiVi team are pleased to announce a new pre-release of PiTiVi. This release is in beta state, may suffer from hangs and is not yet ready for production. Transcoding/Encoding...


Platforms: *nix

dlib is a library for developing portable applications dealing with networking, threads, graphical interfaces, data structures, linear algebra, machine learning, XML and text parsing, numerical optimization, Bayesian nets, and numerous other tasks.


Platforms: *nix

Linear Laundry is a two-part application designed to accurately and easily develop RAW photos. One part develops the RAW into a linear PSD file, and the a set of Photoshop actions can be used to create a true-color image. The final result is dramatically increased image quality, without the...


Platforms: Mac

Kayali is a Qt based Computer Algebra System (CAS) that can also be used as an advanced replacement for KDE KCalc. Please Note: I am currently targetting a small subset of Maxima, while maintaining a medium-term goal of supporting all of Maxima. Please bear in mind that although Kayali probably...


Platforms: *nix

Kdenlive is a non-linear video editor for KDE. Kdenlive project provides all project management and editing tools while relying on a separate rendering program (currently PIAVE) to perform the editing operations. Support is planned for transitions, effects, multiple file formats, and full...


Platforms: *nix

colorname is both a plugin for The Gimp as well as a standalone tool that tries to assign a name to a color, using external color definitions and linear algebra. For this it calculates the euclidean distance between the currently selected color and all predefined colors, either in the RGB or...


Platforms: *nix