vix.ing · top · new · best · stats · spec

Moritz Doll

  1. The divisor of the twisted Selberg zeta function
    2026/07/16 by Moritz Doll, Anke Pohl · 1 citation
    #math.SP #math-ph #math.AP #math.MP
  2. Foundations of Machine-Checked Control Theory in Lean
    2026/07/22 by Moritz Doll, Iman Shames
    #math.OC #cs.LO #cs.SY #eess.SY