Formal Algorithmic Elimination for PDEs.

Published in: ISSAC (2016)

Keyphrases

partial differential equations
formal model
numerical solution
artificial intelligence
level set
image processing
data model
anisotropic diffusion
mathematical theory
real world
formal specification
formal analysis