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:
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
MobileMathr Collection of formulas out of mathematics and physics. The special feature is that the application can calculate the formulas
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
Maths Terms Maths Terms - Mathematics is the study of quantity, structure, space, and change. Mathematicians seek out patterns, formulate new conjectures, and establish truth by rigorous deduction from appropriately chosen axioms and definitions
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
TouchMaths 10 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...)
Numbers Teach to your kids with this simple app...Enjoy
BrainBooster Train your brain with this simple maths and time it to beat your own record
Quad2Go Quad2Go - Explorations with Quad2Go are especially appropriate for 11-12 year old students. Teaching geometry to students of this age focuses on the critical attributes of quadrilaterals and on the hierarchical relations among them. Learning means identifying critical attributes and non-critical attributes
