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:
sodBrain MathEasy 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
operation matrix Always had trouble with those difficult matrices sums?
here's help-operation matrix!
that performs matrix operations for you
Graph (Java) Graph calculates mathematical expressions and draws function graphs on the screen of J2ME mobile devices
Math for Kids - Arabic Math for Kids - Arabic - Welcome to AL KALAM mobile application. You can using this application for learn 1, 2, 3 in arabic. Have fun learning with AL KALAM mobile application. for another application please download from http://m.alkalam.asia. use AL KALAM, for listing the product of AL KALAM. Learn and play, highly recommended by education experts
Simple Scientific Calculator Basic arithmetic operation, trigonometric function, solve linear and quadratic 2 and 3 variable
BrainBooster Train your brain with this simple maths and time it to beat your own record
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
TouchMaths_ME The program TouchMaths (for touchscreen mobile phones) contain a set of revolutionary mathematical applications (Professional Calculator, Graph 2D, Function solver, Integral solver, Equation solver and Linear system solver)
TVH-72g Graphing Calculator TVH-72g Graphing Calculator - TVH-72g Graphing Calculator is a low-cost introductory & disposable graphing calculator for the educational use of schools and students who may have difficulty, are unable or may not wish to acquire a stand-alone feature-laden graphing calculator
Graph Creator 3D Scientific Calculator 240*400 Graph Creator 3D Scientific Calculator 240*400 - It is the best mobile software i have ever used...
it is fullscreen and works great...
It can create graph of any function and even has many example graphs.
It has a scientific calculator also
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
