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:

Math Training Math Training is a fun way to practice your basic arithmetic

MobileMath MobileMath - MobileMath turns your mobile into a calculator supporting many operations such as: evaluate expression, plotting, differentiate & integrate expression...
Supports basic functions of a calculator:
· Operators : +, -, *, /, ^
· Functions : sin, cos, tan, exp, ln...
· Solve equations
· And much more..

Aritm by MOB Aritm trains you in simple mental calculation. This program teaches its users the addition, subtraction, multiplication, and division tables. It employs a very effective method, which makes the process short with these useful tables

Mobile Maths v1.7 1. Professional Calculator 2. Equation Solver 3. Definite Integration 4. Function Solver 5. Linear System Solver 6. Powerful Graph 2D 7. Powerful Graph 3D 8. Powerful Curve Fitting (Regression) 9. Statistics 10. Matrix Operations 11. Interpolation using Cubic Spline 12. Unit Conversion 13. Powerful Periodic Table 14. Powerful Molecular weight calculations 15. Opening files from phone/card memor

Asal Sayilar Asal Sayilar - This application was first developed based on the idea of a PC benchmark that measures the prime number count time between 1 and 250,000, but than prime number check function added. The benchmark is done between 1 and 100,000 instead of 250,000 as it will take too much to complete (About 100 sec

Graphviewer scientific equation solver You can calculate the function inflection points
Multiple functions can be plotted in different colors at once
The intersection points of the different equations are calculated and can be shown

Algeo calculator With Algeo, you can easily plot functions, find their intersections, derivatives, etc. You can solve equations as well. Some other features: calculates Taylor-series, builtin hyprebolic functions, and matrix operations

Scientific Calculator Scientific Calculator - Scientific Calculator for Your Mobile Phone. Use this scientific calculator to evaluate complex
Description
Our scientific calculator enables to you calculate the value of complex expressions directly using your mobile phone

Graph2Go Graph2Go - Graphing calculators are instrumental in teaching and learning mathematics. It is an environment that supports conceptual understanding of functions in general, and school algebra and real analysis in particular. Especially, it enhances connections between graphic and symbolic representations

Comments on Pocket KrHyper:

Comments not found

JavaMobiles - Free Java games download for mobile phones. Java Applications, Software, JAR, Apps for Nokia, Samsung, touch screen, 240x320 screen