Public projects

This project provides computational examples related to guaranteed error estimation for the modified Helmholtz equations. The computation method used in this project is based on the approach presented in the research paper available at arxiv.org:2001.09820, as well as the project available at https://ganjin.online/liqin/Hypercircle.

singularity : dumbbell-shaped-domain [Public]

By ryoki (2023-06-18T06:30:04Z )

ShapeDerivativeEstimation : Rigorous shape derivative of eigenvalues estimation [Public]

By ryoki (2022-09-28T14:05:34Z )

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".

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

By ryoki (2024-03-22T00:52:13Z )

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

InterpolationErrorEstimate : Interpolation error estimate [Public]

By shirley (2022-05-26T13:58:54Z )

Demonstration of the method of estimating the upper bound of the constant for the maximum norm of the Lagrange interpolation error.

Pointwise : Pointwise (Clone from nakano/Pointwise) [Public]

By shirley (2022-06-08T11:43:07Z )

Pointwise error estimation based on the Fujita method for the Poisson BVP.

test-proj [Public]

By vlabshs (2020-08-02T12:40:11Z )

NS.SolutionVerification : Solution verification for the Navier-Stokes equation [Public]

By xfliu (2024-03-22T23:55:59Z )

Demonstration of the solution verification for the Naiver-Stokes equation over 3D domains.

Hypercircle : The hypercircle method for the error estimation of FEM solutions [Public]

By xfliu (2024-03-11T08:28:19Z )

This project describes how to obtain explicit a priori error estimation for FEM solution by using the hypercircle method.

StokesEigProblem [Public]

By xfliu (2020-07-11T17:11:46Z )

The eigenvalue estimation for Stokes operator.

vfem : Verified Finite Element Method Library [Public]

By xfliu (2021-09-18T16:06:49Z )

The Verified Finite Element Method (VFEM) library

StokesEquation [Public]

By xfliu (2021-07-11T05:30:24Z )

The a priori error estimation for the FEM solution to Stokes equation over 3D domain.

ProjectConstantCR [Public]

By xfliu (2020-07-04T13:37:25Z )

The projection error constant estimation for Crouzeix-Raviart FEM.

Matrix4StokesEquation : Matrix generation in solving the Stokes equation by FEM [Public]

By xfliu (2022-10-05T08:32:29Z )

In solving the Stokes equation, one has to consider the solution of linear system under a linear constraint condition. Here, the code is prepared for the matrix generation.

OctaveInterval : Example of Interval package in Octave [Public]

By xfliu (2021-01-01T01:06:29Z )

The project show several examples about interval computing in Octave.

eigenproblem-various-domains : Eigenfunction plot various domain [Public]

By xfliu (2024-01-11T13:26:58Z )

Eigenfunction plot various domain

EigenVecEstimation [Public]

By xfliu (2020-05-14T05:47:02Z )

This project shows a demo of the algorithm of the a posteriori error estimation for eigenvector of eigenvalue problems, such as, the matrix eigenvalue problem, the Laplacian eigenvalue problem.

EigenfunctionEstimation4FEM : Eigenfunction Estimation based on FEM solutions [Public]

By xfliu (2023-02-09T20:59:28Z )

This project demonstrate the eigenfunction estimation of Laplacian using finite element method.

Book-GCEVP : Book: Guaranteed computation methods for eigenvalue problems of differential operators [Public]

By xfliu (2023-05-04T15:49:49Z )

The codes for numerical examples in the book: Guaranteed computation methods for eigenvalue problems of differential operators.

LG-Method : Lehmann-Goerisch Method for high-precision eigenvalue bounds [Public]

By xfliu (2023-11-03T04:36:02Z )

The project demonstrates the high-precision eigenvalue bounds via Lehmann-Goerisch method

EigenvalueBound : Eigenvalue bounds for Laplacian [Public]

By xfliu (2023-04-25T16:25:45Z )

The explicit lower bound and upper bound for the Laplace differential operator are obtained by using the conforming and non-conforming finite element method.

All public projects

Shinohara : 数学講究 [Public]

1D-FEM : 1D-FEM [Public]

2D-FEM-Intro : 2D-FEM-Intro : 2次元有限要素法入門 [Public]

FMFEM : Vibrations of Plates [Public]

Deflection : Deflection [Public]

Vibrations_of_plates : Vibrations_of_plates [Public]

Hypercircle : Steklov Eigenvalue [Public]

EigenfunctionEstimation4FEM : Eigenfunction Estimation based on FEM solutions (Clone from xfliu/EigenfunctionEstimation4FEM) [Public]

Guaranteed_local_error_estimation : Local error estimation in JCAM [Public]

Guaranteed_error_estimation_for_modified_Helmholtz_eq : Guaranteed_error_estimation_for_modified_Helmholtz_eq [Public]

singularity : dumbbell-shaped-domain [Public]

ShapeDerivativeEstimation : Rigorous shape derivative of eigenvalues estimation [Public]

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

InterpolationErrorEstimate : Interpolation error estimate [Public]

Pointwise : Pointwise (Clone from nakano/Pointwise) [Public]

test-proj [Public]

NS.SolutionVerification : Solution verification for the Navier-Stokes equation [Public]

Hypercircle : The hypercircle method for the error estimation of FEM solutions [Public]

StokesEigProblem [Public]

vfem : Verified Finite Element Method Library [Public]

StokesEquation [Public]

ProjectConstantCR [Public]

Matrix4StokesEquation : Matrix generation in solving the Stokes equation by FEM [Public]

OctaveInterval : Example of Interval package in Octave [Public]

eigenproblem-various-domains : Eigenfunction plot various domain [Public]

EigenVecEstimation [Public]

EigenfunctionEstimation4FEM : Eigenfunction Estimation based on FEM solutions [Public]

Book-GCEVP : Book: Guaranteed computation methods for eigenvalue problems of differential operators [Public]

LG-Method : Lehmann-Goerisch Method for high-precision eigenvalue bounds [Public]

EigenvalueBound : Eigenvalue bounds for Laplacian [Public]