全部搜索项
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ 源代码: axiom  ]

软件包:axiom-test(20170501-12)

axiom-test 的相关链接

Screenshot

Debian 的资源:

下载源码包 axiom

维护者:

相似软件包:

General purpose computer algebra system: regression test inputs

Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler.

Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software.

Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions.

This package contains input files for Axiom's regression test suite.

标签: 软件开发: 测试与品管, 领域: 数学, 用户接口: interface::text-mode, role::app-data, 角色: 程序

其他与 axiom-test 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 axiom-test

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
all 9,736.5 kB131,289.0 kB [文件列表]