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:
Complex Numbers Calculator Using the complex numbers calculator the answers to algebra problems covering this topic is only as far as your mobile phone
mPustakSubtract Mathematics Practice app that lets you learn with a lot of fun!
Distancia It calculates the distance among two geographical coordinate
MobileMath MobileMath - MobileMath turns your mobile into a calculator supporting many operations such as: evaluate expression, plotting, differentiate & integrate expression...
Supports basic functions of a calculator:
· Operators : +, -, *, /, ^
· Functions : sin, cos, tan, exp, ln...
· Solve equations
· And much more..
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
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
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
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
Graph (Java) Graph calculates mathematical expressions and draws function graphs on the screen of J2ME mobile devices
Melodies Bgn ruang This application help you to calculate volume of cylinder,sphere, and cone
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
