A software system for remote solving homogenous linear diophantine equations in non-negative integers

Computer Systems and Software

In this paper, we introduce a software system Web-SynDic, which has being developed at Department of Computer Science of Petrozavodsk State University since 2003. Web-SynDic implements (via web-browser) access to two original pseudopolynomial algorithms for searching Hilbert basis (SHB) of homogenous linear Diophantine equation systems associated with context-free grammars (Syntactic and TransSol) as well as to algorithms of other authors (SlopesSys, lp_solve and GLPK). Web-SynDic supports bulk testing of implementations of SHB algorithms and experimental analysis of their practical efficiency.