Lisp Science Foundation

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(数学)
(数学)
第21行: 第21行:
  
 
==数学==
 
==数学==
 +
用 [[Lisp]] 去更多表示、表征、表现数学,维护开发更多的数学基础库、框架和应用。
 
*[[Maxima]]
 
*[[Maxima]]
 
*[https://www.cliki.net/Theorem%20Provers Theorem Provers in Common Lisp]
 
*[https://www.cliki.net/Theorem%20Provers Theorem Provers in Common Lisp]

2022年9月19日 (一) 02:24的版本

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

案例

图集

链接

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

变换
操作
导航
工具箱