PawLogic PawLogic is a program for manipulating boolean expressions. The program handles both expressions in propositional logic and quantified boolean formulae (QBF).
Logic is widely used today. It forms the basis of mathematical proof methods. It is used in formal verification like symbolic model checking and equivalence checking of combinational and sequential circuits
Digits of Pi Digits of Pi is a simple app that displays the first 100 decimal digits of pi right in the palm of your hand.
It has a simple, uncluttered screen which makes the viewing even easier.
You can view the digits of this mystical number anywhere, anytime!
It is useful for mathematicians, scientists, students, teachers, etc
BaseConv BaseConv is a small tool for real-time conversion of numbers from and to decimal, octal, binary and hexadecimal
RPN CalcSeries Poly-Math Calculator RPN CalcSeries Poly-Math Calculator - This calculator solves polynomial equations with real coefficients of degree 5 and below. All roots (REAL and COMPLEX), maximum/minimum and inflection points are also calculated. The polynomial itself, its first and second derivatives can be plotted in GRAPHS or displayed in LISTS
Linear Algebra Quick Study Guide (Palm OS) Linear Algebra Quick Study Guide (Palm OS) - Boost Your grades with this illustrated quick-study guide. You will use it from college to graduate school and beyond. Intended for everyone interested in Math and Science, particularly undergraduate and graduate students.
Table of Contents:
I
Geometry Geometry - School students will find this geometric application helpful. Find the area, volume and perimeter of basic geometric figures. Triangles, cubes, rectangles, cylinders, spheres and other figures
Other Software by developer «AQ Software»:
MagicDB MagicDB is a program that allows you to keep track of your Magic Cards.
Magic Cards are a collectible cards issued by Wizards of the Coast.
This program was not sponsored by Wizards of the Coast and does not in any way relate to this company.
MagicDB requires PocketC Runtime to run
