geowebcache 是一个开源地图瓦片缓存服务器，采用Java Servlet 实现。支持多种客户端包括 WMS-C, Google Earth, Google Maps, 以及 Virtual Earth. 一般反应的时间在毫秒级。

Mathomatic是一个小型和便携式计算机代数计算器软件，可以象征性地解决，简化，合并，并比较方程;执行一般复杂的数量和多项式算法;做简单的演算变革等

Blue Gene®/L 超级计算机为科学家提供了一流的计算能力和复杂的数据虚拟化工具，帮助他们深入学科的前沿。了解此项技术如何帮助计算分子生物学家创建蛋白质折叠和错误折叠模拟，以更多好理...

C# Wrapper for muParser 顾名思义就是 muParser 数学表达式解析器的 C# 语言封装版本。

SymPy是一个象征性的操作方案，纯Python写的。其目的是要成为一个全功能的Python代数计算库，同时保持为代码尽可能简单，以便理解和容易扩展。目前，Sympy目前只有1600的代码（包括注释行），其...

The General Algebraic Modeling System (GAMS)是一款数学规划和优化的高级建模系统。 通用代数建模系统(GAMS)是特别为建模线性,非线性和混合整数最优化问题而设计的.本系统对于大型的,复杂的问...

 Digital-Image-WatermarkingDigital Image Watermarking method based on hybrid DWT-HD-SVD Technique: Attacks, PSNR, SSIM, NC AboutWatermarking is identified as a major means to ach...

pt 是用 Go 语言实现的 path tracer 用于渲染各种 3D 模型图。 特征 支持OBJ和STL 支持纹理，凹凸贴图和法线贴图 支持有符号距离场的光线行进 支持从图像切片进行体积渲染 支持各种材料特性 支...

MATLAB on Amazon Web Services (Linux VM) Requirements Before starting, you will need the following: A MATLAB® license that is current on Software Maintenance Service (SMS). For mo...

Regress Pro 是一个用于学习的科学和工业软件，可用于研究光谱椭偏仪或反射计的实验数据。该方案已经制定，主要应用在半导体产业的薄膜测量。软件是合适的，既要确定层的厚度，并确定电介质材料...

Apache SIS 是一个空间的框架，可以更好地搜索，数据聚类，归档，或任何其他相关的空间坐标表示的需要。

Coq 是一款交互式证明辅助工具，采用OCaml开发。Coq提供一套证明系统，可以编写证明，检查证明。Coq也提供一套形式化语言，可编写数学算法、定义、定理。Coq也可以用于程序的正确性证明（比如操...