A scalable hp-adaptive discontinuous Galerkin solver for non-linear elliptic partial differential equations on curved multi-block meshes.
-
Updated
Jul 11, 2022 - C
#
elliptic-pde
Here are 5 public repositories matching this topic...
Chebyshev Polynomial Software for Elliptic-Parabolic Systems of PDEs
fortran partial-differential-equations method-of-lines pde-solver chebyshev-polynomials parabolic-pde spatial-discretization elliptic-pde
-
Updated
Dec 30, 2024 - Fortran
The Creative Determinant: autopoietic closure as a nonlinear elliptic BVP on a compact Riemannian manifold, with Lean 4-verified existence conditions (15 theorems, zero sorry)
cognitive-science dynamical-systems pde formal-verification ai-safety interpretability mathematical-modeling mathlib semiotics autopoiesis lean4 elliptic-pde fixed-point-theorems
-
Updated
Mar 12, 2026 - TeX
Lean 4 + Mathlib formalization of the Creative Determinant framework — 15 theorems proved with zero sorry, CI-enforced via lake build --wfail
-
Updated
Mar 12, 2026 - Lean
Inhomogeneous heat flow finite-difference system
-
Updated
Nov 15, 2025 - Python
Improve this page
Add a description, image, and links to the elliptic-pde topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the elliptic-pde topic, visit your repo's landing page and select "manage topics."