Mental Arithmetic - Intelligent mental arithmetic coach
Pick up tips for calculating sums in your head, and practice them until they are instinctive.
Mental Arithmetic learns your areas of weakness, and asks randomly generated questions from a large number of categories, increasing in difficulty. The application is aimed at adults
Mind Maths - Mind Math's is the new stand-alone maths program for the Palm Pilot.
There are eight levels from the beginner, to the more advanced mind to complete.
Just choose the category that best suits your skill
Multiplication Solar System is a math multiplication tutorial program for 7-9 year olds. Solve multiplication problems to blast off to planets in the solar system
N2 Neural Network - N2 is a neural network for the Palm. N2 requires MathLib.
N2 has the following characteristics:
- Transfer Function = Sigmoid range from -0.5 to 0.5
- Momentum = 0.9
- Number of Input Units = 2
- Number of Hidden Units = 2
- Number of Output Units = 1
N2 has four training patterns. Each pattern consists of two input units and one output unit
PawLogic is a program for manipulating boolean expressions. The program handles both expressions in propositional logic and quantified boolean formulae (QBF).
Logic is widely used today. It forms the basis of mathematical proof methods. It is used in formal verification like symbolic model checking and equivalence checking of combinational and sequential circuits