Xuefeng Liu

  1. Title:
    Guaranteed eigenvalue estimation for differential operators and its application in mathematical proof

    Speaker:

    Link: