Java Geometry Expert几何专家
《几何专家》提供了几何动态图形变换与板块操作,可以自动证明定理,并产生简单、漂亮的证明过程,还可以自动发现几何图形的丰富性质。自从吴文俊教授七十 年代末提出几何定理自动证明的吴方法以来,中国学者在这方面的研究可谓异彩纷呈,成果累累,屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形, 可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器,《几何专家》使用作者的获奖研究成果,不仅可以证明大部分平面几何定理、产生 简短可读的证明,还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以帮助使用者解决难题、还可以教会使用者 解题的方法。
评论
Apache Commons Geometry用于几何处理的通用 Java 库
ApacheCommonsGeometry是一个用于几何处理的通用Java库。该项目的主要目标是提供一组几何类型和实用程序:在数学上是正确的数值上是准确的易于使用优良性能该代码起源于 commons-
Apache Commons Geometry用于几何处理的通用 Java 库
0
Apache Commons Geometry用于几何处理的通用 Java 库
Apache Commons Geometry 是一个用于几何处理的通用 Java 库。该项目的主要
Apache Commons Geometry用于几何处理的通用 Java 库
0
Custom Geometry
ResizesandpositionstheFirefoxwindowaccordingtoyoursettings.已更新2008年07月20日
Custom Geometry
0
Drools Expert规则引擎
DroolsExpert是Drools平台上的一个规则引擎,主要的功能包括有:FullAsymmetricalReteImplementation--withhighperformanceindexi
Drools Expert规则引擎
0
隐身专家
使用隐身专家,按下鼠标中键隐藏桌面上所有窗口,隐身专家还可以隐藏托盘图标。使用隐身专家聊QQ不怕被别人发现,挂游戏不怕被别人发现,使用炒股软件不怕别人发现,看新闻,干私活不怕别人发现。隐身专家是目前功
隐身专家
0