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»:
Numbers Teach to your kids with this simple app...Enjoy
mPustakMultiply Mathematics Practice app that lets you learn with a lot of fun!
MobileMathr Collection of formulas out of mathematics and physics
Linalgo Linalgo offers basic functionality for linear algebra, such as determinant, rank, matrix addition and multiplication, inverse matrix, LU-Decomposition as well as solving linear systems
Sketch2Go Sketch2Go is a qualitative graphing tool. Graphs are sketched using seven icons representing constant, increasing, and decreasing functions that change at constant, increasing, or decreasing rates
MobileMaths v1.7 Thereaˆs no doubt that Mobilemath is a greatest math apps for symbian s60v5 edition
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