符号计算

下载PDF摘要：在本文中，我们简要概述了Python统计建模和机器学习社区中符号计算的现状和未来潜力。我们详细介绍了MiniKanren作为术语重写和符号数学的底层框架的使用，以及它协调使用现有Python库的能力。我们还讨论了关系编程对于实现更健壮的、可移植的、特定于领域的数学级别的优化的重要性和潜力--略微侧重于......