• 雅典娜

  • 29篇参考文献[SW0847 7]
  • 雅典娜是一个基于网格的天体物理磁流体力学(MHD)代码。它主要是…星际介质、恒星形成和吸积流。雅典娜已免费提供…
  • 雅典娜

  • 10篇参考文献[SW09667 ]
  • 雅典娜是一个编程语言和一个交互式定理证明环境。程序设计语言,雅典娜在传统的方案中是一种高阶函数语言…效率。作为定理证明系统,雅典娜是基于许多排序的一阶逻辑…建模单一排序逻辑的笨拙。雅典娜将Hindley Milner风格多态性添加到许多排序中…
  • ExpExcel

  • 11篇参考文献[SW04390]
  • 特别是横流的COSA工作流和Pallas。雅典娜的原型模型…
  • 开口器

  • 10篇参考文献[SW20616]
  • OpenMEEG软件是在雅典娜项目团队在索菲亚,NTIPOLIS…
  • 飞马星座

  • 7篇参考文献[ SW18068 ]
  • 用于流行的天体物理磁流体动力学代码雅典娜一个是模块化的,文档化的,简单的…
  • 雅典娜

  • 3篇参考文献[SW29 717]
  • 雅典娜自动化工具的硬件评估是一个项目开始于乔治梅森大学,旨在…
  • RGHO

  • 1篇参考文献[SW18692]
  • www. in /goo/>通过R的数据雅典娜Web服务一个应用程序…