×

Found 44 Documents (Results 1–44)

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. (English) Zbl 1446.93001

Advances in Delays and Dynamics 9. Cham: Springer (ISBN 978-3-030-38355-8/hbk; 978-3-030-38356-5/ebook). xv, 311 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Algebra and geometry in the study of enzymatic cascades. (English) Zbl 1436.13058

Araujo, Carolina (ed.) et al., World women in mathematics 2018. Proceedings of the first world meeting for women in mathematics (WM)\({}^2\), a satellite conference of ICM, Rio de Janeiro, Brazil, July 31, 2018. Dedicated to the memory of Maryam Mirzakhani. Cham: Springer. Assoc. Women Math. Ser. 20, 57-81 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Computing rational solutions of linear matrix inequalities. (English) Zbl 1360.68934

Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 197-204 (2013).
PDFBibTeX XMLCite
Full Text: DOI HAL

The “Seven Dwarfs” of symbolic computation. (English) Zbl 1257.65013

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, 95-104 (2012).
PDFBibTeX XMLCite
Full Text: DOI Link

Constructing two-dimensional Voronoi diagrams via divide-and-conquer of envelopes in space. (English) Zbl 1309.68206

Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science IX. Special issue on Voronoi diagrams in science and engineering. Berlin: Springer (ISBN 978-3-642-16006-6/pbk). Lecture Notes in Computer Science 6290. Journal Subline, 1-27 (2010).
MSC:  68U05 65D18 68W20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Constructing the exact Voronoi diagram of arbitrary lines in three-dimensional space. With fast point-location. (English) Zbl 1287.68174

de Berg, Mark (ed.) et al., Algorithms – ESA 2010. 18th annual European symposium, Liverpool, UK, September 6–8, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-15774-5/pbk). Lecture Notes in Computer Science 6346, 398-409 (2010).
MSC:  68U05 68P05
PDFBibTeX XMLCite
Full Text: DOI

Variant real quantifier elimination: algorithm and application. (English) Zbl 1237.14005

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 183-190 (2009).
MSC:  14-04 14Q15 68W30
PDFBibTeX XMLCite
Full Text: DOI

The Voronoi diagram of three lines. (English) Zbl 1221.68268

Proceedings of the 23rd annual symposium on computational geometry 2007, Gyeongiu, South Korea, June 6–8, 2007. New York, NY: Association for Computing Machinery (ISBN 978-1-59593-705-6). 255-264 (2007).
PDFBibTeX XMLCite

Triangulations of line segment sets in the plane. (English) Zbl 1135.68596

Arvind, V. (ed.) et al., FSTTCS 2007: Foundations of software technology and theoretical computer science. 27th international conference, New Delhi, India, December 12–14, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-77049-7/pbk). Lecture Notes in Computer Science 4855, 388-399 (2007).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field