Skip to content

lianghuatiaojiushi/AttentionCalculator

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

12 Commits
 
 
 
 
 
 
 
 

Repository files navigation

注意力计算器.Skill

这是“注意力计算器”的 Skill 版本,用于远程调用 zhuyidao.com/zhuyidao.net上的“注意力计算器”服务,生成关于 eπ 、三角函数等29种类型的不等式的积分证明。

使用方式

安装“注意力计算器.skill" 后,可以直接提问,例如:

用注意力计算器证明 pi > 3
用注意力计算器生成 e < 3 的积分证明

构造积分证明不等式的原理介绍

https://zhuanlan.zhihu.com/p/669285539

注意力计算器 (zhuyidao.com/zhuyidao.net) 介绍

https://zhuanlan.zhihu.com/p/20960679909

注意力计算器.skill介绍

https://zhuanlan.zhihu.com/p/2035023183380746326

About

The attention calculator is used to generate an integral proof.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages