Lisp Science Foundation

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(简介)
(STEM)
 
(未显示1个用户的3个中间版本)
第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)]
  
 
==物理==
 
==物理==

2022年10月3日 (一) 13:18的最后版本

Lisp Science Foundation

Made-with-lisp.jpg

目录

[编辑] 简介

Lisp Science foundation

这里覆盖 Lisp 在科学技术、计算机科学认知科学机器人数学物理、化学、天文学、航空航天图像视频人工智能数据科学等以及 STEM 方面的应用基础和成功案例。

Lisp Web Foundation: Lisp Web 生态系统

Lisp Desktop Foundation: Lisp Desktop 生态系统

Lisp Mobile Foundation: Lisp Mobile 生态系统

[编辑] 科学技术

[编辑] STEM

[编辑] 数学

Lisp 去更多表示、表征、表现数学,维护开发更多的数学基础库、框架和应用。

[编辑] 物理

[编辑] 化学

[编辑] 计算机科学

[编辑] 人工智能

人工智能、认知科学、机器学习深度学习 ...

  • OpenCog
  • Cyc 是一个致力于将各个领域的本体及常识知识综合地集成在一起,并在此基础上实现知识推理的人工智能项目。

[编辑] 数据科学

[编辑] 机器人

roslisp for ROS

[编辑] 航空航天

[编辑] 图像音视频

Lisp Desktop Foundation

[编辑] 案例

[编辑] 图集

[编辑] 链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