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»:
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 for Kids - English Welcome to AL KALAM mobile application. You can using this application for learn 1, 2, 3 in English. Have fun learning with AL KALAM mobile a
Scientific Calculator Our scientific calculator enables you to calculate the value of complex expressions directly using your mobile phone
Maths Terms Mathematics is the study of quantity, structure, space, and change
Algeo calculator With Algeo, you can easily plot functions, find their intersections, derivatives, etc. You can solve equations as well. Some other features: calculates Taylor-series, builtin hyprebolic functions, and matrix operations
TouchMaths The program TouchMaths (for touchscreen mobile phones) contain a set of revolutionary mathematical applications
Aritm by MOB Aritm trains you in simple mental calculation. This program teaches its users the addition, subtraction, multiplication, and division tables. It employs a very effective method, which makes the process short with these useful tables
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