Linear Algebra Proofs

In this paper i try to associate a linear dynamical system dX/dt=AX to the PDE wave equation.So i discretize the space to step h,and set the limited develpment.it is well application also for spherical wave.J.C Willems gives good standing from ODE to PDE,and From PDe to ODE.

Linear Diameter Calculator - Convert angular diameters of deep sky objects into actual diameters This is a tool for converting the angular diameter of a deep sky object into its actual (linear) diameter. It also handles some of the conversions you may need to perform to do this calculation,...

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

A barcode generator software creates UPC, EAN, ISBN along with few other barcode symbols which will satisfy designers, labelers, book publishers around the world who need only UPC/EAN based barcodes. This package is affordable, yet powerful enough to create barcode in any dimensions with high...


Platforms: Mac

EVA , symbolic Clifford algebra calculator (geometric algebra) , is an Eigenmath script. EVA support space dimension from 1 to 5 with arbitrry signature. It is fully documented at beyhfr.free.fr. You may adapt EVA fastly to meet your own needs.


Platforms: Windows, Mac, Linux

GiANT is a graphical interface for computer algebra systems (OS X/UNIX/Win). Currently GiANT lets the user work with number fields via KASH, but we aim to develop it into a GUI Library to run on top of any CAS and expose any of its functions.


Platforms: Windows, Mac, BSD, Solaris, Linux

The Kinship Algebra Modeller is a suite of java applications that assist development of an algebra to describe a given kinship terminology, and to support models and simulations of social processes based on relating people using this algebra.


Platforms: Windows, Mac, Linux

The second edition of "Linear Signals and Systems" (LSS2) by B. P. Lathi provides a significant MATLAB component, which is presented from a signals and systems perspective. All of the text's MATLAB code is available from this site. Code for the computer examples in chapter xx is named CExx.m....


Platforms: Matlab

The Jonker-Volgenant algorithm is much faster than the famous Hungarian algorithm for the Linear Assignment Problem (LAP). This Matlab implementation is modified from the original C++ code made by Roy Jonker, one of the inventors of the algorithm. It is about 10 times faster than the munkres code...


Platforms: Matlab

Solves the mixed integer linear problem:min c'*xs.t. A*x


Platforms: Matlab

SolverNxN is designed to solve many small linear system in a vectorized way in order to improve time perfomaces. It is in practice a faster alternative to the matlab commands: for k = 1:number_of_systemsx=Ab;end The Matlab looping speed can visibly slow down this process so most of the time is...


Platforms: Matlab

NOREDUND - Remove redundant linear inequalities from a set of inequalities; i.e., remove redundant linear constraints defining a feasible region. Note that the feasible region satisfies A*x


Platforms: Matlab

This e-book is based on the Student Edition of MATLAB 7, which includes a symbolic toolbox. The Professional Edition may of course also be used. The goal is to exploit a restricted subset of MATLAB commands and functions to explore most of the elements of undergraduate mathematics. All items from...


Platforms: Matlab

This book focuses on the theory, implementation, and applications of subspace identification algorithms for linear time-invariant finite-dimensional dynamical systems.For a full book description and ordering information, please refer to http://www.mathworks.com/support/books/book1458.jsp.


Platforms: Matlab

This is a learning model for matrix-based data. It can be more efficient than standard vector-based models when the training sample is small or the inputs are matrices, since this model has less parameters than standard ones and exploits an inner structure of the inputs. This model can be...


Platforms: Matlab

The EJS Linear Charge Gauss's Law model shows a Gaussian surface and allows for the measurement of the charge enclosed and surface area of the surface. Users can change the radius of the linear charge as well as the size of the Gaussian surface. Users can modify this simulation if Ejs is...


Platforms: Mac

The idea behind the Relational Algebra project is that it is easier to understand relational algebra if you can experiment with the different operators. I looked at some of my solutions and thought 'if only I could just run this with some test data to see if it works'. The interpreter handles...


Platforms: Mac

GluCat is a generic library of C++ templates which implement universal Clifford algebras over the field of real numbers. Features . Numerical computation with real Clifford algebras . Base algebra dimensions limited only by word size


Platforms: *nix

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.


Platforms: *nix

Java Algebra System (JAS for short) is an object oriented, type safe and multi-threaded approach to computer algebra. JAS provides a well designed software library using generic types for algebraic computations implemented in the Java programming language. The library can be used as any other...


Platforms: *nix