Rule-based Word Equation Solving.

Joel D. Day Mitja Kulczynski Florin Manea Dirk Nowotka Danny Bøgsted Poulsen

Published in: FormaliSE@ICSE (2020)

Keyphrases

nonlinear equations
expert systems
algebraic equations
n gram
rule based systems
co occurrence
data driven
numerical solution
neural network
data sets
combinatorial optimization
solving problems
keywords
artificial neural networks
mathematical model
exact solution
search algorithm