Pocket KrHyper

Pocket KrHyper

�?�J2ME手机的定理证�?�库。它支持命�?,第一顺序和描述逻辑中的推理,并且针对移动知识管理或语义网络应用。 ·第一个推理器的手机 ·使用少量资源 ·适合一�?�逻辑和描述逻辑的接口...

阅读更多

PRIMElet

PRIMElet

整数操作的简单应用程序。 支持以下操作: - 因式分解 计算: *除数, *欧拉常数(phi) * Carcmichael的函数(lamda), *检查号码�?�否�?�Carmichael,如果�?�,则�?�示相应的消息, - 原始性测试, - modPower(模幂运算) - modInverse(模�?法逆) - 下一个可能的Prime, - 随机可能Prime, -...

阅读更多

PRIMElet V1.01

PRIMElet V1.01

整数操作的简单应用程序。 支持以下操作: - 因式分解 计算: *除数, *欧拉常数(phi) * Carcmichael的函数(lamda), *检查号码�?�否�?�Carmichael,如果�?�,则�?�示相应的消息, - 原始性测试, - modPower(模幂运算) - modInverse(模�?法逆) - 下一个可能的Prime, - 随机可能Prime, -...

阅读更多

Quad2Go

Quad2Go

与Quad2Go探索特别适合11-12岁的学生。这个年龄的学生的教学几何关注四边形的关键属性和它们之间的层次关系。学习意味着识别关键属性和非关键属性。例如,“四边”,“ “两对平行侧”,“或“两对相等的相对角”�?�平行四边形的一些关键属性; “两个长边和两个短边”或“两个锐角和两个钝角”�?�非关键属性。在这种意义上的学习意味着学习分析不同四边形的属性,区分它们的关键和非关键属性,以及学习四边形之间的等级。...

阅读更多

Ruler

Ruler

这个程序将你的手机�?成一个方便的袖珍标尺,可以测量英寸和�?米。 特征: - �?雅的设计 - 以英寸和�?米为单位 -...

阅读更多