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»:
TouchMaths 5 Powerful mathematical tool for mobiles with touchscreens
Matrix MATRIX multiplication to calculate square , cube , Inverse of a matrix ,Eigen Values , Derogatory Matrix
Equation Solver Equation Solver is intended to solve systems of linear algebraic equations with real coefficients of the second and third order (with two and three unknown)