English
Related papers

Related papers: Finite element method. Detailed proofs to be forma…

200 papers

Formalization of mathematics is a major topic, that includes in particular numerical analysis, towards proofs of scientific computing programs. The present study is about the finite element method, a popular method to numerically solve…

Logic in Computer Science · Computer Science 2026-04-23 Sylvie Boldo , François Clément , Vincent Martin , Micaela Mayero , Houda Mouhcine

To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and results that allow to establish the soundness of the method.…

Logic in Computer Science · Computer Science 2021-04-05 François Clément , Vincent Martin

To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and results that allow to establish the soundness of the method. The…

Logic in Computer Science · Computer Science 2016-10-05 François Clément , Vincent Martin

The finite element method (FEM) is a cornerstone numerical technique for solving partial differential equations (PDEs). Here, we present $\textbf{Qu-FEM}$, a fault-tolerant era quantum algorithm for the finite element method. In contrast to…

Quantum Physics · Physics 2025-10-22 Ahmad M. Alkadri , Tyler D. Kharazi , K. Birgitta Whaley , Kranthi K. Mandadapu

Applying proper orthogonal decomposition to a usual finite element (FE) formulation for space fractional partial differential equation, we get a reduced FE model, which greatly reduces the complexity of computation. Then, the stability…

Numerical Analysis · Mathematics 2019-01-04 Jing Sun , Daxin Nie , Weihua Deng

The finite element method can be viewed as a machine that automates the discretization of differential equations, taking as input a variational problem, a finite element and a mesh, and producing as output a system of discrete equations.…

Numerical Analysis · Mathematics 2011-12-05 Anders Logg

The Finite Element Method (FEM) is a powerful computational tool for solving partial differential equations (PDEs). Although commercial and open-source FEM software packages are widely available, an independent implementation of FEM…

Numerical Analysis · Mathematics 2025-02-06 Victor Dominguez , Alejandro Duque

Modeling of physical systems includes extensive use of software packages that implement the accurate finite element method for solving differential equations considered along with the appropriate initial and boundary conditions. When the…

Computational Engineering, Finance, and Science · Computer Science 2018-03-20 O. Kononenko , I. Kononenko

These lecture notes for a graduate course present an introduction to the mathematical theory of finite element methods for the numerical solution of partial differential equations. Covered are conforming and nonconforming (in particular,…

Numerical Analysis · Mathematics 2021-08-20 Christian Clason

A finite element methodology for large classes of variational boundary value problems is defined which involves discretizing two linear operators: (1) the differential operator defining the spatial boundary value problem; and (2) a Riesz…

Numerical Analysis · Mathematics 2017-12-08 Brendan Keith , Socratis Petrides , Federico Fuentes , Leszek Demkowicz

We show that the DDR method can be interpreted as defining a computable consistent discrete $\mathrm{L}^2$ product on a conforming FES defined by PDEs. Without modifying the numerical method itself, this point of view provides an…

Numerical Analysis · Mathematics 2025-12-23 Snorre H. Christiansen , Francesca Rapetti

This manuscript presents the Quantum Finite Element Method (Q-FEM) developed for use in noisy intermediate-scale quantum (NISQ) computers and employs the variational quantum linear solver (VQLS) algorithm. The proposed method leverages the…

Quantum Physics · Physics 2025-04-01 Abhishek Arora , Benjamin M. Ward , Caglar Oskay

There are many numerical methods for solving partial different equations (PDEs) on manifolds such as classical implicit, finite difference, finite element, and isogeometric analysis methods which aim at improving the interoperability…

Numerical Analysis · Mathematics 2023-11-17 Wenrui Hao , Jonathan D. Hauenstein , Margaret H. Regan , Tingting Tang

We consider within a finite element approach the usage of different adaptively refined meshes for different variables in systems of nonlinear, time-depended PDEs. To resolve different solution behaviours of these variables, the meshes can…

Numerical Analysis · Mathematics 2010-05-27 Thomas Witkowski , Axel Voigt

We consider the finite element method on locally damaged meshes allowing for some distorted cells which are isolated from one another. In the case of the Poisson equation and piecewise linear Lagrange finite elements, we show that the usual…

Numerical Analysis · Mathematics 2018-08-21 Michel Duprez , Vanessa Lleras , Alexei Lozinski

We introduce the concept of data-driven finite element methods. These are finite-element discretizations of partial differential equations (PDEs) that resolve quantities of interest with striking accuracy, regardless of the underlying mesh…

Numerical Analysis · Mathematics 2022-11-15 Ignacio Brevis , Ignacio Muga , Kristoffer G. van der Zee

Partial differential equations (PDEs) are used to describe a variety of physical phenomena. Often these equations do not have analytical solutions and numerical approximations are used instead. One of the common methods to solve PDEs is the…

Mathematical Software · Computer Science 2023-09-15 Ivan Yashchuk

We review the construction and analysis of numerical methods for strongly nonlinear PDEs, with an emphasis on convex and nonconvex fully nonlinear equations and the convergence to viscosity solutions. We begin by describing a fundamental…

Numerical Analysis · Mathematics 2016-10-26 Michael Neilan , Abner J. Salgado , Wujun Zhang

This document gives guidelines to set up, run, and postprocess correct simulations with the finite element method. It is not an introduction to the method itself, but rather a list of things to check and possible mistakes to watch out for…

Numerical Analysis · Computer Science 2018-11-15 Martin Bäker

The finite element method has become a preeminent simulation technique in electromagnetics. For problems involving anisotropic media and metamaterials, proper algorithms should be developed. It has been proved that discretizing in quadratic…

Mathematical Physics · Physics 2009-10-21 E. Cojocaru
‹ Prev 1 2 3 10 Next ›