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»:

Not found

Similar Applications:

Matrix MATRIX multiplication to calculate square , cube , Inverse of a matrix ,Eigen Values , Derogatory Matrix

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

operation matrix Always had trouble with those difficult matrices sums?
here's help-operation matrix! that performs matrix operations for you

Trigonometry Trigonometry is a branch of mathematics which deals with triangles. It specifically deals with the relationships between the sides and the angles of triangles

Function Grapher Math function graphing tool: renders the graph based on your input equation

PRIMElet A simple application for integer operations.
Factorization, Primality Testing, modPower, modInverse, Next Pr. Prime, Random

Distancia It calculates the distance among two geographical coordinate

Complex Numbers Calculator Using the complex numbers calculator the answers to algebra problems covering this topic is only as far as your mobile phone

Dec2Bin Converter binary number to decimal;
Converter decimal number to binary;