欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp Science Foundation
来自开放百科 - 灰狐
（版本间的差异）
小 (→科学工程) |
小 (→简介) |
||
| 第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 生态系统 | ||
2022年8月11日 (四) 11:06的版本
Lisp Science Foundation
目录 |
简介
Lisp Science foundation
这里覆盖 Lisp 在科学技术、计算机科学、认知科学、机器人、数学、物理、化学、天文学、航空航天、图像、视频、人工智能、数据科学等以及 STEM 方面的应用基础和成功案例。
Lisp Web Foundation: Lisp Web 生态系统
Lisp Desktop Foundation: Lisp Desktop 生态系统
Lisp Mobile Foundation: Lisp Mobile 生态系统
科学技术
STEM
数学
物理
化学
计算机科学
人工智能
数据科学
机器人
航空航天
图像音视频
案例
图集
Maxima计算机代数系统
Piano飞机分析套件
链接
分享您的观点
