Shinohara : 数学講究 [Public]

By Shinohara Takuma  ( )

Read More

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

By kaoru  ( )

領域の両端で0となる1次元のPoisson方程式を解く有限要素法プログラム

Read More

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

By kaoru  ( )

正方領域における有限要素法の入門コード FEniCSによる解析を軸に基礎理論について紹介している。

Read More

FMFEM : Vibrations of Plates [Public]

By kaoru  ( )

Simulation of Chladni's figures, and Python code for Fujino-Morley FEM.

Read More

Deflection : Deflection [Public]

By kaoru  ( )

たわみを文字式のまま解く

Read More

Vibrations_of_plates : Vibrations_of_plates [Public]

By kaoru  ( )

Read More

Hypercircle : Steklov Eigenvalue [Public]

By liqin  ( )

By using the hypercircle method, this project describes how to obtain the guareenteed lower eigenvalue bound of Steklov operator with FEM.

Read More

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

By mahdipc  ( )

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

Read More

Guaranteed_local_error_estimation : Local error estimation in JCAM [Public]

By nakano  ( )

This project provides a numerical example shown in the following article: https://www.sciencedirect.com/science/article/pii/S0377042723000055

Read More

Guaranteed_error_estimation_for_modified_Helmholtz_eq : Guaranteed_error_estimation_for_modified_Helmholtz_eq [Public]

By nakano  ( )

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.

Read More

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

eigen-pedia : Eigenfunction Encyclopedia [Public]

By ryoki  ( )

Read More

InterpolationErrorEstimate : Interpolation error estimate [Public]

By shirley  ( )

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

Read More

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

By shirley  ( )

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

Read More

test-proj [Public]

By vlabshs  ( )

Read More

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

By xfliu  ( )

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

Read More

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

By xfliu  ( )

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

Read More

StokesEigProblem [Public]

By xfliu  ( )

The eigenvalue estimation for Stokes operator.

Read More

vfem : Verified Finite Element Method Library [Public]

By xfliu  ( )

The Verified Finite Element Method (VFEM) library

Read More

StokesEquation [Public]

By xfliu  ( )

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

Read More

ProjectConstantCR [Public]

By xfliu  ( )

The projection error constant estimation for Crouzeix-Raviart FEM.

Read More

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

By xfliu  ( )

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.

Read More

OctaveInterval : Example of Interval package in Octave [Public]

By xfliu  ( )

The project show several examples about interval computing in Octave.

Read More

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

By xfliu  ( )

Eigenfunction plot various domain

Read More

AIM-Torsion-Problem : AIM Torsion Problem [Public]

By xfliu  ( )

AIM Torsion Problem team

Read More

EigenVecEstimation [Public]

By xfliu  ( )

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.

Read More

discontinuous-hypercircle : Discontinuous coefficient of Poisson's equation with hypercricle [Public]

By xfliu  ( )

The project demonstrate how to use hypercircle method to obtain a posteriori and a priori error estimation for the Poisson equation with non-continuous cofficients.

Read More

EigenfunctionEstimation4FEM : Eigenfunction Estimation based on FEM solutions [Public]

By xfliu  ( )

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

Read More

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

By xfliu  ( )

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

Read More

dumbbell_domain : Dumbbell domain [Public]

By xfliu  ( )

eigenvalue problem

Read More

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

By xfliu  ( )

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

Read More

EigenvalueBound : Eigenvalue bounds for Laplacian [Public]

By xfliu  ( )

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

Read More