2 papers
cs.LG2025
Automated Proof of Polynomial Inequalities via Reinforcement Learning
Banglong Liu, Niuniu Qi, Xia Zeng +2
Polynomial inequality proving is fundamental to many mathematical disciplines and finds wide applications in diverse fields. Current traditional algebraic methods are based on sear…
math.GM2024
Algebraic Curve Interpolation for Intervals via Symbolic-Numeric Computation
Lydia Dehbi, Zhengfeng Yang, Chao Peng +2
Algebraic curve interpolation is described by specifying the location of N points in the plane and constructing an algebraic curve of a function f that should pass through them. In…