Login / Signup
Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations.
Christopher W. Brown
Sjaak de Vlaming
George Nakos
Published in:
Algorithmic Algebra and Logic (2005)
Keyphrases
</>
partial differential equations
quantifier elimination
anisotropic diffusion
image processing
level set
expert systems
conservation laws
machine learning
feature extraction
computational complexity
linear programming
image denoising
fourth order
functional programming