Abstract Algebra Proofs

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

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

Except for Gummy Globe (which started out as a 35mm slide), these are all single-exposure digital photos, made by moving the camera. Tiny apertures (and slow ISO speeds) were used to get the right exposure. The haikus on Neon Dragonfly and Golden Afternoon are by Debra Galloway, who later created... Platforms: Mac

Decorate your screen with this amazing Abstarct Images Free Screensaver. It shows you off the long set of images having very unusual forms and nice pure colors and hues. You will definitely please your eyes watching this colorful images on the screen of your PC! 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

Free abstract art screensaver using digital images of organic forms created in natural light. Textures were created with a combination of camera movements and exposure settings. Originally shot at 6 Megapixels on a Fujifilm E550. Platforms: Windows

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

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

Using Boolean Algebra technique for C6711 DSK DIP Switches to select different types of digital filters. This model works inside C6711 DSK.Please feel free to comment. Platforms: Matlab

There is a base class that provides abstract range calculation based on the number of page and number of result rows per page to retrieve.The iterator interface is also implemented to traverse query result rows.Limit Result Set Iterator also comes with an implementation class to execute and... Platforms: PHP

Microsoft SQL Server connection abstract (basic connection ). 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