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