Simulation-of-SAR-Imaging-Algorithm
Simulation of SAR imaging algorithms for point targets, including RDA and CSA. It was some work that I did during my graduate studies (Matlab Code). 有关SAR成像算法（主要是 RD 和 C...
LBM
LBM Video: https://youtu.be/NlZlM59YK3w Details: http://dx.doi.org/10.13140/2.1.1606.1120 The following code is provided "as is" as a learning tool for those interested i...
Genesis3D 3D渲染引擎
Genesis3D 是实时3D渲染环境，所有的实时3D的需要。有大量的在线社区，免费网上论坛，许多链接Genesis3D开发商...你会发现所有的支持和工具，您需要 着手开发世界一流的，实时三维应用程序。如...
Archimedes Cocoa 几何函数
Archimedes 是 Cocoa 和 Cocoa Touch 的几何函数。要启动建设此框架，首要要复制此库，然后运行 script/bootstrap。如果你独立运行 Archimedes ，请使用 .xcworkspace，如果你在其他程序中使用 ...
wxMaxima 计算机代数系统软件
wxMaxima是一个基于wxWidgets的计算机代数系统软件。它提供了用户界面，包括菜单系统，阅读帮助和格式化输出。能操纵多项式，矩阵，一体化和图形等。 功能和特点二维格式的数学显示：实现自己的...
IdeaSpace 用于 WebVR 的内容管理系统
IdeaSpace 是一个用于虚拟现实网页的 CMS 内容管理系统。可以像管理博客一样管理你的虚拟现实空间和资源。IdeaSpace 使用 Mozilla 的 A-Frame 来实现主题和空间，提供强大的遵循 Web 标准的标识...
fourd.js 动态图形可视化库
fourd.js 是一个用在浏览器上的动态图形可视化库。稍微调整一下，你就可以用它做出一些几何图形集合，此库已经在 Chrome、Firefox、IE11 上测试运行，有传言说，通过切换 CanvasRenderer，此库...
Coq 证明辅助工具
Coq 是一款交互式证明辅助工具，采用OCaml开发。Coq提供一套证明系统，可以编写证明，检查证明。Coq也提供一套形式化语言，可编写数学算法、定义、定理。Coq也可以用于程序的正确性证明（比如操...
realXtend 3D 虚拟世界开发平台
Tundra 是 3D 脚本化的互联网应用开发平台。它的主要目的是为应用程序开发人员,为创建网络平台3D世界与定制的内容。基于 Qt 和 Ogre3D 开发。
TM++ 主题地图引擎
TM++ 是一个嵌入式，便携式，持续的主题地图引擎。它的目的是工作按照ISO标准TMDM 1.0和XTM 1.0/2.0在Windows和最兼容POSIX操作系统Unix和Linux一样。它的接口为C++, ALLEGROCL, CHICKEN, CLISP...