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»:
Function Grapher Function Grapher - Math function graphing tool: renders the graph based on your input equation. examples: 2x^2, sin(x) instructions: Press 'select' button to enter a equation then press 'Graph'(left soft key) to render the graph in screen version: 1.0
TouchMaths TouchMaths - The full version of TouchMaths programm (for touchscreen mobile phones) is a revolutionary mathematical tool for mobile phones. The program is must-have for students, engineers and researchers
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
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
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
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
MultDivTrainer This application gives you multiplication and division mathematical problems in order to train your brain. Set your level of training, and start using the program. The software keeps record of your efficiency/speed
Graph (Java) Graph calculates mathematical expressions and draws function graphs on the screen of J2ME mobile devices
Edukasiana Mobile Volume 1 Educational Mobile Learning Magazine: Talking about educational articles, math, science, computer/internet. Good for students, teachers etc
Algeo calculator With Algeo, you can easily plot functions, find their intersections, derivatives, etc. You can solve equations as well. Some other features: calculates Taylor-series, builtin hyprebolic functions, and matrix operations
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