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»:
Asal Sayilar Little app to check whether a number is a prime number, to count the number of prime numbers between two numbers, to benchmark your device
operation matrix Always had trouble with those difficult matrices sums?
here's help-operation matrix! that performs matrix operations for you
TouchMaths 5 Powerful mathematical tool for mobiles with touchscreens
MobileMaths Best Mathematical Tools and Scientific Applications for Your Mobile Phone
Solve2Go Solve2Go supports solving equations and inequalities conjectures based on visual thinking
mPustakSubtract Mathematics Practice app that lets you learn with a lot of fun!
Function Grapher Math function graphing tool: renders the graph based on your input equation