×

Found 33 Documents (Results 1–33)

100
MathJax

Thomas decomposition and nonlinear control systems. (English) Zbl 1451.93171

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, 117-146 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems. (English) Zbl 1467.35020

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). 163-170 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Formal algorithmic elimination for PDEs. (English) Zbl 1364.35008

Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 19-22 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Consistency of finite difference approximations for linear PDE systems and its algorithmic verification. (English) Zbl 1321.65161

Watt, Stephen M. (ed.), Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0150-3). 53-59 (2010).
PDF BibTeX XML Cite
Full Text: DOI

Controllability and differential flatness of linear analytic ordinary differential systems. (English) Zbl 1215.93020

Zerz, Eva (ed.), Algebraic systems theory, behaviors, and codes. Selected papers presented at the 19th international symposium on mathematical theory of networks and systems (MTNS), Budapest, Hungary, July 2010. Dedicated to Ulrich Oberst on the occasion of his 70th birthday. Aachen: Shaker Verlag (ISBN 978-3-8322-9219-5/pbk). 23-30 (2010).
MSC:  93B05 93C15 93B25
PDF BibTeX XML Cite

Thomas decomposition of algebraic and differential systems. (English) Zbl 1202.68488

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6–12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 31-54 (2010).
PDF BibTeX XML Cite
Full Text: DOI arXiv

OreModules: A symbolic package for the study of multidimensional linear systems. (English) Zbl 1248.93006

Chiasson, John (ed.) et al., Applications of time delay systems. Berlin: Springer (ISBN 978-3-540-49555-0/pbk). Lecture Notes in Control and Information Sciences 352, 233-264 (2007).
MSC:  93-04 93B40 93C15 93C05
PDF BibTeX XML Cite
Full Text: DOI

Some elimination problems for matrices. (English) Zbl 1141.68709

Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing. 10th international workshop, CASC 2007, Bonn, Germany, September 16–20, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75186-1/pbk). Lecture Notes in Computer Science 4770, 350-359 (2007).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Janet bases and applications. (English) Zbl 1130.13019

Rosenkranz, Markus (ed.) et al., Gröbner bases in symbolic analysis. Based on talks delivered at the special semester on Gröbner bases and related methods, Linz, Austria, May 2006. Berlin: Walter de Gruyter (ISBN 978-3-11-019323-7/hbk). Radon Series on Computational and Applied Mathematics 2, 139-168 (2007).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification