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»:
Quad2Go Quad2Go is a handy tool for learning about quadrilaterals by generating examples, observing, and experimenting with examples with a view toward forming generalized conjectures
Fit2Go Fit2Go is a linear and quadratic function graphing tool and curve fitter
Maths Terms Mathematics is the study of quantity, structure, space, and change
MobileMaths Best Mathematical Tools and Scientific Applications for Your Mobile Phone
QWERTY Convert QWERTY Convert is a number converting utility and dialer that allows you to convert and dial vanity numbers such as 1-800-FLOWERS from your QWERTY style keyboard found on your blackberry
Math Training Math Training is a fun way to practice your basic arithmetic
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