×

Found 304 Documents (Results 1–100)

100
MathJax

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).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI

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

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:  68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
Full Text: DOI

Computing the volume of compact semi-algebraic sets. (English) Zbl 1467.14139

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). 259-266 (2019).
MSC:  14P10 14Q20 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv HAL

Real root finding for equivariant semi-algebraic systems. (English) Zbl 1467.14140

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). 335-342 (2018).
MSC:  14P10 65H04 68W05
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI arXiv

Weighted low rank approximations with provable guarantees. (English) Zbl 1378.65093

Wichs, Daniel (ed.) et al., Proceedings of the 48th annual ACM SIGACT symposium on theory of computing, STOC ’16, Cambridge, MA, USA, June 19–21, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4132-5). 250-263 (2016).
MSC:  65F30 68Q25
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

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
PDF BibTeX XML Cite
Full Text: DOI

Nonsmooth optimization: conditioning, convergence and semi-algebraic models. (English) Zbl 1373.90157

Jang, Sun Young (ed.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13–21, 2014. Vol. IV: Invited lectures. Seoul: KM Kyung Moon Sa (ISBN 978-89-6105-807-0/hbk; 978-89-6105-803-2/set). 871-895 (2014).
PDF BibTeX XML Cite

A recursive decision method for termination of linear programs. (English) Zbl 1345.68110

Watt, Stephen M. (ed.) et al., Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28–31, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2963-7). 97-106 (2014).
MSC:  68N30
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite

Ramsey-type results for semi-algebraic relations. (English) Zbl 1305.68223

Proceedings of the 29th annual symposium on computational geometry, SoCG 2013, Rio de Janeiro, Brazil, June 17–20, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2031-3). 309-318 (2013).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Algebraic analysis on asymptotic stability of switched hybrid systems. (English) Zbl 1364.93689

Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 187-196 (2012).
MSC:  93D20 93C30 93D30
PDF BibTeX XML Cite
Full Text: DOI

Computing real solutions of polynomial systems via low-rank moment matrix completion. (English) Zbl 1323.68615

van der Hoeven, Joris (ed.) et al., Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22–25, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1269-1). 249-256 (2012).
MSC:  68W30 13P15 14P10
PDF BibTeX XML Cite
Full Text: DOI

On one class of integral geometry problems with incomplete data. (Russian, English) Zbl 1289.47122

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 12, No. 3, 46-60 (2012); translation in J. Math. Sci., New York 202, No. 1, 25-39 (2014).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification