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...
A field theory of coherence: autopoietic closure as a nonlinear elliptic BVP on a compact Riemannian manifold, with existence conditions, spectral viability thresholds and falsifiability criteria. Lean 4 formalization: cd-formalization.
cognitive-science dynamical-systems pde formal-verification ai-safety interpretability mathematical-modeling mathlib semiotics autopoiesis lean4 elliptic-pde fixed-point-theorems
-
Updated
Oct 30, 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 existence theory for the Creative Determinant boundary value problem: positive solutions fully proved on finite weighted graphs; continuum results conditional on explicit, documented elliptic hypotheses.
theorem-proving graph-theory pde formal-verification mathlib autopoiesis lean4 elliptic-pde fixed-point-theorems
-
Updated
Oct 9, 2026 - Lean
Reproducible JAX benchmark comparing finite-difference solvers, PINNs, DeepONet, and Fourier neural operators on a 1D elliptic PDE: accuracy, distribution shift, resolution transfer, and computational cost.
python benchmarking reproducible-research scientific-computing partial-differential-equations numerical-analysis pinn finite-difference-method jax scientific-machine-learning finite-volume-method physics-informed-neural-networks distribution-shift operator-learning deeponet neural-operators fourier-neural-operator elliptic-pde
-
Updated
Oct 24, 2026 - Python
Inhomogeneous heat flow finite-difference system
-
Updated
Nov 15, 2025 - Python
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."