Δ1: An Automated Theorem Generator
Crossref DOI link: https://doi.org/10.1007/s44196-025-01035-8
Published Online: 2025-11-21
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Xu, Yang
Guo, Hailin
Chen, Shuwei
Liu, Jun
Text and Data Mining valid from 2025-11-21
Version of Record valid from 2025-11-21
Article History
Received: 16 September 2025
Revised: 5 October 2025
Accepted: 15 October 2025
First Online: 21 November 2025
Declarations
:
: The authors declare no competing interests.