## Found 304 Documents (Results 1–100)

100
MathJax

### Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics. (English)Zbl 07589752

MSC:  14Qxx 68Wxx 14Pxx
Full Text:

Full Text:

Full Text:

### On the Reeb spaces of definable maps. (English)Zbl 07575546

MSC:  03C64 14P10 62R40
Full Text:

Full Text:

### On the central path of semidefinite optimization: degree and worst-case convergence rate. (English)Zbl 1490.14093

MSC:  14P10 90C22 90C51
Full Text:

### Quantitative curve selection lemma. (English)Zbl 07489512

MSC:  14P10 14Q30
Full Text:

### Envelope theorems for multistage linear stochastic optimization. (English)Zbl 1485.90075

MSC:  90C15 90C40
Full Text:

### The algebraic geometry of perfect and sequential equilibrium: an extension. (English)Zbl 1477.91005

MSC:  91A18 91A05 91A26
Full Text:

Full Text:

### The Stieltjes condition and multidimensional $${\mathcal{K}}$$-moment problems. (English)Zbl 1476.44006

MSC:  44A60 47B25 14P10
Full Text:

### 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:

### Computation of the maximal invariant set of discrete-time linear systems subject to a class of non-convex constraints. (English)Zbl 1461.93295

MSC:  93C55 93C05
Full Text:

Full Text:

### Semi-algebraic properties of Minkowski sums of a twisted cubic segment. (English)Zbl 1455.14111

MSC:  14P10 14Q05
Full Text:

Full Text:

### Computing real radicals and $$S$$-radicals of polynomial systems. (English)Zbl 1448.14061

MSC:  14Q30 14P10 68W30
Full Text:

### 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:

### Signatures of monic polynomials. (English)Zbl 1477.14091

Ohshika, Ken’ichi (ed.) et al., In the tradition of Thurston. Geometry and topology. Cham: Springer. 527-543 (2020).
MSC:  14P10 26C10 54B15
Full Text:

### 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
Full Text:

Full Text:

### Local minimizers of semi-algebraic functions from the viewpoint of tangencies. (English)Zbl 1442.14180

MSC:  14P10 65K10 26D10
Full Text:

### Anderson localization for multi-frequency quasi-periodic operators on $$\mathbb{Z}^d$$. (English)Zbl 07219753

MSC:  47-XX 37C30
Full Text:

Full Text:

Full Text:

### 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:

### 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
Full Text:

Full Text:

### On the quantification of aleatory and epistemic uncertainty using sliced-normal distributions. (English)Zbl 1428.93036

MSC:  93B30 93C35 62P30
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

MSC:  34C05
Full Text:

### 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
Full Text:

### 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:

### On the equivariant Betti numbers of symmetric definable sets: vanishing, bounds and algorithms. (English)Zbl 1397.14037

MSC:  14F25 14P10 68W30
Full Text:

Full Text:

### Gram determinants of real binary tensors. (English)Zbl 1390.15083

MSC:  15A69 14P10
Full Text:

### Multi-degree bounds on the Betti numbers of real varieties and semi-algebraic sets and applications. (English)Zbl 1401.14228

MSC:  14P10 14P25 68W30
Full Text:

### Algorithms in real algebraic geometry: a survey. (English)Zbl 1398.14062

Bekka, K. (ed.) et al., Real algebraic geometry. Paris: Société Mathématique de France (SMF) (ISBN 978-2-85629-857-2/pbk). Panoramas et Synthèses 51, 107-153 (2017).
Full Text:

Full Text:

Full Text:

MSC:  32B20
Full Text:

### Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems. (English)Zbl 1420.68244

MSC:  68W30 93B25 93C30
Full Text:

### Computing Gaussian & exponential measures of semi-algebraic sets. (English)Zbl 1370.28002

MSC:  28A75 14P10 90C22 65C60 65K05
Full Text:

### On the solvability of derived matrix problems, including completions and duals. (English)Zbl 1349.14180

MSC:  14P10 15A99
Full Text:

### Bounding the equivariant Betti numbers of symmetric semi-algebraic sets. (English)Zbl 1423.14331

MSC:  14P10 14P25
Full Text:

### Semi-algebraic sets and equilibria of binary games. (English)Zbl 1408.91006

MSC:  91A06 14P10
Full Text:

### 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
Full Text:

### The $$Z$$-semi-algebraic partially ordered sets. (Chinese. English summary)Zbl 1389.06019

MSC:  06B35 06A11

### 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
Full Text:

### 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).
Full Text:

Full Text:

### 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:

Full Text:

### On the feasibility of semi-algebraic sets in Poisson regression. (English)Zbl 1439.62255

Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 142-147 (2016).
MSC:  62R01 62K20 62J12
Full Text:

Full Text:

### A generalized Sard theorem on real closed fields. (English)Zbl 1343.58019

MSC:  58K05 14P10 57R35
Full Text:

### Polynomial partitioning on varieties of codimension two and point-hypersurface incidences in four dimensions. (English)Zbl 1332.13017

MSC:  13D40 14P25 52C10
Full Text:

Full Text:

Full Text:

### Algebraic-exponential data recovery from moments. (English)Zbl 1342.14118

MSC:  14P10 13P25 44A60
Full Text:

Full Text:

Full Text:

MSC:  90C22
Full Text:

### Local algebraic approximation of semianalytic sets. (English)Zbl 1319.14058

MSC:  14P15 32B20 32S05
Full Text:

### 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).

### 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
Full Text:

### 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:  14P10
Full Text:

Full Text:

### Approximation by continuous rational maps into spheres. (English)Zbl 1314.14105

MSC:  14P05 14P25
Full Text:

### On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials. (English)Zbl 1333.14056

MSC:  14P10 14P25 68W30
Full Text:

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

MSC:  14P10 05D10 14Q15
Full Text:

### Cohomology of locally closed semi-algebraic subsets. (English)Zbl 1300.14028

Reviewer: Lei Fu (Tianjin)
MSC:  14G22 14F20 14P10
Full Text:

Full Text:

### 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).
Full Text:

### On some global semianalytic sets. (Sur certains ensembles semianalytiques globaux.) (English. French summary)Zbl 1315.03045

MSC:  03C10 32B20
Full Text:

### On the dimension of the set of two-view multi-homography matrices. (English)Zbl 1274.14067

MSC:  14P10 14Q99 15B99
Full Text:

Full Text:

Full Text:

Full Text:

### Extending piecewise polynomial functions in two variables. (English. French summary)Zbl 1279.14069

MSC:  14P10 03C65
Full Text:

Full Text:

### Triangular decomposition of semi-algebraic systems. (English)Zbl 1260.14070

MSC:  14P10 68W30
Full Text:

### 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
Full Text:

### 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
Full Text:

### 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).

Full Text:

Full Text:

Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3