Abstract
Huckelheim, J; Hascoet, L
Huckelheim, J (通讯作者),Argonne Natl Lab, 9700 South Cass Ave, Lemont, IL 60439 USA.
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2022; 48 (1):