Boolean Algebra Laws

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,...

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,...

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

PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...), but also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power...


Platforms: Windows

The perfect solution for making graphing worksheets. For graphing equations in: algebra homework, math class work, and for displaying professional graph images on a white board during classroom instruction. Click 'View All Files' for Windows Setup.


Platforms: Windows, Mac, Linux

The purpose of this module is to provide a dictionary and list type that can aid in relational algebra, functional programming, list-oriented programming, and perhaps even code obfuscation.


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

MaximaPHP is a Web based PHP interface to communicate to Maxima computer algebra system in the server. It takes user input, send it to Maxima, and show the output back to website. It could send almost any commands including 'plot2d' and 'plot3d' to plot graphs.


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

MySQL Parser is meant to parse boolean expressions like (item1 AND item2 AND NOT (item3 OR item4)) and converts them into MySQL full text search conditions like ( item1 item2 -(item3 item4)).


Platforms: PHP

GA Sandbox is a library providing geometric algebra implementations for geometric algebras. It comes with many programming examples. It is the software companion to the book `Geometric Algebra for Computer Science' (Morgan Kaufmann).


Platforms: Mac

CocoaLinear is a small linear algebra library aimed at Mac OS X and iPhone applications. It is written in C and is mostly independent of Cocoa, but does include functions for converting to and from Core Graphics and Core Animation types.


Platforms: Mac

A free computer algebra system written in Python FuncDesigner is a free and open source computer algebra system (CAS) written in Python + NumPy, allowing it to run on multiple platforms Mac OS X, Windows and Linux. Here are some key features of "FuncDesigner": ?*A* Enhances RAD abilities of...


Platforms: Mac

E42 Core software generates specific examples of NK Boolean Dynamic Systems that can be analyzed with E42 Tools


Platforms: Mac

A KDE based Computer Algebra System (CAS) that can also be used as an advanced replacement for KCalc. It is essentially a front end GUI for Maxima (and is easily extended to other CAS back-ends) and Gnuplot.


Platforms: *nix

Symaxx is a graphical front end for the Maxima computer algebra system (GPL).


Platforms: *nix

FuncDesigner is a computer algebra system (CAS) written in Python + NumPy as an ordinary Python module (thus making it free to combine with any other Python or Python-connected code). That makes it cross-platform (Linux, Windows, Mac OS X etc), with completely free license: BSD. It can be used...


Platforms: *nix

Kreveik is a Python module for Boolean networks. With Kreveik, one can build Boolean networks, create random Boolean networks, investigate dynamics of these networks, form families of them, investigate macroscopic variables and expose them to genetic algorithms.


Platforms: *nix

Karnaugh Map Minimizer is free (GPL) software for minimizing boolean functions using the graphic method of Karnaugh maps. I made it primarily for educational purposes so double check the output if you intend to use it for any "real" work. I hope it helps you with whatever you are doing.


Platforms: *nix

STIMATH is a high-level tool for mathematics, linear algebra, plotting and expression evaluation that can be used from any programming environment or even from a command line interface. It is an executable that takes a single argument, the name of a text file containing a series of MATLAB style...


Platforms: Windows 7

Comprehensive tutorial and testing package covering core topics in Algebra, Trigonometry, Elementary Functions and other standard Precalculus material. Java- and web-based math course includes theoretical concepts, hands-on examples featuring...


Platforms: Windows, *nix

SearchWin is a Fast Windows Find File Utility that adds Multi-Term 'Search Engine' capability to the Windows File System. It provides greater power and flexibility than Windows native Find File Utility without the overhead of a database. SearchWin finds files Without using ancient DOS filename...


Platforms: Windows