×

Found 30 Documents (Results 1–30)

The complexity and parallel implementation of two sparse multivariate Hensel lifting algorithms for polynomial factorization. (English) Zbl 1511.68344

Boulier, François (ed.) et al., Computer algebra in scientific computing. 22nd international workshop, CASC 2020, Linz, Austria, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12291, 150-169 (2020).
Full Text: DOI

Magma – a tool for number theory. (English) Zbl 1294.68153

Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 253-255 (2010).
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).

Solving linear Diophantine equations using the geometric structure of the solution space. (English) Zbl 1379.11094

Comon, Hubert (ed.), Rewriting techniques and applications. 8th international conference, RTA ’97, Sitges, Spain, June 2–5, 1997. Proceedings. Berlin: Springer (ISBN 978-3-540-62950-4/pbk; 978-3-540-69051-1/ebook). Lecture Notes in Computer Science 1232, 269-283 (1997).
MSC:  11Y50 11D04 68W30
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software