A Fixed-point Theorem for Horn Formula Equations.
Stefan HetzlJohannes KloibhoferPublished in: HCVS@ETAPS (2021)
Keyphrases
- fixed point theorem
- boundary value problem
- differential equations
- fixed point
- boundary conditions
- numerical solution
- horn clauses
- variational inequalities
- continuous functions
- np hard
- partial differential equations
- propositional logic
- dynamical systems
- numerical methods
- finite element
- endpoints
- image analysis
- linear systems
- finite element method
- linear programming