排序
Choco-solver 用于约束编程的开源 Java 库
Choco-solver 是一个用于约束满足问题(Constraint Satisfaction Problems)和约束规划(Constraint Programming)的 Java 库。 它建立在一个可回溯结构的,基于事件的传播机制上。 ...
Windows Calculator Windows 计算器
Windows Calculator 是一个用 C++ 编写的现代 Windows 应用,预装在 Windows 中。其提供了标准、科学和程序员计算器模式与相应功能,以及各种度量单位和货币之间的一组转换器。 源码库中包含 Ca...
GPOPS MATLAB工具箱
GPOPS是一个可以进行大规模非线性优化的MATLAB工具箱. Gauss Pseudospectral Optimization Software(GPOPS) is a MATLAB program for solving non-sequential multiple-phase optimal control p...
Java Algebra System
Java 的代数系统(的JAS )是一个面向对象,类型安全的,多线程的方法,计算机代数。JAS 提供了一个精心设计的软件库,使用通用类型的代数运算执行 Java 编程语言。该类库可以用作任何其他 Java...
Xmacs GNU TeXmacs 发行版
Xmacs是基于GNU TeXmacs某个版本定制的发行版。GNU TeXmacs是为科学家们或者说科技工作者们设计的科技编辑平台。而Xmacs致力于成为一个能够编辑编辑代码和轻量级标记语言的结构化编辑器。 Xmacs...
Canola 可编程计算器
Canola 1614P 是佳能(Canon)在 1971 年推出的一款可编程桌面计算器,而 “Canola” 也是这款经典硬件的一个软件仿真器的名称,它让这款具有历史意义的计算器得以在今天的计算机上运行。特性维...
ScalaNLP 机器学习和数学计算库
ScalaNLP 是一组 Scala 的机器学习和数学计算库。包含了很多库的封装。示例代码:scala> x(0) Double = 0.0 scala> x(1) = 2 scala> x breeze.lin...










