researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions

2 papers

math.LO2023

Cut-free sequent calculi for the provability logic D

Ryo Kashima, Taishi Kurahashi, Sohei Iwata +1

We say that a Kripke model is a GL-model if the accessibility relation is transitive and converse well-founded. We say that a Kripke model is a D-model if it is obtained by…

math.PR2017

Smooth approximation of Yang--Mills theory on : a rough path approach

Hideyasu Yamashita

In the context of rough path theory (RPT), the theories of Hairer (2014) and Gubinelli--Imkeller--Perkowski (2015) (GIP theory) gave new methods for construction of mod…