Hensel lifting algorithms for quadratic forms. - Simon Brandhorst; Davide Veniani (Math. Comput., 2023)