Algorithms for solving systems of linear diophantine equations in integer domains-Reference-Cited by-同舟云学术

Algorithms for solving systems of linear diophantine equations in integer domains

Published:2006-03 Issue:2 Volume:42 Page:163-175
ISSN:1060-0396
Container-title:Cybernetics and Systems Analysis
language:en
Short-container-title:Cybern Syst Anal

Author:

Kryvyi S. L.

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science

Link

http://link.springer.com/content/pdf/10.1007/s10559-006-0050-2.pdf

Reference12 articles.

1. T. Murata, “Petri Nets: Properties, analysis, and applications,” Proc. IEEE, 77, No. 4, 541–580 (1989).

2. F. Baader and J. Ziekmann, “Unification theory,” in: Handbook of Logic in Artificial Intelligence and Logic Programming, Univ. Press, Oxford (1994), pp. 1–85.

3. E. Contenjean and H. Devie, “An efficient algorithm for solving systems of Diophantine equations, ” Inform. Comput., 113, No. 1, 143–172 (1994).

4. M. Clausen and A. Fortenbacher, “Efficient solution of linear Diophantine equations,” Journ. Symbol. Comput., 8, Nos. 1–2, 201–216 (1989).

5. E. Domenjoud, “Outils pour la deduction automatique dans les theories associatives-commutatives, ” Thes. de Doct. d’Univ., Univ. de Nancy I (1991).

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Computation of minimal covariants bases for 2D coupled constitutive laws;International Journal of Engineering Science;2023-10

2. TLP: Towards three‐level loop parallelisation;IET Computers & Digital Techniques;2022-08-09

3. Resource and Energy Optimization Oriented Development of FPGA-Based Adaptive Logical Networks for Classification Problem;Green IT Engineering: Components, Networks and Systems Implementation;2017

4. Solution Algorithms for Systems of Linear Equations Over Residue Rings;Cybernetics and Systems Analysis;2016-09

5. Synthesis multilevel structure with multiple output;PROBLEMS IN PROGRAMMING;2016-06