Maple4小巧的符号计算软件 近30年来,Maplesoft一直是世界上提供前沿的、高性能的数学工具包的主要提供者之一,依靠世界上最大的数学研究团体,提供世界最前沿的计算算法。世界上最强大的符号计算,集成无与伦比的数值计算;大量世界领先的算法,能够处理工业级工程问题;提供丰富的图形和动画功能;自然、完整、高效的程序语言;广泛的连
Java版几何专家软件JGEX 自从世界著名的科学家吴文俊1977年的开创性工作以来,世界各地的研究人员已经在几何定理证明领域里面取得了卓越的成果。基于吴氏算法的计算机程序已经自动证明了成百上千个难的几何定理,例如费而巴赫定理,莫莱三分线定理,等等,而这些定理通常是需要人的高度智慧来解决的。 几何专家软件最初是在1994-95是