Category Theory Seminar: Daniel Carranza (JHU)
Krieger 413Formalizing cotensors in Lean.
Formalizing cotensors in Lean.
Title: Optimal observability times for wave and Schrodinger equations on really simple domainsAbstract: Observability for evolution equations asks: if I take a partial measurement in a system, can it “see” […]