Rubi是一个基于规则的符号积分器,它拥有超过6700条积分规则,能够求解大量数学表达式的最优反导数。Rubi不仅功能强大,还能展示积分步骤和应用规则,是学习和研究数学的利器。与Mathematica和Maple等其他符号积分器相比,Rubi在包含72000个积分问题的测试中表现优异。