Added: May 10, 2013 | Visits: 408
LAUNCH SALE! FOR ONE WEEK ONLY SAVE OVER 60%! MathStudio, formerly SpaceTime, is the most comprehensive math app available for iPhone, iPad and Mac. Whether you need a simple calculator to do your finances or a replacement for your TI graphing calculator, MathStudio is the most powerful and...
Platforms: Windows, Mac, *nix, C/C++, BSD Solaris
Released: June 02, 2002
Added: April 14, 2006 | Visits: 11.661
This is a tool that makes making math worksheets easier than ever. Just a few clicks and you're on. The limits are almost unlimited as it can get 300 math problems on a worksheet without even making it look compacted. Supports bold printing mode also. It allows you to put a title, select the type...
Platforms: Windows, *nix
Added: April 22, 2010 | Visits: 1.143
Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus. It understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated expressions by means of...
Added: May 10, 2013 | Visits: 276
The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. It solves problems efficiently by converting them into satisfiability (SAT) problems. Features: - Comes...
Platforms: Windows, Mac, *nix, C/C++, BSD Solaris
Added: May 26, 2013 | Visits: 256
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...
Added: June 21, 2013 | Visits: 303
User Relationship Limits extends User Relationships and provides the ability for site administrators to limit the number of possible relationships per user role.
Added: July 27, 2013 | Visits: 221
OverviewRole Limits is a small, but useful, module that allows for users with proper permissions to set a limit on the number of users in a given role. Think of this module very much like "Maximum Node Population" in CCK only for users. This could be useful when a site is licensed for use to a...
Added: July 04, 2013 | Visits: 256
This module allows site administrators to set limits on the number of groups that users can create as well as the number of members that can join groups.Note that the group member limit is calculated as the number of total group members minus the group owner.
Added: June 04, 2006 | Visits: 3.971
FmPro Worksheet - A free graphical utility for sending SQL commands to FileMaker 7 databases. FmPro Worksheet enables FileMaker 7 database developers to use libraries of SQL commands to speed development of FileMaker 7 solutions. FileMaker 7 developers can utilize all SQL commands supported by...
Platforms: Windows, Mac
Added: August 30, 2008 | Visits: 1.186
A series of solved calculus exercises, with step-by-step shown.
Released: February 24, 2016
Added: March 24, 2016 | Visits: 1.707
Robot4 (tm) is a Robotic Arm Movement program where the arm is moved from a given position to a desired position. The program finds the angles necessary for the desired position. Problem came from NASA. Robot4 is an Inverse Problem example. It wants to solve how to move from starting point...
Platforms: Windows, Windows 8, Windows 7, Windows Server
Added: August 07, 2008 | Visits: 3.573
The Worksheet King (Handwriting Pack) is a replacement for photocopiable resources. It produces handwriting worksheets quickly and easily, meaning you can produce activities targeted at groups, or even individuals, in minutes. Can be used with any font installed on your computer, with a choice of...
Added: August 24, 2008 | Visits: 1.864
The free Basic Facts Worksheet Factory can generate worksheets that will provide students with the practice they need to become proficient in the basic math operations. You can easily create unlimited customized worksheets for the practice of arithmetic facts in addition, subtraction,...
Added: August 29, 2008 | Visits: 1.940
Everlasting Maths Worksheet - Addition - Choose from 3 levels of addition sums from single digits to three figure problems. Each sum is randomly produced one at a time on a blackboard style interface. Audio and visual encouragement lets you know when you are right and when you need to try again....
Released: January 14, 2008
Added: October 08, 2008 | Visits: 29.246
Excel Worksheet Recovery Assistant lets you repair damaged MS Excel files without special efforts. You do not have to download an amount of demo software for try outs. Excel Worksheet Recovery Assistant will do all work relating to the possible recovery variants. Repair utility will provide you...
Added: April 13, 2010 | Visits: 977
rshaper is a Linux kernel module that limits the incoming bandwidth for packets aimed at different hosts. While the former issue can be addressed with the conventional shaper driver, the latter cant be easily addressed by the standard shaper. As a matter of facts, I have not been able to use...
Added: October 24, 2010 | Visits: 1.413
Enterprise File Exchange (EFX) slots in where email file attachment limits stop your users from sending those important files to a contact. In the EFX world, the user visits the EFX site, uploads the file, enters the receivers email address and lets the system notify the receiver that theres a...
Added: September 12, 2010 | Visits: 571
mod_choke is a module for Apache that limits usage by greedy clients. Its two main functions are to limit the number of concurrent connections per IP, and to limit the rate at which apache sends data to the client. It includes detection of users behind proxy servers (using the X-Referred-By...
Added: August 24, 2010 | Visits: 621
Lambda project is a Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators (ext). It has the ability to associate names with lambda expressions (def), load definitions from a file (load), and list current definitions (list). Lambda...
Released: August 12, 2012
Added: August 12, 2012 | Visits: 317
CWC Simulator is a C++ implementation of CWC (Calculus of Wrapped Compartments).
This package is basically a rewriting-based calculus for the representation and simulation of biological systems.