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»:
Edukasiana Mobile Volume 1 Educational Mobile Learning Magazine: Talking about educational articles, math, science, computer/internet. Good for students, teachers etc
mPustakAdd Mathematics Practice app that lets you learn with a lot of fun!
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
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
mPustak Add (320x240 360x640) MPustak Add Hindi is a Mathematics Practice app in Hindi language that helps you learn with a lot of fun Practice simple addition questions and compete against yourself for score and time
Please note that the current version supports 240x320 and 320x240 screen sizes only. For owners of phones with larger screen sizes, we request you to wait for another update to this application
matrixmobile linear equations matrixmobile linear equations application compatible with most java enabled cell phones. It helps you solving systems of linear equations up to 9 unknown, working with matrices (inverse, transpose, multiply)
Complex Numbers Calculator Using the complex numbers calculator the answers to algebra problems covering this topic is only as far as your mobile phone
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..
Graphviewer scientific equation solver You can calculate the function inflection points
Multiple functions can be plotted in different colors at once
The intersection points of the different equations are calculated and can be shown
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