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 6 public repositories matching this topic...
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
May 5, 2026 - Jupyter Notebook
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
Lean 4 + Mathlib formalization of the Creative Determinant framework — 15 theorems proved with zero sorry, CI-enforced via lake build --wfail
-
Updated
Mar 28, 2026 - Lean
Python CFD learning project with 1D/2D finite-difference solvers for advection, convection, diffusion, Burgers, Laplace, and Poisson equations, evolving toward incompressible Navier-Stokes.
python scientific-computing finite-difference heat-equation cfd numerical-methods navier-stokes fluid-dynamics computational-fluid-dynamics 2d poisson-equation 1d laplace-equation advection burgers-equation elliptic-pde pressure-poisson
-
Updated
May 5, 2026 - Python
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."