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»:
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).
Graph (Java) Graph calculates mathematical expressions and draws function graphs on the screen of J2ME mobile devices
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)
Quad2Go Quad2Go - Explorations with Quad2Go are especially appropriate for 11-12 year old students. Teaching geometry to students of this age focuses on the critical attributes of quadrilaterals and on the hierarchical relations among them. Learning means identifying critical attributes and non-critical attributes
Ruler This app turn your Phone into a handy pocket ruler that can measure in both inches and centimeters.
- Elegant design
- Measure in inches and centimeters
Calculus Quick Reference Calculus Quick Reference lists down all the important formulas and evaluation techniques used in calculus which makes it easier for you to memorize and apply them in solving problems
Fit2Go Fit2Go supports exploration and modeling activities. It supports data collection by proposing a model that can appropriately describe the user's data. The tool highlights the numeric aspects of a phenomenon. Together, Sketch2Go and Fit2Go provide a comprehensive view of models and modeling
MobileMaths v1.7 Thereas no doubt that Mobilemath is a greatest math apps for symbian s60v5 edition. This math apps really awesome because it has so many function such as equation, Integral, function, Periodic Table, Statistics, Matrics function, Powerful Curve Fitting Regression, Interpolation using Cubic
Arabic129 Learn the Arabic numbers with the help of this simple Java puzzle. Will function on all Jave phones with a display 108*120 or larger
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