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»:
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
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
Ruler This app turn your Phone into a handy pocket ruler that can measure in both inches and centimeters.
- Elegant design
- Measure in inches and centimeters
QWERTY Convert QWERTY Convert is a number converting utility and dialer that allows you to convert and dial vanity numbers such as 1-800-FLOWERS from your QWERTY style keyboard found on your blackberry
Maths Terms Mathematics is the study of quantity, structure, space, and change
mPustakMultiply Mathematics Practice app that lets you learn with a lot of fun!
mathGame Mathematic game for student and general by indonesiasoftware.com
MobileMaths v1.7 Thereas no doubt that Mobilemath is a greatest math apps for symbian s60v5 edition. This math apps really awesome because it has so many function such as equation, Integral, function, Periodic Table, Statistics, Matrics function, Powerful Curve Fitting Regression, Interpolation using Cubic
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