×

Found 608 Documents (Results 1–100)

100
MathJax

Fuzz testing technique and its use in cybersecurity tasks. (English. Ukrainian original) Zbl 07515005

Cybern. Syst. Anal. 58, No. 1, 157-163 (2022); translation from Kibern. Sist. Anal. 58, No. 1, 181-189 (2022).
MSC:  68Qxx 68Mxx 68Txx
PDF BibTeX XML Cite
Full Text: DOI

Computing Igusa’s local zeta function of univariates in deterministic polynomial-time. (English) Zbl 1457.11166

Galbraith, Steven D. (ed.), ANTS XIV. Proceedings of the fourteenth algorithmic number theory symposium, Auckland, New Zealand, virtual event, June 29 – July 4, 2020. Berkeley, CA: Mathematical Sciences Publishers (MSP). Open Book Ser. 4, 197-214 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Improved structural methods for nonlinear differential-algebraic equations via combinatorial relaxation. (English) Zbl 1467.34009

Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 315-322 (2019).
MSC:  34A09 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

A parallel relation-based algorithm for symbolic bisimulation minimization. (English) Zbl 07157062

Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11388, 535-554 (2019).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

Eventually dendric shifts. (English) Zbl 07121060

van Bevern, René (ed.) et al., Computer science – theory and applications. 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11532, 106-118 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

pFaces: an acceleration ecosystem for symbolic control. (English) Zbl 07120161

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 252-257 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI

Checking sequence generation for symbolic input/output FSMs by constraint solving. (English) Zbl 06983516

Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11187, 354-375 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

A blackbox polynomial system solver on parallel shared memory computers. (English) Zbl 1453.65469

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 20th international workshop, CASC 2018, Lille, France, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11077, 361-375 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Automated symbolic and numerical testing of DLMF formulae using computer algebra systems. (English) Zbl 1417.68272

Rabe, Florian (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11006, 39-52 (2018).
MSC:  68U35 68U15 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (extended abstract). (English) Zbl 06932490

Manea, Florin (ed.) et al., Sailing routes in the world of computation. 14th conference on computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10936, 376-385 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. (English) Zbl 1391.68004

Lecture Notes in Computer Science 10931. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). xix, 508 p. (2018).
MSC:  68-06 65-06 65Yxx 68T15 68U35 68W30 00B25
PDF BibTeX XML Cite
Full Text: DOI

Polynomial time interactive proofs for linear algebra with exponential matrix dimensions and scalars given by polynomial time circuits. (English) Zbl 1457.68111

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). 125-132 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Consistently-detecting monitors. (English) Zbl 1442.68107

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 8, 19 p. (2017).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI

On interval methods with zero rewriting and exact geometric computation. (English) Zbl 1433.68502

Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10693, 211-226 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Dixon-EDF: the premier method for solution of parametric polynomial systems. (English) Zbl 1393.68192

Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 237-256 (2017).
MSC:  68W30 13P10 13P15
PDF BibTeX XML Cite
Full Text: DOI

Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems. (English) Zbl 1367.68333

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 115-131 (2017).
MSC:  68U15 68U35 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Algebra, coalgebra, and minimization in polynomial differential equations. (English) Zbl 06720984

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 71-87 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Minimal multiset grammars for recurrent dynamics. (English) Zbl 1483.68115

Leporati, Alberto (ed.) et al., Membrane computing. 17th international conference, CMC 2016, Milan, Italy, July 25–29, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10105, 177-189 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Symbolic computation of differential equivalences. (English) Zbl 1347.68258

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 137-150 (2016).
PDF BibTeX XML Cite
Full Text: DOI Link

Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models. (English) Zbl 1346.68138

Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 281-300 (2016).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI

An online computing and knowledge platform for differential equations. (English) Zbl 1434.68710

Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 181-188 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. (English) Zbl 1342.68017

Lecture Notes in Computer Science 9725. Cham: Springer (ISBN 978-3-319-42431-6/pbk; 978-3-319-42432-3/ebook). xxiv, 532 p. (2016).
MSC:  68-06 65-06 65Yxx 68T15 68U35 68W30 00B25
PDF BibTeX XML Cite
Full Text: DOI

Precision-driven computation in the evaluation of expression-dags with common subexpressions: problems and solutions. (English) Zbl 1460.65018

Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 451-465 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Scientific computing with MATLAB. 2nd edition. (English) Zbl 1344.65001

Boca Raton, FL: CRC Press (ISBN 978-1-4987-5777-5/hbk; 978-0-367-78313-6/pbk; 978-1-315-36785-9/ebook). xvii, 586 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Computational mathematics. Models, methods, and analysis with MATLAB and MPI. 2nd edition. (English) Zbl 1336.65002

Textbooks in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-1-4822-3515-9/hbk; 978-1-4822-3517-3/ebook). xxii, 476 p. (2016).
PDF BibTeX XML Cite

Introduction to computation and modeling for differential equations. 2nd edition. (English) Zbl 1338.65001

Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-01844-5/hbk; 978-1-119-01845-2/ebook). xi, 271 p. (2016).
PDF BibTeX XML Cite

Abstract symbolic automata: mixed syntactic/semantic similarity analysis of executables. (English) Zbl 1345.68100

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 329-341 (2015).
MSC:  68N30 68Q45 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Solving polynomial systems in the cloud with polynomial homotopy continuation. (English) Zbl 1439.13078

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14–18, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9301, 87-100 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Enabling symbolic and numerical computations in HOL Light. (English) Zbl 1417.68193

Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 353-358 (2015).
MSC:  68T15 68U35 68W30
PDF BibTeX XML Cite
Full Text: DOI

On solving systems of diagonal polynomial equations over finite fields. (English) Zbl 1356.68280

Wang, Jianxin (ed.) et al., Frontiers in algorithmics. 9th international workshop, FAW 2015, Guilin, China, July 3–5, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19646-6/pbk; 978-3-319-19647-3/ebook). Lecture Notes in Computer Science 9130, 125-137 (2015).
MSC:  68W30 12Y05 68Q12
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

The transitivity problem of Turing machines. (English) Zbl 1465.68072

Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 231-242 (2015).
PDF BibTeX XML Cite
Full Text: DOI HAL

Nearly optimal computations with structured matrices. (English) Zbl 1346.68297

Watt, Stephen M. (ed.) et al., Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28–31, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2963-7). 21-30 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv

The Euclidean distance degree. (English) Zbl 1346.68281

Watt, Stephen M. (ed.) et al., Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28–31, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2963-7). 9-16 (2014).
MSC:  68W30 14P05 14Q15
PDF BibTeX XML Cite
Full Text: DOI

Soft contract verification. (English) Zbl 1346.68062

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 139-152 (2014).
MSC:  68N30 68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI arXiv

PeCAn: compositional verification of Petri nets made easy. (English) Zbl 1448.68305

Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 242-247 (2014).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Symbolic computing package for Mathematica for versatile manipulation of mathematical expressions. (English) Zbl 1403.68364

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). Lecture Notes in Computer Science 8592, 21-25 (2014).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software