×

Found 310 Documents (Results 1–100)

Newest Citations Relevance
Henrion, Didier; Korda, Milan; Lasserre, Jean B.

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).
Reviewer: Nirode C. Mohanty (Huntington Beach)
MSC:  90-01 60-01 62-02 90C25 90C05 90C39
PDF BibTeX XML Cite
\textit{D. Henrion} et al., The moment-SOS hierarchy. Lectures in probability, statistics, computational geometry, control and nonlinear PDEs. Hackensack, NJ: World Scientific (2021; Zbl 1485.90001)
Full Text: DOI
Neumann, Eike; Ouaknine, Joël; Worrell, James

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
\textit{E. Neumann} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 15, 15 p. (2020; Zbl 07559471)
Full Text: DOI
Le, Huu Phuoc; Din, Mohab Safey El; de Wolff, Timo

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).
Reviewer: Ocean Teng (Beijing)
MSC:  14Q30 14P05 68W30
PDF BibTeX XML Cite
\textit{H. P. Le} et al., in: 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; Zbl 1520.14110)
Full Text: DOI arXiv
Goaoc, Xavier; Holmsen, Andreas; Nicaud, Cyril

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
\textit{X. Goaoc} et al., LIPIcs -- Leibniz Int. Proc. Inform. 129, Article 40, 16 p. (2019; Zbl 07559240)
Full Text: DOI
Lairez, Pierre; Mezzarobba, Marc; Safey El Din, Mohab

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
\textit{P. Lairez} et al., in: 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; Zbl 1467.14139)
Full Text: DOI arXiv HAL
Riener, Cordian; Safey el Din, Mohab

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
\textit{C. Riener} and \textit{M. Safey el Din}, in: 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; Zbl 1467.14140)
Full Text: DOI arXiv
Dutertre, Nicolas

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
\textit{N. Dutertre}, Springer Proc. Math. Stat. 222, 51--88 (2018; Zbl 1405.58020)
Full Text: DOI
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James

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
\textit{V. Chonev} et al., LIPIcs -- Leibniz Int. Proc. Inform. 55, Article 100, 13 p. (2016; Zbl 1388.68043)
Full Text: DOI arXiv
Razenshteyn, Ilya; Song, Zhao; Woodruff, David P.

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
\textit{I. Razenshteyn} et al., in: 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). 250--263 (2016; Zbl 1378.65093)
Full Text: DOI
Athanasopoulos, Nikolaos; Jungers, Raphaël M.

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).
MSC:  93C30 93B03 93D20 93C05 90C22
PDF BibTeX XML Cite
\textit{N. Athanasopoulos} and \textit{R. M. Jungers}, in: 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). 41--50 (2016; Zbl 1364.93377)
Full Text: DOI arXiv Link
Dutertre, N.; Moya-Pérez, J. A.

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
\textit{N. Dutertre} and \textit{J. A. Moya-Pérez}, Contemp. Math. 675, 89--102 (2016; Zbl 1359.14051)
Full Text: DOI
Lewis, Adrian S.

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).
MSC:  90C31 49K40 65K10 90C30 14P10 93D20
PDF BibTeX XML Cite
\textit{A. S. Lewis}, in: Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13--21, 2014. Vol. IV: Invited lectures. Seoul: KM Kyung Moon Sa. 871--895 (2014; Zbl 1373.90157)
Li, Yi

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
\textit{Y. Li}, in: 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). 97--106 (2014; Zbl 1345.68110)
Full Text: DOI
Halupczok, Immanuel

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).
MSC:  03C60 12L12 12J25 14P10 32P05 32S60
PDF BibTeX XML Cite
\textit{I. Halupczok}, in: 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). 288--296 (2014; Zbl 1345.03069)
Conlon, David; Fox, Jacob; Pach, János; Sudakov, Benny; Suk, Andrew

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).
MSC:  68U05 05C65 05D10 68R05 68R10
PDF BibTeX XML Cite
\textit{D. Conlon} et al., in: 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). 309--318 (2013; Zbl 1305.68223)
Full Text: DOI arXiv Link
She, Zhikun; Xue, Bai

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
\textit{Z. She} and \textit{B. Xue}, in: 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). 187--196 (2012; Zbl 1364.93689)
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software