Web-SynDic is a web system for demonstrating and testing novel syntactic method for searching nonnegative integer solutions of Linear Diophantine Equations (LDE in nonnegative integers or Nonnegative LDE or NLDE for short).
Web-SynDic works with a special class of homogeneous NLDE systems that are Associated with context-free grammars (ANLDE systems for short).
Kirill Kulakov 2005-12-04 |