×

Found 517 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

Computer algebra. An algorithm-oriented introduction. Translated and updated from the 2006 German language edition. (English) Zbl 1484.68004

Springer Undergraduate Texts in Mathematics and Technology. Cham: Springer (ISBN 978-3-030-78016-6/hbk; 978-3-030-78019-7/pbk; 978-3-030-78017-3/ebook). xii, 384 p. (2021).
MSC:  68-01 68W30
PDF BibTeX XML Cite
Full Text: DOI

Computation of free non-commutative Gröbner bases over \(\mathbb{Z}\) with Singular:Letterplace. (English) Zbl 07300086

Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 312-319 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Letterplace – a subsystem of Singular for computations with free algebras via letterplace embedding. (English) Zbl 07300085

Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 305-311 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

A complete proof system for 1-free regular expressions modulo bisimilarity. (English) Zbl 07299489

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 465-478 (2020).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

A modular extension for a computer algebra system. (English. Russian original) Zbl 1455.68283

Program. Comput. Softw. 46, No. 2, 98-104 (2020); translation from Programmirovanie 46, No. 2, 30-37 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Application of computer algebra methods to investigation of stationary motions of a system of two connected bodies moving in a circular orbit. (English. Russian original) Zbl 1476.70012

Comput. Math. Math. Phys. 60, No. 1, 74-81 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 80-87 (2020).
MSC:  70F05 68W30
PDF BibTeX XML Cite
Full Text: DOI

Equivalences of linear functional systems. (English) Zbl 1448.93053

Quadrat, Alban (ed.) et al., Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4–6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7–11, 2014. Cham: Springer. Adv. Delays Dyn. 9, 53-86 (2020).
MSC:  93B25 93C05
PDF BibTeX XML Cite
Full Text: DOI Link

Symbolic-numeric implementation of the four potential method for calculating normal modes: an example of square electromagnetic waveguide with rectangular insert. (English) Zbl 1437.65200

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, 412-429 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Symbolic investigation of the dynamics of a system of two connected bodies moving along a circular orbit. (English) Zbl 1470.70037

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, 164-178 (2019).
MSC:  70M20 68W30 37J20
PDF BibTeX XML Cite
Full Text: DOI

Computer algebra with Maxima. Foundations of application and programming. 2nd updated edition. (Computeralgebra mit Maxima. Grundlagen der Anwendung und Programmierung.) (German) Zbl 1423.68004

Leipzig: Fachbuchverlag Leipzig im Carl Hanser Verlag (ISBN 978-3-446-44868-1/pbk; 978-3-446-46095-9/ebook). 320 p. (2019).
PDF BibTeX XML Cite

Möbius-Lie geometry and its extension. (English) Zbl 1415.51003

Mladenov, Ivaïlo M. (ed.) et al., Proceedings of the 20th international conference on geometry, integrability and quantization, Sts. Constantine and Elena (near Varna), Bulgaria, June 2–7, 2018. Sofia: Avangard Prima; Sofia: Bulgarian Academy of Sciences, Institute of Biophysics and Biomedical Engineering. Geom. Integrability Quantization 20, 13-61 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv Euclid

Non-wellfounded proof theory for (Kleene+action)(algebras+lattices). (English) Zbl 07533344

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 19, 18 p. (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

The method of collocations and least residuals combining the integral form of collocation equations and the matching differential relations at the solution of PDEs. (English) Zbl 1455.65217

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 19th international workshop, CASC 2017, Beijing, China, September 18–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10490, 346-361 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Homological computations for term rewriting systems. (English) Zbl 1387.68146

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 27, 17 p. (2016).
MSC:  68Q42 08A70 18C10
PDF BibTeX XML Cite
Full Text: DOI

Symbolic-numerical optimization and realization of the method of collocations and least residuals for solving the Navier-Stokes equations. (English) Zbl 1453.76037

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, 473-488 (2016).
MSC:  76D05 65M70 76M22
PDF BibTeX XML Cite
Full Text: DOI

Analysis of stability boundaries of satellite’s equilibrium attitude in a circular orbit. (English. Russian original) Zbl 1370.70045

Comput. Math. Math. Phys. 56, No. 3, 407-416 (2016); translation from Zh. Vychisl. Mat. Mat. Fiz. 56, No. 3, 421-431 (2016).
MSC:  70M20 34D20
PDF BibTeX XML Cite
Full Text: DOI

Identification of parameters in initial value problems for ordinary differential equations. (English) Zbl 1374.93093

Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 17. Proceedings of the 17th seminar (PANM), Dolní Maxov, Czech Republic, June 8–13, 2014. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics (ISBN 978-80-85823-64-6). 58-63 (2015).
MSC:  93B30 93B40 93C15 65K10 93B35 34A12
PDF BibTeX XML Cite
Full Text: Link

Introduction to numerical programming. A practical guide for scientists and engineers using Python and C/C++. (English) Zbl 1308.65001

Series in Computational Physics. Boca Raton, FL: CRC Press (ISBN 978-1-4665-6967-6/pbk). xix, 653 p. (2015).
PDF BibTeX XML Cite

Overview of the Mathemagix type system. (English) Zbl 1352.68306

Feng, Ruyong (ed.) et al., Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). 397-425 (2014).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI Link

