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
Full Text:

Disjoint direct product decompositions of permutation groups. (English)Zbl 07379067

MSC:  20-XX 20Bxx 68Qxx
Full Text:

Full Text:

On the representability degrees of linear orders. (English)Zbl 07473622

MSC:  03D45 08A70 54A05
Full Text:

Full Text:

MSC:  70-08
Full Text:

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
Full Text:

A supplementary strategy for coarsening in algebraic multigrid. (English)Zbl 07332972

MSC:  65Yxx 65Fxx 65Nxx
Full Text:

Detection of application layer DDoS attacks using big data technologies. (English)Zbl 07477086

MSC:  68Mxx 08A70
Full Text:

Full Text:

Full Text:

Full Text:

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
Full Text:

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
Full Text:

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
Full Text:

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
Full Text:

Discrete time stochastic and deterministic Petri box calculus dtsdPBC. (English)Zbl 1448.68352

MSC:  68Q85 68Q55 68Q87
Full Text:

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
Full Text:

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
Full Text:

Full Text:

The implementation of Hori-Deprit method to the construction averaged planetary motion theory by means of computer algebra system Piranha. (English)Zbl 1456.70028

MSC:  70F15 70-08 68W30
Full Text:

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).
Full Text:

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
Full Text:

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).

MSC:  28-XX
Full Text:

An algorithm for computing Grothendieck local residues. I: Shape basis case. (English)Zbl 1474.32015

MSC:  32A27 13N10
Full Text:

How to use CAS (Maple) to help students learn number theory. (English)Zbl 1474.97008

MSC:  97F60 97U70
Full Text:

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).
Full Text:

A new preconditioner that exploits low-rank approximations to factorization error. (English)Zbl 1408.65013

MSC:  65F10 65F08 65F05 65F25 65F30 68Q87
Full Text:

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
Full Text:

Towards a system theory of rational systems. (English)Zbl 1427.93053

Bart, Harm (ed.) et al., Operator theory, analysis and the state space approach. In honor of Rien Kaashoek. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 271, 327-359 (2018).
Full Text:

Simultaneous conversions with the residue number system using linear algebra. (English)Zbl 1484.65349

MSC:  65Y04 65F99
Full Text:

Full Text:

Primitive transcendental functions and symbolic computation. (English)Zbl 1387.68303

MSC:  68W30 30B50
Full Text:

Fundamentals of computer architecture and design. (English)Zbl 1409.68002

Cham: Springer (ISBN 978-3-319-25809-6/hbk; 978-3-319-25811-9/ebook). xiv, 533 p. (2017).
MSC:  68-01 68M07 68M10 68M12 68M20 94C10
Full Text:

Full Text:

Full Text:

MSC:  78M15
Full Text:

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).
Full Text:

Adjoint-based sensitivity analysis by panel methods and CAS. (English)Zbl 1368.49048

MSC:  49Q12 68W30
Full Text:

MSC:  03B70
Full Text:

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
Full Text:

Full Text:

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
Full Text:

Full Text:

Cooperation of KeTCindy and computer algebra system. (English)Zbl 1434.68609

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, 351-358 (2016).
MSC:  68U05 68W30
Full Text:

Revival of a classical topic in differential geometry: the exploration of envelopes in a computerized environment. (English)Zbl 1345.97009

MSC:  97I60 97U70
Full Text:

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
Full Text:

Category-theoretic models of algebraic computer systems. (English. Russian original)Zbl 1362.68075

Comput. Math. Math. Phys. 56, No. 1, 173-184 (2016); translation from Zh. Vychisl. Mat. Mat. Fiz. 56, No. 1, 167-179 (2016).
MSC:  68Q05 03B50 18A40
Full Text:

Full Text:

Full Text:

Investigation of invariants of a chemical reaction system with algorithms of computer algebra. (English)Zbl 1403.92355

MSC:  92E20 34C23

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
Full Text:

Formalization of the object classification algorithm. (English. Russian original)Zbl 1347.68295

Cybern. Syst. Anal. 51, No. 5, 751-756 (2015); translation from Kibern. Sist. Anal. 2015, No. 2, 95-101 (2015).
MSC:  68T10 08A70
Full Text:

Full Text:

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).

On ranks of subsets in the space of binary vectors admitting an embedding of a Steiner system $$S(2,4,v)$$. (Russian. English summary)Zbl 07310240

