欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp Science Foundation
来自开放百科 - 灰狐
（版本间的差异）
小 (→数学) |
小 (→简介) |
||
| （未显示1个用户的3个中间版本） | |||
| 第7行： | 第7行： | ||
这里覆盖 Lisp 在[[science|科学]]技术、[[Computer science|计算机科学]]、[[认知科学]]、[[Robot|机器人]]、[[mathematics|数学]]、[[physics|物理]]、化学、天文学、[[航空航天]]、[[computer graphics|图像]]、[[computer vision|视频]]、[[Artificial intelligence|人工智能]]、[[data science|数据科学]]等以及 [[STEM]] 方面的应用基础和成功案例。 | 这里覆盖 Lisp 在[[science|科学]]技术、[[Computer science|计算机科学]]、[[认知科学]]、[[Robot|机器人]]、[[mathematics|数学]]、[[physics|物理]]、化学、天文学、[[航空航天]]、[[computer graphics|图像]]、[[computer vision|视频]]、[[Artificial intelligence|人工智能]]、[[data science|数据科学]]等以及 [[STEM]] 方面的应用基础和成功案例。 | ||
| + | |||
| + | [[Lisp ecosystem]] | ||
[[Lisp Web Foundation]]: [[Lisp]] Web 生态系统 | [[Lisp Web Foundation]]: [[Lisp]] Web 生态系统 | ||
| 第19行： | 第21行： | ||
*[[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)] | ||
2024年12月12日 (四) 08:39的最后版本
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飞机分析套件
[编辑] 链接
分享您的观点
