• DML-CZ Home

68W30 Symbolic computation and algebraic computation (15 articles)

• Boháčová, Jana; Lungová, Jana; Plešinger, Martin: Strassenovo násobení matic a problém hodnosti jistého tenzoru. (Czech) [Strassen Matrix Multiplication and the Rank Problem of a Certain Tensor]. Pokroky matematiky, fyziky a astronomie, vol. 71 (2026), issue 1, pp. 13-22
• Bartoň, Stanislav: Aerodynamic deceleration at velocities near the escape velocity. (English). In: Chleboun, J., Papež, J., Segeth, K., Šístek, J. and Vejchodský, T. (eds.): Programs and Algorithms of Numerical Mathematics 22. Institute of Mathematics, Czech Academy of Sciences, Prague, 2025. pp. 7-15
• Kadyrov, Shirali; Mashurov, Farukh: Unified computational approach to nilpotent algebra classification problems. (English). Communications in Mathematics, vol. 29 (2021), issue 2, pp. 215-226
• Bartoň, Stanislav; Renčín, Lukáš: A. C. Clarke's Space Odyssey and Newton's law of gravity. (English). In: Chleboun, J., Kůs, P., Přikryl, P., Segeth, K., Šístek, J. and Vejchodský, T. (eds.): Programs and Algorithms of Numerical Mathematics. Proceedings of Seminar. Janov nad Nisou, June 19-24, 2016. Institute of Mathematics CAS, Prague, 2017. pp. 7-14
• Bremner, Murray R.; Madariaga, Sara; Peresi, Luiz A.: Structure theory for the group algebra of the symmetric group, with applications to polynomial identities for the octonions. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 57 (2016), issue 4, pp. 413-452
• Behboodi, Mahmood; Beyranvand, Reza; Hashemi, Amir; Khabazian, Hossein: Classification of finite rings: theory and algorithm. (English). Czechoslovak Mathematical Journal, vol. 64 (2014), issue 3, pp. 641-658
• Bartoň, Stanislav; Petřík, Michal: Envelope construction of two-parameteric system of curves in the technological practice. (English). In: Chleboun, J., Přikryl, P., Segeth, K., Šístek, J. and Vejchodský, T. (eds.): Programs and Algorithms of Numerical Mathematics. Proceedings of Seminar. Dolní Maxov, June 8-13, 2014. Institute of Mathematics AS CR, Prague, 2015. pp. 17-22
• Bremner, Murray R.: Free associative algebras, noncommutative Gröbner bases, and universal associative envelopes for nonassociative structures. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 55 (2014), issue 3, pp. 341-379
• Malvestuto, Francesco M.: The sum-product algorithm: algebraic independence and computational aspects. (English). Kybernetika, vol. 49 (2013), issue 1, pp. 4-22
• Pelantová, Edita; Starosta, Štepán: Nestandardní zápisy čísel. (Czech) [Non-standard numeral systems]. Pokroky matematiky, fyziky a astronomie, vol. 56 (2011), issue 4, pp. 276-289
• Hartman, Jan; Lukšan, Ladislav; Zítko, Jan: Automatic differentiation and its program realization. (English). Kybernetika, vol. 45 (2009), issue 5, pp. 865-883
• Sorge, Volker; Colton, Simon; McCasland, Roy; Meier, Andreas: Classification results in quasigroup and loop theory via a combination of automated reasoning tools. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 49 (2008), issue 2, pp. 319-339
• Bank, Bernd; Giusti, Marc; Heintz, Joos; Pardo, Luis M.: Generalized polar varieties and an efficient real elimination. (English). Kybernetika, vol. 40 (2004), issue 5, pp. [519]-550
• Lemieux, François; Moore, Cristopher; Thérien, Denis: Polyabelian loops and Boolean completeness. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 41 (2000), issue 4, pp. 671-686
• Wang, Duo; Mao, Rei: Improved K-K algorithm for computing Lyapunov values. (English). In: Brunovský, Pavol and Medveď, Milan (eds.): Equadiff 8. Czech - Slovak Conference on Differential Equations and Their Applications. Bratislava, August 24-28, 1993. Mathematical Institute, Slovak Academy of Sciences, Bratislava, 1994. pp. 235-242