activity
19982026
most citedA Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem

12 citations · 14 across the 13 of their papers we have counts for

collaborators
Showing math.NAShow all

1 paper · 1 filter

math.NA2025

A Two-Stage Finite Element Approach for High-precision Guaranteed Lower Eigenvalue Bounds

Xuefeng Liu, Michael Plum

Obtaining high-precision guaranteed lower eigenvalue bounds remains difficult, even though the standard high-order conforming finite element (FEM) easily yields extremely sharp upp…