Pocket KrHyper is a theorem proving library for J2ME mobile phones. It supports reasoning in propositional, first order, and description logic and is aimed at mobile knowledge management or semantic web applications.
· The first reasoner for mobile phones
· Uses little resources
· Interfaces for clausal first order logic and description logic
Like it? Share with your friends!
Requirements:MIDP 2.0, CLDC 1.0
Other Java Freeware of Developer «Thomas Kleemann, Alex Sinner»:
MultDivTrainer This application gives you multiplication and division mathematical problems in order to train your brain. Set your level of training, and start using the program. The software keeps record of your efficiency/speed
NumBasis NumBasis is a basis tool converter for integer numbers written in any of the main numeration systems (decimal,binary,octal,hexadecimal).It supports large number formats(5-digits hexa,7-digits dec) and fast calculation
Calculus Quick Reference Calculus Quick Reference lists down all the important formulas and evaluation techniques used in calculus which makes it easier for you to memorize and apply them in solving problems
Graphviewer scientific equation solver You can calculate the function inflection points
Multiple functions can be plotted in different colors at once
The intersection points of the different equations are calculated and can be shown
Sketch2Go Sketch2Go is a qualitative graphing tool. Graphs are sketched using seven icons representing constant, increasing, and decreasing functions that change at constant, increasing, or decreasing rates
Maths Training Math Training is a fun way to practice your basic arithmetic. Choose from four signs of math!
SimulME SimulME is a mobile application with Queueing calculator, Stopwatch, Monte Carlo simulation, Random Number Generator (RNG), Probability distributions, Kolmogorov-Smirnov and Chi-square tests
MobileMaths v1.7 Thereas no doubt that Mobilemath is a greatest math apps for symbian s60v5 edition. This math apps really awesome because it has so many function such as equation, Integral, function, Periodic Table, Statistics, Matrics function, Powerful Curve Fitting Regression, Interpolation using Cubic
Arabic129 Learn the Arabic numbers with the help of this simple Java puzzle. Will function on all Jave phones with a display 108*120 or larger