Computing roadmaps in unbounded smooth real algebraic sets. I: Connectivity results. (English) Zbl 1527.14116
Reviewer: Gema Maria Diaz Toca (Murcia)
Found 67 Documents (Results 1–67)
Faster real root decision algorithm for symmetric polynomials. (English) Zbl 07760791
Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 452-460 (2023).
MSC:
68W30
Refined \(F_5\) algorithms for ideals of minors of square matrices. (English) Zbl 07760771
Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 270-279 (2023).
MSC:
68W30
VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities. (English) Zbl 07741549
MSC:
65-XX
Sum of squares decompositions of polynomials over their gradient ideals with rational coefficients. (English) Zbl 1509.14113
Reviewer: Amir Hashemi (Isfahan)
Smooth points on semi-algebraic sets. (English) Zbl 1505.14123
Reviewer: Luca Chiantini (Siena)
Bit complexity for computing one point in each connected component of a smooth real algebraic set. (English) Zbl 1536.14052
Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics. (English) Zbl 1506.14118
Reviewer: Beatriz Pascual Escudero (Madrid)
Permutations encoding the local shape of level curves of real polynomials via generic projections. (Permutations qui codent la forme locale des courbes de niveau des polynômes réels via des projections génériques.) (English. French summary) Zbl 1506.14113
Computing totally real hyperplane sections and linear series on algebraic curves. (English) Zbl 1498.14150
Reviewer: Jaewoo Jung (Atlanta)
Gröbner bases and critical values: the asymptotic combinatorics of determinantal systems. (English) Zbl 1492.13036
Reviewer: Cristina Bertone (Torino)
MSC:
13P10
Solving parametric systems of polynomial equations over the reals through Hermite matrices. (English) Zbl 1487.14130
Reviewer: Beatriz Pascual Escudero (Madrid)
On exact Reznick, Hilbert-Artin and Putinar’s representations. (English) Zbl 1476.14102
Reviewer: Jaewoo Jung (Atlanta)
Solving determinantal systems using homotopy techniques. (English) Zbl 1461.13034
Reviewer: Amir Hashemi (Isfahan)
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)
On the bit complexity of finding points in connected components of a smooth real hypersurface. (English) Zbl 07300068
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). 170-177 (2020).
MSC:
68W30
Robots, computer algebra and eight connected components. (English) Zbl 1486.14075
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). 62-69 (2020).
Reviewer: Hans-Peter Schröcker (Innsbruck)
Real root finding for low rank linear matrices. (English) Zbl 1445.13026
Reviewer: Sonia Pérez Díaz (Madrid)
A new method for computing elimination ideals of likelihood equations. (English) Zbl 1489.62078
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). 339-346 (2019).
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).
Certified non-conservative tests for the structural stability of discrete multidimensional systems. (English) Zbl 1430.93179
Early ending in homotopy path-tracking for real roots. (English) Zbl 07704991
Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 181-194 (2018).
MSC:
65H20
On the complexity of computing real radicals of polynomial systems. (English) Zbl 1467.14141
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). 351-358 (2018).
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).
On exact Polya and Putinar’s representations. (English) Zbl 1467.90032
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). 279-286 (2018).
Exact algorithms for semidefinite programs with degenerate feasible set. (English) Zbl 1467.90031
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). 191-198 (2018).
Symbolic computation in hyperbolic programming. (English) Zbl 1403.14093
Reviewer: Jie Wang (Beijing)
Local polar varieties in the geometric study of singularities. (English. French summary) Zbl 1409.14002
Reviewer: Aleksandr G. Aleksandrov (Moskva)
Bit complexity for multi-homogeneous polynomial system solving – application to polynomial minimization. (English) Zbl 1391.13056
Reviewer: Amir Hashemi (Isfahan)
Computing real witness points of positive dimensional polynomial systems. (English) Zbl 1390.14188
Reviewer: David Sevilla (Merida)
A probabilistic algorithm for computing data-discriminants of likelihood equations. (English) Zbl 1373.62090
Computing small certificates of inconsistency of quadratic fewnomial systems. (English) Zbl 1361.13016
Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 223-230 (2016).
On the bit complexity of solving bilinear polynomial systems. (English) Zbl 1360.13066
Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 215-222 (2016).
Critical point computations on smooth varieties, degree and complexity bounds. (English) Zbl 1362.14061
Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 183-190 (2016).
Validating the completeness of the real solution set of a system of polynomial equations. (English) Zbl 1362.13027
Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 143-150 (2016).
A survey of satisfiability modulo theory. (English) Zbl 1453.68116
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 401-425 (2016).
A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals. (English) Zbl 1444.13036
Polar varieties revisited. (English) Zbl 1439.14141
Gutierrez, Jaime (ed.) et al., Computer algebra and polynomials. Applications of algebra and number theory. Berlin: Springer. Lect. Notes Comput. Sci. 8942, 139-150 (2015).
Constructing fewer open cells by GCD computation in CAD projection. (English) Zbl 1325.68286
Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 240-247 (2014).
MSC:
68W30
Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces. (English) Zbl 1246.14071
Reviewer: Gerhard Pfister (Kaiserslautern)
Global optimization of polynomials restricted to a smooth variety using sums of squares. (English) Zbl 1266.90148
MSC:
90C26
Deciding reachability of the infimum of a multivariate polynomial. (English) Zbl 1323.65074
Leykin, Anton (ed.), Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0675-1). 131-138 (2011).
Solving parametric piecewise polynomial systems. (English) Zbl 1251.65075
Reviewer: Yanlai Chen (North Dartmouth)
A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface. (English) Zbl 1213.14110
Reviewer: Gerhard Pfister (Kaiserslautern)
Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree \((1,1)\): algorithms and complexity. (English) Zbl 1226.13017
Reviewer: Gabor Hegedüs (Linz)
MSC:
13P10
On the geometry of polar varieties. (English) Zbl 1186.14060
Reviewer: Gerhard Pfister (Kaiserslautern)
The Voronoi diagram of three lines. (English) Zbl 1194.68247
MSC:
68U05
Practical and theoretical issues for the computation of generalized critical values of a polynomial mapping. (English) Zbl 1166.65317
Kapur, Deepak (ed.), Computer mathematics. 8th Asian symposium, ASCM 2007, Singapore, December 15–17, 2007. Revised and invited papers. Berlin: Springer (ISBN 978-3-540-87826-1/pbk). Lecture Notes in Computer Science 5081. Lecture Notes in Artificial Intelligence, 42-56 (2008).
MSC:
65D18
Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities. (English) Zbl 1487.68235
Jeffrey, David J. (ed.), Proceedings of the 2008 international symposium on symbolic and algebraic computation, ISSAC 2008, Linz/Hagenberg, Austria, July 20–23, 2008. New York, NY: Association for Computing Machinery (ACM). 79-86 (2008).
Computing the global optimum of a multivariate polynomial over the reals. (English) Zbl 1487.65072
Jeffrey, David J. (ed.), Proceedings of the 2008 international symposium on symbolic and algebraic computation, ISSAC 2008, Linz/Hagenberg, Austria, July 20–23, 2008. New York, NY: Association for Computing Machinery (ACM). 71-78 (2008).
Solving parametric polynomial systems. (English) Zbl 1156.14044
Reviewer: David Sevilla (Linz)
Filter Results by …
Document Type
- Journal Articles (44)
- Collection Articles (23)
all
top 5
Author
- Safey El Din, Mohab (36)
- Schost, Éric (8)
- Naldi, Simone (6)
- Bank, Bernd (5)
- Giusti, Marc (5)
- Heintz, Joos (5)
- Henrion, Didier (5)
- Zhi, Lihong (5)
- Faugère, Jean-Charles (4)
- Spaenlehauer, Pierre-Jean (4)
- Xia, Bican (4)
- Guo, Feng (3)
- Magron, Victor (3)
- Pardo, Luis Miguel (3)
- Rouillier, Fabrice (3)
- Capco, Jose (2)
- Dai, Liyun (2)
- de Wolff, Timo (2)
- Elliott, Jesse (2)
- Emiris, Ioannis Z. (2)
- Giesbrecht, Mark W. (2)
- Greuet, Aurélien (2)
- Han, Jingjun (2)
- Hauenstein, Jonathan D. (2)
- Hong, Hoon (2)
- Lazard, Daniel (2)
- Le, Huu Phuoc (2)
- Mantzaflaris, Angelos (2)
- Phạm Tiên So’n (2)
- Plaumann, Daniel (2)
- Riener, Cordian (2)
- Schicho, Josef (2)
- Tang, Xiaoxian (2)
- Tsigaridas, Elias P. (2)
- Vu, Thi Xuan (2)
- Wang, Yu (2)
- Wu, Wenyuan (2)
- Yang, Zhihong (2)
- Berthomieu, Jérémy (1)
- Bostan, Alin (1)
- Bouzidi, Yacine (1)
- Brake, Daniel A. (1)
- Caillau, Jean-Baptiste (1)
- Everett, Hazel (1)
- Feng, Yong (1)
- Ferguson, Andrew L. (1)
- Giles Flores, Arturo (1)
- Gopalakrishnan, Sriram (1)
- Gouzé, Jean-Luc (1)
- Harris, Katherine M. (1)
- Hauenstein, Jon D. (1)
- Jeronimo, Gabriela (1)
- Jiao, Liguo (1)
- Kim, Do Sang (1)
- Labahn, George (1)
- Lai, Yisheng (1)
- Lairez, Pierre (1)
- Lazard, Sylvain (1)
- Lehmann, Lutz (1)
- Liddell, Alan C. jun. (1)
- Ma, Yue (1)
- Manevich, Dimitri (1)
- Mezzarobba, Marc (1)
- Monniaux, David P. (1)
- Moroz, Guillaume (1)
- Neiger, Vincent (1)
- Perrucci, Daniel (1)
- Piene, Ragni (1)
- Prébet, Rémi (1)
- Quadrat, Alban (1)
- Reid, Greg J. (1)
- Rodriguez, Jose Israel (1)
- Sabia, Juan (1)
- Sorea, Miruna-Ştefana (1)
- Svartz, Jules (1)
- Szántó, Ágnes (1)
- Teissier, Bernard (1)
- Vu, Trung-Hieu (1)
- Wang, Chu (1)
- Wang, Renhong (1)
- Wu, Jinming (1)
- Yabo, Agustín Gabriel (1)
- Yang, Zhengfeng (1)
- Zhao, Hanrui (1)
- Zhao, Rukai (1)
all
top 5
Serial
- J. Symb. Comput. (21)
- Discrete Comput. Geom. (3)
- J. Syst. Sci. Complex. (3)
- J. Complexity (2)
- Appl. Algebra Eng. Commun. Comput. (2)
- SIAM J. Optim. (2)
- Ann. Inst. Fourier (1)
- J. Algebra (1)
- J. Comput. Appl. Math. (1)
- Kybernetika (1)
- Matematiche (1)
- Theor. Comput. Sci. (1)
- Multidimensional Syst. Signal Process. (1)
- Ann. Fac. Sci. Toulouse, Math. (6) (1)
- Found. Comput. Math. (1)
- J. Algebra Appl. (1)
- MathS In Action (1)
all
top 3
Software
- Kronecker (24)
- RAGlib (21)
- ISOLATE (15)
- FGb (11)
- Bertini (5)
- QEPCAD (5)
- RegularChains (4)
- SINGULAR (4)
- DISCOVERER (3)
- GloptiPoly (3)
- SPECTRA (3)
- SeDuMi (3)
- Sostools (3)
- alphaCertified (3)
- Bertini_real (2)
- INTLAB (2)
- LPH (2)
- Macaulay2 (2)
- Magma (2)
- PHCpack (2)
- RealCertify (2)
- SYNRAC (2)
- 2D triangulations (1)
- ANewDsc (1)
- CGAL (1)
- Chaff (1)
- CylindricalAlgebraicDecompose (1)
- Divisor (1)
- FFLAS-FFPACK (1)
- FOCI (1)
- Flyspeck (1)
- Frama-C (1)
- GitHub (1)
- HOM4PS (1)
- HomotopyContinuation (1)
- IML - Integer Matrix Library (1)
- JavaSMT (1)
- Jordan (1)
- LAPACK (1)
- MPFI (1)
- Maple (1)
- Matlab (1)
- Mjollnir (1)
- Mosek (1)
- NAG4M2 (1)
- NumericalAlgebraicGeometry (1)
- PAGAI (1)
- Qhull (1)
- RS3 (1)
- SDPA (1)
- SDPT3 (1)
- SMT-LIB (1)
- SageMath (1)
- SparsePOP (1)
- TSSOS (1)
- VerifyRealRoots (1)
- Voronoi (1)
- YALMIP (1)
- dpgb (1)
- mctoolbox (1)
- realrad.lib (1)
- z3 (1)
