欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp Science Foundation
来自开放百科 - 灰狐
（版本间的差异）
小 (→图集) |
小 (→简介) |
||
| （未显示1个用户的16个中间版本） | |||
| 第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 ecosystem]] | ||
[[Lisp Web Foundation]]: [[Lisp]] Web 生态系统 | [[Lisp Web Foundation]]: [[Lisp]] Web 生态系统 | ||
| 第14行： | 第16行： | ||
[[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)] | ||
==物理== | ==物理== | ||
| 第31行： | 第37行： | ||
*[[Mezzano]] | *[[Mezzano]] | ||
| − | == | + | ==人工智能== |
| + | 人工智能、认知科学、[[machine learning|机器学习]]、[[deep learning|深度学习]] ... | ||
*[[OpenCog]] | *[[OpenCog]] | ||
| − | + | *[https://cyc.com/ Cyc] 是一个致力于将各个领域的本体及常识知识综合地集成在一起，并在此基础上实现知识推理的人工智能项目。 | |
| − | + | ||
==数据科学== | ==数据科学== | ||
| + | *[[pgloader]] | ||
==机器人== | ==机器人== | ||
| 第43行： | 第50行： | ||
==航空航天== | ==航空航天== | ||
| − | == | + | ==图像音视频== |
| + | [[Lisp Desktop Foundation]] | ||
==案例== | ==案例== | ||
| − | [https://lisp-lang.org/success/ Lisp 成功应用] | + | *[https://lisp-lang.org/success/ Lisp 成功应用] |
| + | *[http://www.lispworks.com/success-stories/ LispWorks in Action] | ||
==图集== | ==图集== | ||
<gallery> | <gallery> | ||
| − | image:wxMaxima-windows.png| | + | image:wxMaxima-windows.png|Maxima计算机代数系统 |
| + | image:piano-aircraft-analysis-suite.png|Piano飞机分析套件 | ||
</gallery> | </gallery> | ||
| 第59行： | 第69行： | ||
[[category:mathematics]] | [[category:mathematics]] | ||
[[category:physics]] | [[category:physics]] | ||
| + | [[category:cognitive science]] | ||
| + | [[category:computer science]] | ||
| + | [[category:artificial intelligence]] | ||
| + | [[category:data science]] | ||
[[category:Huihoo Foundation]] | [[category:Huihoo Foundation]] | ||
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飞机分析套件
[编辑] 链接
分享您的观点
