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»:
Function Grapher Math function graphing tool: renders the graph based on your input equation
mPustakMultiply Mathematics Practice app that lets you learn with a lot of fun!
mPustakDivide Mathematics Practice app that lets you learn with a lot of fun!
mjCalculator Powerful scientific calculator with floating point
MobileMathr Collection of formulas out of mathematics and physics
TouchMaths_ME The program TouchMaths (for touchscreen mobile phones) contain a set of revolutionary mathematical applications (Professional Calculator, Graph 2D, Function solver, Integral solver, Equation solver and Linear system solver)
Math Training Math Training is a fun way to practice your basic arithmetic