遇见数据集

Code and data for: Beyond expression size – abstract-syntax-tree descriptors predict symbolic integrability and computational cost in a computer algebra system

收藏
Zenodo2026-09-25 更新2026-10-01 收录
官方服务:

资源简介:

This package contains the code, data and results for a study of what makes symbolic expressions hard for computer algebra systems. A seeded generator produced 4,481 distinct symbolic expressions. Each was canonicalised with the MATLAB Symbolic Math Toolbox and described by 25 abstract-syntax-tree descriptors and 3 size baselines. For each expression the package records closed-form integrability within 10 s, integration time, derivative growth and simplification time in MATLAB R2025a. An independent replication with SymPy 1.14.0 is included, together with 365 external tasks derived from the AI Feynman equations. Contents: MATLAB code (RUN_ALL.m reproduces the study with a fixed seed) and a Python script for the SymPy replication. Datasets with all descriptors and outcomes. SymPy outcomes. The result tables behind every table and figure of the article. Figures 1–8. A README, a data dictionary and a citation file. The AI Feynman equation list (Udrescu & Tegmark, Sci. Adv. 2020) is not redistributed; Data/README.md explains where to download it.

提供机构:
Zenodo
创建时间:
2026-09-25
二维码
社区交流群
二维码
科研交流群
商业服务