×

Found 90 Documents (Results 1–90)

Partition analysis, modular functions, and computer algebra. (English) Zbl 1354.05010

Beveridge, Andrew (ed.) et al., Recent trends in combinatorics. Cham: Springer (ISBN 978-3-319-24296-5/hbk; 978-3-319-24298-9/ebook). The IMA Volumes in Mathematics and its Applications 159, 511-543 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Matrix interpretations on polyhedral domains. (English) Zbl 1366.68129

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 318-333 (2015).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Team cooperation in a network of multi-vehicle unmanned systems. Synthesis of consensus algorithms. (English) Zbl 1304.93008

New York, NY: Springer (ISBN 978-1-4614-5072-6/hbk; 978-1-4614-5073-3/ebook). xxiii, 149 p. (2013).
PDFBibTeX XMLCite
Full Text: DOI

Elements of computer-algebraic analysis. (English) Zbl 1308.68178

van der Hoeven, Joris (ed.) et al., Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22–25, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1269-1). 9-10 (2012).
MSC:  68W30 13P10 39B72
PDFBibTeX XMLCite
Full Text: DOI

An asymptotic approach for testing \(P_{0}\)-matrices. (English) Zbl 1336.68139

Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 195-200 (2009).
MSC:  68Q25 65F05 90C33
PDFBibTeX XMLCite
Full Text: DOI

Integrating constraint propagation in complete solving of linear diophantine systems. (English) Zbl 0913.11058

Palamidessi, Catuscia (ed.) et al., Principles of declarative programming. 10th international symposium, PLILP ’98. Held jointly with the 6th international conference, ALP ’98, Pisa, Italy, September 16–18, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1490, 463-480 (1998).
PDFBibTeX XMLCite

On the exact solution of systems of linear inequalities and linear programming problems. (English. Russian original) Zbl 0518.90059

U.S.S.R. Comput. Math. Math. Phys. 22, No. 4, 239-242 (1982); translation from Zh. Vychisl. Mat. Mat. Fiz. 22, 999-1002 (1982).
PDFBibTeX XMLCite
Full Text: DOI

Bounds of solutions and algorithmic complexity of systems of convex Diophantine inequalities. (English. Russian original) Zbl 0467.90048

Sov. Math., Dokl. 22, 700-704 (1980); translation from Dokl. Akad. Nauk SSSR 255, 296-300 (1980).
PDFBibTeX XMLCite

The correspondence of monotonic Boolean functions to systems of linear inequalities. (English. Russian original) Zbl 0449.94029

U.S.S.R. Comput. Math. Math. Phys. 19, No. 6, 192-204 (1980); translation from Zh. Vychisl. Mat. Mat. Fiz. 19, 1543-1554 (1979).
MSC:  94C10 68Q25 15A39
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software