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
Featured Mathematical Tool The full versions of MobileMaths program is the most powerful mathematical tools for mobile phones. The programs are must-have for students, engineers and researchers. MobileMaths program includes a lot of applications
Greenfish Plot Greenfish Plot - This program is an advanced curve plotting application for mobile Java devices. It supports plotting multiple explicite, polar or parametric function curves. It can also perform numeric calculations such as calculating the value, derivative, integral, roots, minimum or maximum of a given function
MobileMathr Collection of formulas out of mathematics and physics. The special feature is that the application can calculate the formulas
Jasymca Jasymca - Jasymca is a symbolic calculator. It solves and manipulates equations, handles basic calculus problems, and provides a few more typical functions of computer algebra systems. The syntax is loosely related to GNU-Maxima. While it is fun to play with mobile devices, it teaches the use of computer algebra systems, and may even be used to solve some real world problems
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...)
TouchMaths 5 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...)
sodBrain MathEasy Free SodBrain MathEasy is a brain-trainer, a free java-based mobile application that allows you to accelerate your brain by solving basic mathematical and logical problems. (English and French Versions)
Bloft Bloft (BLobby and sOFT) is a 2D physics engine for J2ME phones with MIDP support. It supports soft bodies only in contrast with the DyMiX Engine. The soft body is a body which can be deformed - like a gummy ball or a plastic bag filled with liquid for example
Trigonometry Trigonometry - Trigonometry is a branch of mathematics which deals with triangles, particularly triangles in a plane where one angle of the triangle is 90 degrees (right angled triangles), and a variety of other topological relations such as spheres, in other branches, such as spherical trigonometry
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
