×

Found 144 Documents (Results 1–100)

Computer algebra in scientific computing. 25th international workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023. Proceedings. (English) Zbl 07768470

Lecture Notes in Computer Science 14139. Cham: Springer (ISBN 978-3-031-41723-8/pbk; 978-3-031-41724-5/ebook). xxii, 422 p. (2023).
MSC:  68-06 68W30 00B25
PDFBibTeX XMLCite
Full Text: DOI

Mathematical research for blockchain economy. 3rd international conference MARBLE 2022, Vilamoura, Portugal, July 12–14, 2022. (English) Zbl 1515.91015

Lecture Notes in Operations Research. Cham: Springer (ISBN 978-3-031-18678-3/hbk; 978-3-031-18681-3/pbk; 978-3-031-18679-0/ebook). viii, 273 p. (2023).
MSC:  91-06 00B25
PDFBibTeX XMLCite
Full Text: DOI

Dynamics of disasters. Impact, risk, resilience, and solutions. Based on the 4th international conference on dynamics of disasters, Kalamata, Greece, July 1–5, 2019. (English) Zbl 1461.00061

Springer Optimization and Its Applications 169. Cham: Springer (ISBN 978-3-030-64972-2/hbk; 978-3-030-64975-3/pbk; 978-3-030-64973-9/ebook). xiv, 272, 292 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

Nonexistence certificates for ovals in a projective plane of order ten. (English) Zbl 07601001

Gąsieniec, Leszek (ed.) et al., Combinatorial algorithms. 31st international workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12126, 97-111 (2020).
MSC:  68Rxx 68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Maple in mathematics education and research. Third Maple conference, MC 2019, Waterloo, Ontario, Canada, October 15–17, 2019. Proceedings. (English) Zbl 1468.65002

Communications in Computer and Information Science 1125. Cham: Springer (ISBN 978-3-030-41257-9/pbk; 978-3-030-41258-6/ebook). xi, 363 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Mathematical research for blockchain economy. Proceedings of the 2nd international conference on mathematical research for blockchain economy, MARBLE 2020, Vilamoura, Portugal, June 8–10, 2020. (English) Zbl 1455.91008

Springer Proceedings in Business and Economics. Cham: Springer (ISBN 978-3-030-53355-7/hbk; 978-3-030-53358-8/pbk; 978-3-030-53356-4/ebook). vii, 177 p. (2020).
MSC:  91-06 00B25
PDFBibTeX XMLCite
Full Text: DOI

Mathematical research for blockchain economy. Proceedings of the 1st international conference on mathematical research for blockchain economy, MARBLE 2019, Santorini, Greece, May 6–9, 2019. (English) Zbl 1444.91006

Springer Proceedings in Business and Economics. Cham: Springer (ISBN 978-3-030-37109-8/hbk; 978-3-030-37110-4/ebook). viii, 249 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

PAF reconstruction with the orbits method. (English) Zbl 1440.15012

England, Matthew (ed.) et al., Computer algebra in scientific computing. 21st international workshop, CASC 2019, Moscow, Russia, August 26–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11661, 315-329 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Root-finding with implicit deflation. (English) Zbl 1439.65063

England, Matthew (ed.) et al., Computer algebra in scientific computing. 21st international workshop, CASC 2019, Moscow, Russia, August 26–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11661, 236-245 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Algebraic models for arbitrary strength covering arrays over \(v\)-ary alphabets. (English) Zbl 1434.68341

Ćirić, Miroslav (ed.) et al., Algebraic informatics. 8th international conference, CAI 2019, Niš, Serbia, June 30 – July 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11545, 177-189 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Algorithms and complexity in mathematics, epistemology, and science. Proceedings of 2015 and 2016 ACMES conferences, London, UK. Selected papers. (English) Zbl 1411.00055

Fields Institute Communications 82. New York, NY: Springer; Toronto: The Fields Institute for Research in the Mathematical Sciences (ISBN 978-1-4939-9050-4/hbk; 978-1-4939-9051-1/ebook). xi, 294 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Enumeration of complex Golay pairs via programmatic SAT. (English) Zbl 1467.68202

Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 111-118 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Evaluation of tie-breaking and parameter ordering for the IPO family of algorithms used in covering array generation. (English) Zbl 1511.68341

Iliopoulos, Costas (ed.) et al., Combinatorial algorithms. 29th international workshop, IWOCA 2018, Singapore, July 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10979, 189-200 (2018).
MSC:  68W05 05B15
PDFBibTeX XMLCite
Full Text: DOI

Dynamics of disasters. Algorithmic approaches and applications. Based on the 3rd international conference on dynamics of disasters, Kalamata, Greece, July 2017. (English) Zbl 1401.00032

Springer Optimization and Its Applications 140. Cham: Springer (ISBN 978-3-319-97441-5/hbk; 978-3-319-97442-2/ebook). ix, 202 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Matrix representations by means of interpolation. (English) Zbl 1462.65047

Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 149-156 (2017).
MSC:  65F99 41A05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. (English) Zbl 1381.68002

