1 paper · 1 filter
Ping Guo, Qingfu Zhang, Xi Lin
The discovery of symbolic solutions -- mathematical expressions, logical rules, and algorithmic structures -- is fundamental to advancing scientific and engineering progress. Howev…