The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract)
Michael B. SmythGordon D. PlotkinPublished in: FOCS (1977)
Keyphrases
- extended abstract
- linear equations
- mathematical model
- domain specific
- polynomial equations
- linear systems
- boundary value problem
- domain experts
- domain independent
- optimization method
- numerical methods
- integer programming
- nonlinear equations
- square root
- exact solution
- real time
- solution quality
- optimal solution
- image sequences
- machine learning