Getting Started

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).



Subsections

Kirill Kulakov 2005-12-04