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»:
Love-math This fun apps will reinforce basic arithmetic concepts and spark a love for learning math. Don't let your kids waste their time playing on the phone. Have them practicing math instead.In this game you will calculate math examples so quickly as you can. Try to answer the questions correctly and increase the scale of the bonus
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.
What's New in This Release:
· Migrated from NetBeans to pure source code.
· Matrices can be edited in ONE window. No switching is needed to change a value anymore
PRIMElet A simple application for integer operations.
Factorization, Primality Testing, modPower, modInverse, Next Pr. Prime, Random
Dec2Bin Converter binary number to decimal;
Converter decimal number to binary;
PRIMElet V1.01 A simple application for integer operations.
Factorization, Primality Testing, modPower, modInverse, Next Pr. Prime, Random Pr. Prime, GCD
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)