Profile of (ryoki)

   

singularity : dumbbell-shaped-domain [Public]

By ryoki  ( )

Read More

ShapeDerivativeEstimation : Rigorous shape derivative of eigenvalues estimation [Public]

By ryoki  ( )

This project demonstrates an implementation of the algorithms proposed in "Shape optimization for the Laplacian eigenvalue over triangles and its application to interpolation error constant estimation".

Read More

DirichletSimplicity : the 2nd and 3rd eigenvalues on triangles [Public]

By ryoki  ( )

Computer-assisted proof for the simplicity of the 2nd and 3rd dirichlet eigenvalues on triangular domains

Read More