hyperfunction #holomorphic functions used as test functions refined theory: #MikioSato's algebraic analysis, using #sheaftheory and several complex variables. This extends the range of symbolic methods that can be made into rigorous mathematics, for example #Feynman integrals.