Fixed-Point Constraints for Nominal Equational Unification.
Mauricio Ayala-RincónMaribel FernándezDaniele Nantes-SobrinhoPublished in: FSCD (2018)
Keyphrases
- fixed point
- theorem proving
- equational theories
- stationary points
- sufficient conditions
- initial conditions
- theorem prover
- belief propagation
- floating point
- fixed point theorem
- function symbols
- linear constraints
- constraint databases
- computer vision
- variational inequalities
- constrained optimization
- dynamical systems
- least squares
- semi supervised