5 citations · 5 across the 4 of their papers we have counts for
4 papers
An algorithm for the minimal model program in dimension three
Takehiko Yasuda
We construct an algorithm for the minimal model program in dimension three over a computable field of characteristic zero admitting a splitting algorithm, such as number fields and…
Quotient singularities by permutation actions are canonical
Takehiko Yasuda
The quotient variety associated to a permutation representation of a finite group has only canonical singularities in arbitrary characteristic. Moreover, the log pair associated to…
The isomorphism problem of projective schemes and related algorithmic problems
Takehiko Yasuda
We discuss the isomorphism problem of projective schemes; given two projective schemes, can we algorithmically decide whether they are isomorphic? We give affirmative answers in th…
Non-adic formal schemes
Takehiko Yasuda
Our purpose is to make a contribution to the foundation of the theory of formal scheme. We are interested particularly in non-Noetherian or non-adic formal schemes, which have been…