×

Found 404 Documents (Results 1–100)

Stability and zero-Hopf bifurcation analysis of the Lorenz-Stenflo system using symbolic methods. (English) Zbl 07842267

Boulier, François (ed.) et al., Computer algebra in scientific computing. 25th international workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14139, 183-198 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

On the complexity of linear algebra operations over algebraic extension fields. (English) Zbl 07842265

Boulier, François (ed.) et al., Computer algebra in scientific computing. 25th international workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14139, 141-161 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Using symbolic computation to analyze zero-Hopf bifurcations of polynomial differential systems. (English) Zbl 07760775

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 307-314 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Differential fault based key recovery attacks on TRIAD. (English) Zbl 07497451

Hong, Deukjo (ed.), Information security and cryptology – ICISC 2020. 23rd international conference, Seoul, South Korea, December 2–4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12593, 273-287 (2021).
MSC:  68P25 94A60
PDFBibTeX XMLCite
Full Text: DOI

Algebraic analysis of bifurcations and chaos for discrete dynamical systems. (English) Zbl 07441068

Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 169-184 (2020).
MSC:  39A33 39A28 68W30
PDFBibTeX XMLCite
Full Text: DOI

Symbolic methods for solving algebraic systems of equations and applications for testing the structural stability. (English) Zbl 1448.93052

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, 203-237 (2020).
PDFBibTeX XMLCite
Full Text: DOI HAL

Linear algebra for zero-dimensional ideals. (English) Zbl 1467.13057

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). 21-25 (2019).
MSC:  13P15 68W30
PDFBibTeX XMLCite
Full Text: DOI

Extending the GVW algorithm to local ring. (English) Zbl 1467.13049

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). 271-278 (2018).
MSC:  13P10 68W05
PDFBibTeX XMLCite
Full Text: DOI

Exploring the dynamic Buchberger algorithm. (English) Zbl 1457.68330

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). 365-372 (2017).
MSC:  68W30 13P10
PDFBibTeX XMLCite
Full Text: DOI

On signature-based Gröbner bases over Euclidean rings. (English) Zbl 1458.13032

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). 141-148 (2017).
MSC:  13P10 68W30
PDFBibTeX XMLCite
Full Text: DOI

The generalized Rabinowitsch trick. (English) Zbl 1396.13025

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, 219-229 (2017).
MSC:  13P10 13A15
PDFBibTeX XMLCite
Full Text: DOI

Enhancing the extended Hensel construction by using Gröbner bases. (English) Zbl 1453.13073

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, 457-472 (2016).
MSC:  13P05 13P10
PDFBibTeX XMLCite
Full Text: DOI

When is a formula a loop invariant? (English) Zbl 1321.68191

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 264-286 (2015).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software