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
Supported operating systems:
Java ME, Java Nokia 240x320, Java SE 240x320
Similar Software:
TouchMaths 7 TouchMaths is a revolutionary mathematical tool for mobile phones. The program is must-have for students, engineers and researchers. TouchMaths program includes many applications with many features. The famous TouchMaths is designed in order to fulfill the needs of everyone (student, engineer, researcher...)
SimulME SimulME is a mobile application with Queueing calculator, Stopwatch, Monte Carlo simulation, Random Number Generator (RNG), Probability distributions, Kolmogorov-Smirnov and Chi-square tests
PRIMElet A simple application for integer operations.
Factorization, Primality Testing, modPower, modInverse, Next Pr. Prime, Random
TouchMaths 8 TouchMaths is a revolutionary mathematical tool for mobile phones. The program is must-have for students, engineers and researchers. TouchMaths program includes many applications with many features. The famous TouchMaths is designed in order to fulfill the needs of everyone (student, engineer, researcher...)
MathPro MathPro is a numerical computing environment and programming language for mobile devices. You can implement any numerical method using this program
mPustakAdd Mathematics Practice app that lets you learn with a lot of fun!
Random Math Table Random Math Table by Girish Padia V 2.00 S60 V5 S^3 Anna Belle J2ME
This application is useful the kids who just learn the mathematics table 1 to 10 and 11 to 20. This will help them to practice on it. don't require data connections
mPustakSubtract Mathematics Practice app that lets you learn with a lot of fun!
Quadratic equation solver free This free application solves a quadratic equation and returns the roots(even imaginary roots)
Other Software by developer «Thomas Kleemann, Alex Sinner»:
not found
Comments on Pocket KrHyper:
Comments not found
If you noted an error or download link is broken, please, report it via this page or use comments.
Please, select device to check if Pocket KrHyper supports it
