Keyphrases
- transformation rules
- rewriting rules
- rewriting systems
- nonlinear equations
- polynomial equations
- random walk
- algebraic equations
- mathematical model
- numerical solution
- type checking
- datalog programs
- graph theoretic
- weighted graph
- graph structure
- combinatorial optimization
- np complete
- set of linear equations
- gauss seidel method