Abstract Algebra Proofs

Matlab, Maple and C/C++ applications of Linear Algebra in many domains, including curves in many dimensions, Cryptography and Chaos etc. Platforms: Windows, Mac, BSD, Linux

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

Swing-based abstract frame or applet for visual manipulation of objectsand links between objects Platforms: Windows, Mac, 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

Specter - Abstract Arithmetics Library (AAL) is a library written in native C which is able to do operations with numbers of virtually unlimited length. Specter is targeting mainly to cryptography and integer values though. Platforms: Windows, Mac, BSD, Linux

It can also send notification e-mails to all authors using a custom built template. InstallationUnpack and upload it to the /wp-content/plugins/ directory.Activate the plugin through the 'Plugins' menu in WordPress. Key features "Abstract Submission": - Abstract upload with an easy... Platforms: Windows, Mac, *nix, PHP, BSD Solaris

Simple Abstract Table is a base class that should be extended by a class that specifies the table name and other details that define how to store and retrieve objects in the given table.The base class can check the variables that changed to learn which table fields should be set when inserting or... Platforms: PHP

Abstract SQL Table to Object provides a base class from which all classes that map database tables should inherit. The sub-class should define the table it is wrapping, the primary key field and variables to store the table field values.The base class can query the database to retrieve the list... Platforms: PHP

pgSQL Abstract is a wrapper class to simplify PostgreSQL queries. This is the PostgreSQL version of another previously submitted here to access MySQL for the same purpose.Features of pgSQL Abstract:- Connect to a PosgreSQL server reusing connections previously opened to the same server- Insert or... Platforms: PHP

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

The Abstract Large File (ALF) project is a portable library for writing files that can be larger than 2GB or contain holes on systems that don't natively support one or both properties. Platforms: *nix

Abstract Classic is an add-on for the famous Mozilla Firefox which installs new icons and neutral colours, more discrete, with outstanding use of ash grey, leaving the search bar full of soft colours.Abstract Classic is recommended for people with discrete tastes, maybe adults who don`t like to... 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

Data::Phrasebook::Loader::XML Perl module can abstract your phrases with XML. SYNOPSIS use Data::Phrasebook; my $q = Data::Phrasebook->new( class => Fnerk, loader => XML, file => phrases.xml, dict => Dictionary, # optional ); OR my $q = Data::Phrasebook->new( class => Fnerk,... Platforms: *nix

CPAN::Cache is a Perl module abstract locally-cached logical subset of a CPAN mirror. There have been any number of scripts and modules written that contain as part of their functionality some form of locally stored partial mirror of the CPAN dataset. CPAN::Cache does the same thing, except... 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