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