Applied algebraic geometry in model based design for manufacturing. (English) Zbl 1326.93050

Wakayama, Masato (ed.) et al., The impact of applications on mathematics. Proceedings of the Forum of Mathematics for Industry, “Math-for-Industry 2013”, Fukuoka, Japan, November 4–8, 2013. Tokyo: Springer (ISBN 978-4-431-54906-2/hbk; 978-4-431-54907-9/ebook). Mathematics for Industry 1, 177-186 (2014).
PDF BibTeX XML Cite
Full Text: DOI

CAS application to the construction of the collocations and least residuals method for the solution of the Burgers and Korteweg-de-Vries-Burgers equations. (English) Zbl 1417.76001

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 16th international workshop, CASC 2014, Warsaw, Poland, September 8–12, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8660, 432-446 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Computer algebra with Maxima. Foundations of application and programming. (Computeralgebra mit Maxima. Grundlagen der Anwendung und Programmierung.) (German) Zbl 1304.68001

Leipzig: Fachbuchverlag Leipzig im Carl Hanser Verlag (ISBN 978-3-446-44203-0/hbk; 978-3-446-43730-2/ebook). 317 p. (2014).
PDF BibTeX XML Cite

Algebras for information systems. (English) Zbl 1308.68116

Skowron, Andrzej (ed.) et al., Rough sets and intelligent systems – Professor Zdzisław Pawlak in memoriam. Volume 1. Foreword by Roman Słowiński. Berlin: Springer (ISBN 978-3-642-30343-2/hbk; 978-3-642-30344-9/ebook). Intelligent Systems Reference Library 42, 381-407 (2013).
PDF BibTeX XML Cite
Full Text: DOI

A simple, combinatorial algorithm for solving SDD systems in nearly-linear time. (English) Zbl 1293.68145

Proceedings of the 45th annual ACM symposium on theory of computing, STOC ’13. Palo Alto, CA, USA, June 1–4, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2029-0). 911-920 (2013).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Approximate bounded synthesis for distributed systems. (English) Zbl 1324.68001

Saarbrücken: LAP Lambert Academic Publishing (ISBN 978-3-659-32021-7). 236 p. (2013).
PDF BibTeX XML Cite

New chocolate games. Variants of the game of Nim. (English) Zbl 1411.91158

Proceedings of the annual international conference on computational mathematics, computational geometry and statistics (CMCGS 2012), Singapore, January 30–31, 2012. Singapore: Global Science and Technology Forum (GSTF). 123-129 (2012).
MSC:  91A46 91-04
PDF BibTeX XML Cite

Denominators of rational solutions of linear difference systems of an arbitrary order. (English. Russian original) Zbl 1261.65134

Program. Comput. Softw. 38, No. 2, 84-91 (2012); translation from Programmirovanie 38, No. 2 (2012).
MSC:  65Q10 39A06 68W30
PDF BibTeX XML Cite
Full Text: DOI

A symbolic approach to generation and analysis of finite difference schemes of partial differential equations. (English) Zbl 1250.65109

Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts & Monographs in Symbolic Computation, 123-156 (2012).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Guide to FPGA implementation of arithmetic functions. (English) Zbl 1278.68026

Lecture Notes in Electrical Engineering 149. Dordrecht: Springer (ISBN 978-94-007-2986-5/hbk; 978-94-007-2987-2/ebook). xv, 469 p. (2012).
MSC:  68-06 94-06 68-00 94-00 94C10
PDF BibTeX XML Cite
Full Text: DOI

Calculation of first integrals of a two-dimensional ODE system near a degenerate stationary point by computer algebra tools. (English. Russian original) Zbl 1248.65072

Program. Comput. Softw. 37, No. 2, 99-103 (2011); translation from Programmirovanie 37, No. 2 (2011).
PDF BibTeX XML Cite
Full Text: DOI

Computer algebra and line search. (English) Zbl 1215.65112

Gautschi, Walter (ed.) et al., Approximation and computation. In honor of Gradimir V. Milovanović. Most papers based on the presentations at the international conference, Niš, Serbia, August 25–29, 2008. Dordrecht: Springer (ISBN 978-1-4419-6593-6/hbk; 978-1-4419-6594-3/ebook). Springer Optimization and Its Applications 42, 425-438 (2011).
MSC:  65K05
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