×

Found 319 Documents (Results 1–100)

The moment-SOS hierarchy. Lectures in probability, statistics, computational geometry, control and nonlinear PDEs. (English) Zbl 1485.90001

Series on Optimization and Its Applications 4. Hackensack, NJ: World Scientific (ISBN 978-1-78634-853-1/hbk; 978-1-78634-855-5/ebook). xvii, 229 p. (2021).
Full Text: DOI

On ranking function synthesis and termination for polynomial programs. (English) Zbl 07559471

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 15, 15 p. (2020).
MSC:  68Q85
Full Text: DOI

Computing the real isolated points of an algebraic hypersurface. (English) Zbl 1520.14110

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). 297-304 (2020).
MSC:  14Q30 14P05 68W30

An experimental study of forbidden patterns in geometric permutations by combinatorial lifting. (English) Zbl 07559240

Barequet, Gill (ed.) et al., 35th international symposium on computational geometry, SoCG 2019, Portland, Oregon, USA, June 18–21, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 129, Article 40, 16 p. (2019).
MSC:  68U05
Full Text: DOI

An efficient algorithm for generalized polynomial partitioning and its applications. (English) Zbl 1542.14071

Barequet, Gill (ed.) et al., 35th international symposium on computational geometry, SoCG 2019, Portland, Oregon, USA, June 18–21, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 129, Article 5, 14 p. (2019).
Full Text: DOI

Topology of real singularities. (English) Zbl 1405.58020

Araújo dos Santos, Raimundo Nonato (ed.) et al., Singularities and foliations. Geometry, topology and applications. BMMS 2/NBMS 3, Salvador, Brazil, 2015. Proceedings of the 3rd singularity theory meeting, ENSINO, July 8–11, 2015 and the Brazil-Mexico 2nd meeting of singularities, July 13–17, 2015. Cham: Springer (ISBN 978-3-319-73638-9/hbk; 978-3-319-73639-6/ebook). Springer Proceedings in Mathematics & Statistics 222, 51-88 (2018).
MSC:  58K15 58K65 14P10
Full Text: DOI

On the Skolem problem for continuous linear dynamical systems. (English) Zbl 1388.68043

Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 100, 13 p. (2016).
MSC:  68Q05 11U05 14P10 34A30

Computing the domain of attraction of switching systems subject to non-convex constraints. (English) Zbl 1364.93377

Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 41-50 (2016).

Topological formulas for closed semi-algebraic sets by Euler integration. (English) Zbl 1359.14051

Nabarro, Ana Claudia (ed.) et al., Real and complex singularities. XIII international workshop on real and complex singularities, São Carlos, Brazil, July 27 – August 8, 2014 in honor of María del Carmen Romero Fuster’s 60th birthday. Proceedings. Providence, RI: American Mathematical Society (AMS); Madrid: Real Sociedad Matemática Española (RSME) (ISBN 978-1-4704-2205-9/pbk; 978-1-4704-3558-5/ebook). Contemporary Mathematics 675, 89-102 (2016).
MSC:  14P10 14P25
Full Text: DOI

Stratifications in valued fields. (English) Zbl 1345.03069

Campillo, Antonio (ed.) et al., Valuation theory in interaction. Proceedings of the 2nd international conference and workshop on valuation theory, Segovia and El Escorial, Spain, July 18–29, 2011. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-149-1/hbk). EMS Series of Congress Reports, 288-296 (2014).

Filter Results by …

Access

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