欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Lisp Science Foundation
来自开放百科 - 灰狐
（版本间的差异）
小 (→数学) |
小 (→STEM) |
||
| （未显示1个用户的2个中间版本） | |||
| 第19行： | 第19行： | ||
*[[Racket]] | *[[Racket]] | ||
*[[MIT/GNU Scheme]] | *[[MIT/GNU Scheme]] | ||
| + | *[[Common Lisp]] | ||
==数学== | ==数学== | ||
| + | 用 [[Lisp]] 去更多表示、表征、表现数学，维护开发更多的数学基础库、框架和应用。 | ||
*[[Maxima]] | *[[Maxima]] | ||
| + | *[https://www.cliki.net/Theorem%20Provers Theorem Provers in Common Lisp] | ||
*[[ACL2]] [[Formal verification]] | *[[ACL2]] [[Formal verification]] | ||
*[https://pvs.csl.sri.com/ Prototype Verification System (PVS)] | *[https://pvs.csl.sri.com/ Prototype Verification System (PVS)] | ||
2022年10月3日 (一) 13:18的最后版本
Lisp Science Foundation
目录 |
[编辑] 简介
Lisp Science foundation
这里覆盖 Lisp 在科学技术、计算机科学、认知科学、机器人、数学、物理、化学、天文学、航空航天、图像、视频、人工智能、数据科学等以及 STEM 方面的应用基础和成功案例。
Lisp Web Foundation: Lisp Web 生态系统
Lisp Desktop Foundation: Lisp Desktop 生态系统
Lisp Mobile Foundation: Lisp Mobile 生态系统
[编辑] 科学技术
[编辑] STEM
[编辑] 数学
用 Lisp 去更多表示、表征、表现数学，维护开发更多的数学基础库、框架和应用。
[编辑] 物理
[编辑] 化学
[编辑] 计算机科学
[编辑] 人工智能
[编辑] 数据科学
[编辑] 机器人
[编辑] 航空航天
[编辑] 图像音视频
[编辑] 案例
[编辑] 图集
Maxima计算机代数系统
Piano飞机分析套件
[编辑] 链接
分享您的观点
