Pocket KrHyper 20 Jun 11 在 科学教育, 数学 ?J2ME手机的定理证?库。它支持命?,第一顺序和描述逻辑中的推理,并且针对移动知识管理或语义网络应用。 ·第一个推理器的手机 ·使用少量资源 ·适合一?逻辑和描述逻辑的接口... 阅读更多
PRIMElet 17 May 11 在 科学教育, 数学 整数操作的简单应用程序。 支持以下操作: - 因式分解 计算: *除数, *欧拉常数(phi) * Carcmichael的函数(lamda), *检查号码?否?Carmichael,如果?,则?示相应的消息, - 原始性测试, - modPower(模幂运算) - modInverse(模?法逆) - 下一个可能的Prime, - 随机可能Prime, -... 阅读更多
PRIMElet V1.01 17 May 11 在 科学教育, 数学 整数操作的简单应用程序。 支持以下操作: - 因式分解 计算: *除数, *欧拉常数(phi) * Carcmichael的函数(lamda), *检查号码?否?Carmichael,如果?,则?示相应的消息, - 原始性测试, - modPower(模幂运算) - modInverse(模?法逆) - 下一个可能的Prime, - 随机可能Prime, -... 阅读更多
Quad2Go 28 Apr 11 在 科学教育, 数学 与Quad2Go探索特别适合11-12岁的学生。这个年龄的学生的教学几何关注四边形的关键属性和它们之间的层次关系。学习意味着识别关键属性和非关键属性。例如,“四边”,“ “两对平行侧”,“或“两对相等的相对角”?平行四边形的一些关键属性; “两个长边和两个短边”或“两个锐角和两个钝角”?非关键属性。在这种意义上的学习意味着学习分析不同四边形的属性,区分它们的关键和非关键属性,以及学习四边形之间的等级。... 阅读更多
Simple Scientific Calculator 20 Apr 11 在 科学教育, 数学, 计算器 这?一个简单的科学计算器,可以执行基本的算术运算,如+, - ,*,/和一些三角函数,如sin,cos,tan,并求解线性和二次方程与2或3?量。... 阅读更多