Rigorous Analytic Combinatorics in Several Variables in SageMath. - Benjamin Hackl; Andrew Luo; Stephen Melczer; Jesse Selover; Elaine Wong (CoRR, 2023)