Lisp Science Foundation

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(数学)
(数学)
第22行: 第22行:
 
==数学==
 
==数学==
 
*[[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)]

2022年8月14日 (日) 06:20的版本

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

数学

物理

化学

计算机科学

人工智能

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

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

数据科学

机器人

roslisp for ROS

航空航天

图像音视频

Lisp Desktop Foundation

案例

图集

链接

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

变换
操作
导航
工具箱