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»:
Scientific Calculator Scientific Calculator - Scientific Calculator for Your Mobile Phone. Use this scientific calculator to evaluate complex
Our scientific calculator enables to you calculate the value of complex expressions directly using your mobile phone
Calculus Quick Reference Calculus Quick Reference lists down all the important formulas and evaluation techniques used in calculus which makes it easier for you to memorize and apply them in solving problems
Love-math This fun apps will reinforce basic arithmetic concepts and spark a love for learning math. Don't let your kids waste their time playing on the phone. Have them practicing math instead.In this game you will calculate math examples so quickly as you can. Try to answer the questions correctly and increase the scale of the bonus
Math Training Math Training is a fun way to practice your basic arithmetic
Solve2Go Solve2Go - supports solving equations and inequalities by means of conjectures based on visual thinking. Conjectures can be refuted or supported by examples provided by the tool, and should be proved using symbolic manipulations on paper.
Equations: when we want to know for which values of x the two functions are equal
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
BillSplitter Avoid dealing with percentages and divisions when your brain cells are barely adding up
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
Sketch2Go Sketch2Go - encourages visual exploration of phenomena by providing qualitative indication of the ways in which the sketch drawn by the user changes. The sketch is a diagrammatic representation that attempts to help the viewer focus on the principles rather than on tedious details of the represented phenomenon. Phenomenon can refer to processes outside of mathematics (e
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