Boolean Algebra Laws

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

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

In today's business world, accepting checks is commonplace. The Bad Check Laws software helps businesses to be in compliance with bad check collection laws, and also maximize the fees allowed for recovering bounced checks. The Bad Check Laws is an easy to use program that allows you to research... Platforms: Windows

Calculator is a minimalist, easy to use Windows calculator that takes convenient advantage of the number key pad in your keyboard. Calculator can compute any algebra expression instantly. Calculator runs on Windows 2000/XP/2003 Server/Vista. This freeware version is free for public use and... Platforms: Windows

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

Language::Basic::Expression is a Perl package to handle string, numeric, and boolean expressions. SYNOPSIS See Language::Basic for the overview of how the Language::Basic module works. This pod page is more technical. # Given an LB::Token::Group, create an expression I parse it my $exp =... Platforms: *nix

GiNaC is an iterated and recursive acronym for GiNaC is Not a CAS, where CAS stands for Computer Algebra System. It is designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science (like computation- intense numeric... Platforms: *nix

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

nobel is a small ANSI C boolean expression parsing library and program for projects that need boolean expression parsing support built in, but bigger tools are overkill in size or options.. Get nobel at SourceForge.net. Fast, secure and free downloads from the largest Open Source applications and... Platforms: *nix

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

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

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 Platforms: *nix

Boolean Calculator is a simple utility for technical informatics on university. You can entera formular like "a and b and (not c)" and it shows you a table where youcan see on which boolean combination of a, b and c the term is true. Platforms: Mac

Xcas is a useful, multi-platform tool that acts as an interface to perform computer algebra, function graphs, interactive geometry (2D and 3D), spreadsheet and statistics. The program can be used as a replacement for high end graphic calculators. Now you can perform various calculations with the... Platforms: Windows

CasADi is designed as a minimalistic computer algebra system that is able to implement an automatic differentiation in forward and adjoint modes. It does thtat by means of a hybrid symbolic / numeric approach. It is developed to be a low-level tool for quick, yet highly efficient implementation... Platforms: Windows

Snifflib is a Java based numerical library designed to provide honest-to-goodness N-dimensional array construction and manipulation along with standard linear algebra functionality as well as statistics and computational routines in the Java language. for WindowsAll Platforms: Windows

Free math lessons and math homework help from basic math to algebra, geometry. The classic puzzle, a favorite of programmers and Buddhist monks. Puzzle index for geometry puzzles, logic puzzles, math puzzles, weight puzzles, moves puzzles and puzzles. You can sort the puzzle list by clicking The... Platforms: All

GeoGebra is free and multi-platform dynamic mathematics software for all levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package. Features includes Graphics, algebra and tables are connected and fully dynamic, Easy-to-use interface,... Platforms: Mac

GeoGebra is free and multi-platform dynamic mathematics software for all levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package. Features includes Graphics, algebra and tables are connected and fully dynamic, Easy-to-use interface,... Platforms: Windows

A Program for Statistical Analysis and Matrix Algebra MacAnova is a free, open source, interactive statistical analysis program for Windows, Macintosh, and Linux written by Gary W. Oehlert and Christopher Bingham, both of the School of Statistics, University of Minnesota. In spite of its... Platforms: Windows, Mac, Linux