Solving Equation Systems in $ω$-categorical Algebras.
Manuel BodirskyThomas Quinn-GregsonPublished in: CoRR (2019)
Keyphrases
- distributed systems
- real time
- nonlinear equations
- intelligent systems
- artificial neural networks
- databases
- data sets
- computer vision
- information systems
- image processing
- reinforcement learning
- expert systems
- machine learning
- information retrieval systems
- knowledge based systems
- complex systems
- constraint programming
- numerical solution
- database