RIES-找到代数方程及其解
快速链接
最近的更改
RIES源代码（标题注释中的构建说明）， MSAL（可选数学函数独立库）, Windows包装器（带说明）, 后缀分析器,和许可证:RIES许可证（GPL v3）.
RIES配置文件（设置文件）: 拉丁语, 数学软件
手动: PDF格式, PostScript（后置脚本）, 普通ASCII, 来源（nroff）,和许可证：FDL 1.3（FDL 1.3）
RIES在xkcd上发布周三2012.0425...
……这是((7√π+1/2× π)2× π)2
要使用RIES，您必须下载源代码（上面的链接）并在自己的计算机上编译它。
目录
概述
RIES配置文件
基准
搜索受限类的解
RIES背景和理念
动机和历史
算法
确切答案不太可能
优化双向搜索
源代码
近似多个未知
受限类搜索的详细示例
搜索整数解
搜索Rational解决方案
寻找“可构建”的解决方案
寻找代数解
变更-一个选项
周的“闭式”或“指数对数”数字
刘维尔数
基本数字
讨厌的数学技巧
“经典”近似
神秘的宿命
四四
密码
51区
Matrix博士的来访
半认真的数学技巧
形式假设
胡乱猜测
连续精炼
被遗忘的身份
坏掉的计算器
启发性发现
调试
科尔莫戈洛夫复杂性
2013年Pi日的一些例子
2015年圆周率日的一些例子
细节与惊喜
RIES算法的详细示例
更改符号集的效果
链接
另请参见
概述
里斯（或RIES，缩写为RILYBOT公司反向公式求解器)取任意数字并生成方程式列表近似解为该数字，如下例所示：
bash#ries 2.5063 您的目标值：T=2.5063 mrob.com/ries 2 x=5 x=T-0.0063{49}8 x=e ^3，x=T+0.00439212｛66｝x^2=2pi，对于x=T+0.000328275{55}x^x=1+9，对于x=T-0.000115854{69}（x-1）^2=x的tanpi（1/e）=T+0.000108368{75}x=T时，x ^2+e=9+3.56063e-05｛63｝ln（6）x=sqrt（pi）+e，对于x=T+2.73037e-05{93}x/4+1=4“/7，对于x=T+6.24679e-06{91}ln（sqrt（x）-1）=-（φ/3）对于x=T+1.4647e-06{97}1/（1-ln（x））=（1/e+pi）^2对于x=T-3.89197e-07{106}x+e“/4=7-sqrt（8），对于x=T-3.26098e-07{109}x+pi/8=8 cospi（φ），对于x=T+3.89451e-08{111}1/（2-x）+1=cospi（7“/φ），对于x=T+6.16902e-09{116}x+1/e^（1/x）=5^（e-2）对于x=T-2.25977e-09{118}xsqrt（φx）=2（pi-1/φ），对于x=T-1.71971e-09{126}（要获得更多结果，请使用选项'-l3'） e=自然对数的基数，2.71828…cospi（X）=cos（pi*X）ln（x）=自然对数或对数基数e tanpi（x）=tan（pi*x）phi=黄金比率，（1+sqrt（5））/2sqRT（x）=平方根A“/B=B的A根pi=3.14159。。。 --左侧--右侧--总计-最大复杂性：67 61 128死端：2848836 4250702 7099538 CPU时间：0.296表达式：228357 318227 546584独特：111700 89860 201560内存：12608KiB 测试的总方程式：10037362000（1.004e+10）
请注意，答案是通过增加与给定数字的接近程度来排序的。显而易见，最简单的方程式往往排在第一位稍后会出现更复杂的问题。里斯遵循以下示例连分数-当你使用更长的方程时，你会得到更接近的结果近似于您的数字，并且每个近似值都是最接近的具有这种“复杂性”的方程的近似值。
里斯高度可定制。您可以让它省略函数和符号（如正弦和余弦函数，或φ，黄金比例）它们在解决方案中。您可以给它一个整数并指定将其搜索限制为精确整数的计算，它会找出从中构造数字的最短方法数字1到9。如果你想要容易颠倒的解决方案，你可以指定只有一个x个在左侧，省略比如“x个-罪(x个)".里斯能找到最简单的方法示例）表达价值27只使用数字4四个基本操作符加、减、乘和除。
里斯配置文件
通常需要使用多个里斯选项，并在许多不同的命令中使用相同的选项。为了方便这一点，里斯支持使用-第页选项。配置文件是包含一个或多个的文本文件里斯命令行选项，具有任意间距和可选注释由“#”字符分隔。下面是一个示例：
#所有旧ries行为的旧.ries配置文件--三参数刻度1#弧度-NT#旧RIES没有正切函数-l1#默认搜索级别为-l1--显著性丢失边缘15#没有信号丢失检查
如果此文件位于当前目录中，则添加选项-波兰（或--包括旧的.ries)将给出几乎相同的结果2012年之前版本的结果里斯.
请注意，您可以覆盖概要文件中的选项：命令系列1.2345-金币系列-l2覆盖-l1级中的选项旧.ries通过提供选项-第二语言.
搜索受限类的解
里斯很容易将搜索限制在某些定义明确的范围内数字、表达式和方程式的类型。两个流行的例子是有理数和代数数.此表总结了选项；每列顶部都有一个链接到一节，详细介绍如何里斯处理特定类型的数量；一Y（Y）表示此行中的数字由里斯使用列顶部的选项：
|
|
里斯选项 | -我 | -第页 | -c（c） | -一个 | -公牛 | -我 | - | 不适用
| | 数字类型 | 积分
| 理性的
| 可建造的
| 代数的
| Chow的
“封闭式”
| 利乌维尔
| 初级的 | 真实的 | |
目标
| 整数，例如。
1729 | Y（Y） | Y（Y） | Y（Y） | Y（Y） | Y（Y） | Y（Y） | Y（Y） | - | 理性，例如。
7/27 ≈ 0.259259... | - | Y（Y） | Y（Y） | Y（Y） | Y（Y） | Y（Y） | Y（Y） | - | 闭式二次型，例如。
√(2+√三) ≈ 1.93185165257814 | - | - | Y（Y） | Y（Y） | Y（Y） | Y（Y） | Y（Y） | - | 闭式代数，例如。
（2+√三)(1/3)≈ 1.55113351807125
的根x个三+x个-3=0 ≈ 1.21341166276223
的根x个4+x个-3=0 ≈ 1.16403514028977
| - | - | - | Y（Y） | Y（Y） | Y（Y） | Y（Y） | - | 隐式代数，例如。
的根x个5-x个+1=0 ≈ -1.16730397826142 | - | - | - | Y（Y） | - | Y（Y） | Y（Y） | - | 闭式代数、指数和/或对数，例如。
√2√2≈ 1.63252691943815
e（电子）2(1/Φ)≈ 4.64031500910231 | - | - | - | - | Y（Y） | Y（Y） | Y（Y） | - | 隐式定义的代数、指数和/或对数，例如。
的根x个x个-7=0 ≈ 2.31645495878561
的根x个+e（电子）x个=0 ≈ -0.567143290409784
的根x个-cos（πx个)=1 ≈ 0.623032990606725 | - | - | - | - | - | - | Y（Y） | - | 先验的，例如。
伽马[1/3]≈2.67893853470774 | - | - | - | - | - | - | - | - | |
有关如何使用的更多信息里斯对于每种类型的问题，选择链接：积分, 理性的, 可建造的, 代数的, 周氏
“封闭式”, 利乌维尔、和 初级的.
. . .转到第2页. . .最后一页（第6页）
内容：里斯概述 基准
历史 讨厌的数学技巧 半认真的数学技巧 链接和其他
此页面是用“令人尴尬的可读性”标记语言编写的右侧TF，部分章节上次更新时间为2023年8月1日。 
第30节