MSC:  15-XX 68-XX
Full Text:

Symbolic computation in modelling and qualitative analysis of dynamic systems. (Russian. English summary)Zbl 1401.94258

MSC:  94C05 70E99 68W30
Full Text:

From theoretical graphic objects to real free-form solids. (English)Zbl 1339.68263

MSC:  68U05 52B55
Full Text:

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
Full Text:

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).
Full Text:

University students’ understanding of tasks involving ways to approximate definite integrals. (English)Zbl 1322.97004

MSC:  97D70 97I50 97U70
Full Text:

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).
Full Text:

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).

Neglected critical issues of effective CAS utilization. (English)Zbl 1284.97033

MSC:  97U70 97D50 68W30
Full Text:

On gyroscopic stabilization of the relative equilibriums of oblate axisymmetric gyrostat. (Russian. English summary)Zbl 1356.70006

MSC:  70E05 70E50
Full Text:

Full Text:

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).
Full Text:

A package to work with linear partial differential operators. (English. Russian original)Zbl 1311.65180

Program. Comput. Softw. 39, No. 4, 212-219 (2013); translation from Programmirovanie 39, No. 4 (2013).
Full Text:

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).
Full Text:

The traditional calculus sequence and graphics calculators: a personal perspective. (English)Zbl 1298.97068

MSC:  97I10 97U70
Full Text:

Fourteen limit cycles in a seven-degree nilpotent system. (English)Zbl 1298.34062

MSC:  34C07 34C05 34C23
Full Text:

Interconnection of asynchronous Boolean networks, asymptotic and transient dynamics. (English)Zbl 1350.93008

MSC:  93A15 05C90 68R10 92C42 93B15 94C10
Full Text:

Full Text:

Algebraic verification method for SEREs properties via Groebner bases approaches. (English)Zbl 1267.68147

MSC:  68Q60 68W30
Full Text:

On rewriting rules in Mizar. (English)Zbl 1260.68376

MSC:  68T15 68W30
Full Text:

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).

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

Algebraic approach to logical inference implementation. (English)Zbl 1413.68130

MSC:  68T27 08A70 68T30

Construction of 5-dimensional matrix Lie algebra using Maple. (Russian. English summary)Zbl 1337.17002

MSC:  17-08 17B05 53C30

Specification of multiple inheritances in the form of an overlap operation. (Ukrainian. English summary)Zbl 1289.68025

MSC:  68P15 08A68 08A70

Testing regularity of functional equations with computer. (English)Zbl 1257.65073

MSC:  65Q20 39B22 39-04
Full Text:

BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases. (English. Russian original)Zbl 1251.68309

Program. Comput. Softw. 38, No. 2, 92-101 (2012); translation from Programmirovanie 38, No. 2 (2012).
Full Text:

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
Full Text:

Full Text:

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).
Full Text:

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
Full Text:

Linear algebra tools for data mining. (English)Zbl 1246.15001

Hackensack, NJ: World Scientific (ISBN 978-981-4383-49-3/hbk; 978-981-4383-50-9/ebook). xiv, 863 p. (2012).
Full Text:

Performance evaluation of the generalized shared memory system in dtsPBC. (English)Zbl 1374.68087

MSC:  68M20 68Q85 68Q87
Full Text:

Fuzzy-algorithmic reliability analysis of complex systems. (English. Russian original)Zbl 1358.68288

Cybern. Syst. Anal. 47, No. 6, 919-931 (2011); translation from Kibern. Sist. Anal. 2011, No. 6, 102-115 (2011).
MSC:  68T37 68M15
Full Text:

A definite summation of hypergeometric terms of special kind. (English. Russian original)Zbl 1247.33038

Program. Comput. Softw. 37, No. 4, 187-191 (2011); translation from Programmirovanie 37, No. 4 (2011).
MSC:  33F10 68W30
Full Text:

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).
Full Text:

Modeling, stability analysis and timetable design for parallel computer processing systems by means of timed Petri nets, Lyapunov methods and max-plus algebra. (English)Zbl 1247.68188

MSC:  68Q85 93D20 15A80

Pentavalent symmetric graphs of order $$2pq$$. (English)Zbl 1246.05072

MSC:  05C25 05C85
Full Text:

Full Text:

Computing character tables of groups of type $$M.G.A$$. (English)Zbl 1225.20005

MSC:  20C15 20C40 20C20
Full Text:

Full Text:

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
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3