Incorporating Background Knowledge in Symbolic Regression using a Computer Algebra System. - Charles Fox; Neil Tran; Nikki Nacion; Samiha Sharlin; Tyler R. Josephson (CoRR, 2023)