Lecture Notes in Computer Science 10693. Cham: Springer (ISBN 978-3-319-72452-2/pbk; 978-3-319-72453-9/ebook). xi, 462 p. (2017).
MSC:  68-06 65-06 00B25
PDFBibTeX XMLCite
Full Text: DOI

Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. (English) Zbl 1379.13001

Springer Proceedings in Mathematics & Statistics 198. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). xiv, 515 p. (2017).
MSC:  13-06 13Pxx 12Y99 14Qxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Dynamics of disasters – key concepts, models, algorithms, and insights. Selected papers based on the presentations at the 2nd international conference, Kalamata, Greece, June 29 – July 2015, 2015. (English) Zbl 1351.00020

Springer Proceedings in Mathematics & Statistics 185. Cham: Springer (ISBN 978-3-319-43707-1/hbk; 978-3-319-43709-5/ebook). xviii, 369 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

MathCheck2: a SAT+CAS verifier for combinatorial conjectures. (English) Zbl 1453.05001

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 117-133 (2016).
MSC:  05-04 68V15 68W30
PDFBibTeX XMLCite
Full Text: DOI

Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. (English) Zbl 1334.68018

Lecture Notes in Computer Science 9582. Cham: Springer (ISBN 978-3-319-32858-4/pbk; 978-3-319-32859-1/ebook). xxiii, 628 p. (2016).
MSC:  68-06 65-06 00B25
PDFBibTeX XMLCite
Full Text: DOI

Constructing orthogonal designs in powers of two: Gröbner bases meet equational unification. (English) Zbl 1366.68122

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, 241-256 (2015).
MSC:  68Q42 05B15 13P10
PDFBibTeX XMLCite
Full Text: DOI

Inner product vectors for skew-Hadamard matrices. (English) Zbl 1329.05045

Colbourn, Charles J. (ed.), Algebraic design theory and Hadamard matrices. ADTHM, Lethbridge, Alberta, Canada, July 8–11, 2014. Selected papers based on the presentations at the workshop and at the workshop on algebraic design theory with Hadamard matrices: applications, current trends and future directions, Banff International Research Station, Alberta, Canada, July 11–13, 2014. Cham: Springer (ISBN 978-3-319-17728-1/hbk; 978-3-319-17729-8/ebook). Springer Proceedings in Mathematics & Statistics 133, 171-187 (2015).
MSC:  05B20 15B35
PDFBibTeX XMLCite
Full Text: DOI

Periodic Golay pairs of length 72. (English) Zbl 1329.05035

Colbourn, Charles J. (ed.), Algebraic design theory and Hadamard matrices. ADTHM, Lethbridge, Alberta, Canada, July 8–11, 2014. Selected papers based on the presentations at the workshop and at the workshop on algebraic design theory with Hadamard matrices: applications, current trends and future directions, Banff International Research Station, Alberta, Canada, July 11–13, 2014. Cham: Springer (ISBN 978-3-319-17728-1/hbk; 978-3-319-17729-8/ebook). Springer Proceedings in Mathematics & Statistics 133, 83-92 (2015).
MSC:  05B10
PDFBibTeX XMLCite
Full Text: DOI arXiv

D-optimal matrices of orders 118, 138, 150, 154 and 174. (English) Zbl 1329.05056

Colbourn, Charles J. (ed.), Algebraic design theory and Hadamard matrices. ADTHM, Lethbridge, Alberta, Canada, July 8–11, 2014. Selected papers based on the presentations at the workshop and at the workshop on algebraic design theory with Hadamard matrices: applications, current trends and future directions, Banff International Research Station, Alberta, Canada, July 11–13, 2014. Cham: Springer (ISBN 978-3-319-17728-1/hbk; 978-3-319-17729-8/ebook). Springer Proceedings in Mathematics & Statistics 133, 71-82 (2015).
MSC:  05B30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Interdisciplinary topics in applied mathematics, modeling and computational science. Selected papers based on the presentations at the 2nd conference, AMMCS 2013, Waterloo, Canada, August 26–30, 2013. (English) Zbl 1325.00049

Springer Proceedings in Mathematics & Statistics 117. Cham: Springer (ISBN 978-3-319-12306-6/hbk; 978-3-319-12307-3/ebook). xxiii, 555 p. (2015).
PDFBibTeX XMLCite
Full Text: DOI

Structured Hadamard conjecture. (English) Zbl 1268.05037

Borwein, Jonathan M. (ed.) et al., Number theory and related fields. In memory of Alf van der Poorten. Based on the proceedings of the international number theory conference, Newcastle, Australia, March 12–16, 2012. New York, NY: Springer (ISBN 978-1-4614-6641-3/hbk; 978-1-4614-6642-0/ebook). Springer Proceedings in Mathematics & Statistics 43, 215-227 (2013).
MSC:  05B20
PDFBibTeX XMLCite
Full Text: DOI

Advances in combinatorics. In part based on the 3rd Waterloo workshop on computer algebra (WWCA, W80) 2011, Waterloo, Canada, May 26–29, 2011. Dedicated to Herbert Saul Wilf on the occasion of his 80th birthday. (English) Zbl 1271.05001

Berlin: Springer (ISBN 978-3-642-30978-6/hbk; 978-3-642-30979-3/ebook). xx, 293 p. (2013).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software