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變量。... 閱讀更多