Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations.
Xinxin LiuTingting YuPublished in: CONCUR (2020)
Keyphrases
- polynomial equations
- equational theories
- boundary value problem
- theorem proving
- multi objective
- neural network
- similar problems
- closed form solutions
- differential equations
- mathematical model
- database
- first order logic
- image processing
- linear systems
- knowledge base
- genetic algorithm
- recursive functions
- information retrieval
- nonlinear partial differential equations