Automation of generating explicit formulas for the divisor class arithmetic of hyperelliptic curves

Date:

A video recording of the talk is available here.