Giménez, Nardo; Matera, Guillermo; Pérez, Mariana; Privitelli, Melina On the computation of rational solutions of underdetermined systems over a finite field. (English) Zbl 07655185 J. Complexity 75, Article ID 101712, 31 p. (2023). MSC: 68W40 11Y16 11G25 14G05 14G15 PDFBibTeX XMLCite \textit{N. Giménez} et al., J. Complexity 75, Article ID 101712, 31 p. (2023; Zbl 07655185) Full Text: DOI arXiv
Capco, Jose; Safey El Din, Mohab; Schicho, Josef Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics. (English) Zbl 1506.14118 J. Symb. Comput. 115, 320-345 (2023). Reviewer: Beatriz Pascual Escudero (Madrid) MSC: 14Q30 68W30 70B15 14P10 PDFBibTeX XMLCite \textit{J. Capco} et al., J. Symb. Comput. 115, 320--345 (2023; Zbl 1506.14118) Full Text: DOI
Le, Huu Phuoc; Safey El Din, Mohab Solving parametric systems of polynomial equations over the reals through Hermite matrices. (English) Zbl 1487.14130 J. Symb. Comput. 112, 25-61 (2022). Reviewer: Beatriz Pascual Escudero (Madrid) MSC: 14Q30 13P99 12Dxx 14P10 PDFBibTeX XMLCite \textit{H. P. Le} and \textit{M. Safey El Din}, J. Symb. Comput. 112, 25--61 (2022; Zbl 1487.14130) Full Text: DOI arXiv
Fernique, Thomas; Hashemi, Amir; Sizova, Olga Compact packings of the plane with three sizes of discs. (English) Zbl 1471.52016 Discrete Comput. Geom. 66, No. 2, 613-635 (2021). MSC: 52C15 PDFBibTeX XMLCite \textit{T. Fernique} et al., Discrete Comput. Geom. 66, No. 2, 613--635 (2021; Zbl 1471.52016) Full Text: DOI arXiv
Mourrain, Bernard; Telen, Simon; Van Barel, Marc Truncated normal forms for solving polynomial systems: generalized and efficient algorithms. (English) Zbl 1443.13024 J. Symb. Comput. 102, 63-85 (2021). MSC: 13P15 14Q65 65H14 68W30 PDFBibTeX XMLCite \textit{B. Mourrain} et al., J. Symb. Comput. 102, 63--85 (2021; Zbl 1443.13024) Full Text: DOI arXiv
Capco, Jose; Din, Mohab Safey El; Schicho, Josef 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) MSC: 14Q30 68W30 70B15 14P10 PDFBibTeX XMLCite \textit{J. Capco} 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). 62--69 (2020; Zbl 1486.14075) Full Text: DOI arXiv
Henrion, Didier; Naldi, Simone; Safey El Din, Mohab Real root finding for low rank linear matrices. (English) Zbl 1445.13026 Appl. Algebra Eng. Commun. Comput. 31, No. 2, 101-133 (2020). Reviewer: Sonia Pérez Díaz (Madrid) MSC: 13P15 14Q20 14Q30 68W30 PDFBibTeX XMLCite \textit{D. Henrion} et al., Appl. Algebra Eng. Commun. Comput. 31, No. 2, 101--133 (2020; Zbl 1445.13026) Full Text: DOI arXiv
Bender, Matías R.; Faugère, Jean-Charles; Mantzaflaris, Angelos; Tsigaridas, Elias Bilinear systems with two supports. Koszul resultant matrices, eigenvalues, and eigenvectors. (English) Zbl 1467.13056 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). 63-70 (2018). MSC: 13P15 68W30 PDFBibTeX XMLCite \textit{M. R. Bender} et al., 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). 63--70 (2018; Zbl 1467.13056) Full Text: DOI arXiv
Güler, Erhan; Kişi, Ömer; Konaxis, Christos Implicit equations of the Henneberg-type minimal surface in the four-dimensional Euclidean space. (English) Zbl 1425.53010 Mathematics 6, No. 12, Paper No. 279, 10 p. (2018). MSC: 53A10 PDFBibTeX XMLCite \textit{E. Güler} et al., Mathematics 6, No. 12, Paper No. 279, 10 p. (2018; Zbl 1425.53010) Full Text: DOI
Faugère, Jean-Charles; Wallet, Alexandre The point decomposition problem over hyperelliptic curves, Toward efficient computation of discrete logarithms in even characteristic. (English) Zbl 1400.14072 Des. Codes Cryptography 86, No. 10, 2279-2314 (2018). Reviewer: Dimitros Poulakis (Thessaloniki) MSC: 14G50 11T71 14G15 PDFBibTeX XMLCite \textit{J.-C. Faugère} and \textit{A. Wallet}, Des. Codes Cryptography 86, No. 10, 2279--2314 (2018; Zbl 1400.14072) Full Text: DOI
Capco, Jose; Gallet, Matteo; Grasegger, Georg; Koutschan, Christoph; Lubbes, Niels; Schicho, Josef The number of realizations of a Laman graph. (English) Zbl 1439.14182 SIAM J. Appl. Algebra Geom. 2, No. 1, 94-125 (2018). MSC: 14T15 14N99 52C25 05C99 PDFBibTeX XMLCite \textit{J. Capco} et al., SIAM J. Appl. Algebra Geom. 2, No. 1, 94--125 (2018; Zbl 1439.14182) Full Text: DOI arXiv
Jiang, Yunfeng; Zhang, Yang Algebraic geometry and Bethe ansatz. I: The quotient ring for BAE. (English) Zbl 1388.81440 J. High Energy Phys. 2018, No. 3, Paper No. 87, 40 p. (2018). MSC: 81T25 81R12 81T13 81T60 PDFBibTeX XMLCite \textit{Y. Jiang} and \textit{Y. Zhang}, J. High Energy Phys. 2018, No. 3, Paper No. 87, 40 p. (2018; Zbl 1388.81440) Full Text: DOI arXiv
Henrion, Didier; Naldi, Simone; El Din, Mohab Safey Exact algorithms for linear matrix inequalities. (English) Zbl 1356.90102 SIAM J. Optim. 26, No. 4, 2512-2539 (2016). MSC: 90C22 68W30 14Q20 PDFBibTeX XMLCite \textit{D. Henrion} et al., SIAM J. Optim. 26, No. 4, 2512--2539 (2016; Zbl 1356.90102) Full Text: DOI arXiv
Henrion, Didier; Naldi, Simone; Safey El Din, Mohab Real root finding for determinants of linear matrices. (English) Zbl 1329.65090 J. Symb. Comput. 74, 205-238 (2016). MSC: 65F40 65H04 14Q15 PDFBibTeX XMLCite \textit{D. Henrion} et al., J. Symb. Comput. 74, 205--238 (2016; Zbl 1329.65090) Full Text: DOI arXiv
Bank, Bernd; Giusti, Marc; Heintz, Joos; Lecerf, Grégoire; Matera, Guillermo; Solernó, Pablo Degeneracy loci and polynomial equation solving. (English) Zbl 1341.14022 Found. Comput. Math. 15, No. 1, 159-184 (2015). Reviewer: Noémie Combe (Marseille) MSC: 14M10 14M12 14Q20 14P05 68W30 PDFBibTeX XMLCite \textit{B. Bank} et al., Found. Comput. Math. 15, No. 1, 159--184 (2015; Zbl 1341.14022) Full Text: DOI arXiv
Cox, David A.; Little, John; O’Shea, Donal Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. 4th revised ed. (English) Zbl 1335.13001 Undergraduate Texts in Mathematics. Cham: Springer (ISBN 978-3-319-16720-6/hbk; 978-3-319-16721-3/ebook). xvi, 646 p. (2015). Reviewer: Peter Schenzel (Halle) MSC: 13-02 14-02 13P10 14Qxx 13F20 PDFBibTeX XMLCite \textit{D. A. Cox} et al., Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. 4th revised ed. Cham: Springer (2015; Zbl 1335.13001) Full Text: DOI Backlinks: MO
Faugère, Jean-Charles; Gaudry, Pierrick; Huot, Louise; Renault, Guénaël Using symmetries in the index calculus for elliptic curves discrete logarithm. (English) Zbl 1320.94063 J. Cryptology 27, No. 4, 595-635 (2014). Reviewer: Juan Tena Ayuso (Valladolid) MSC: 94A60 14G50 14H52 PDFBibTeX XMLCite \textit{J.-C. Faugère} et al., J. Cryptology 27, No. 4, 595--635 (2014; Zbl 1320.94063) Full Text: DOI
Greuet, Aurélien; El Din, Mohab Safey Probabilistic algorithm for polynomial optimization over a real algebraic set. (English) Zbl 1327.90232 SIAM J. Optim. 24, No. 3, 1313-1343 (2014). Reviewer: Stephan Dempe (Freiberg) MSC: 90C26 13P25 14Q20 68W30 PDFBibTeX XMLCite \textit{A. Greuet} and \textit{M. S. El Din}, SIAM J. Optim. 24, No. 3, 1313--1343 (2014; Zbl 1327.90232) Full Text: DOI arXiv
Faugère, Jean-Charles; Huot, Louise; Joux, Antoine; Renault, Guénaël; Vitse, Vanessa Symmetrized summation polynomials: using small order torsion points to speed up elliptic curve index calculus. (English) Zbl 1326.94092 Nguyen, Phong Q. (ed.) et al., Advances in cryptology – EUROCRYPT 2014. 33rd annual international conference on the theory and applications of cryptographic techniques, Copenhagen, Denmark, May 11–15, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-55219-9/pbk). Lecture Notes in Computer Science 8441, 40-57 (2014). MSC: 94A60 14G50 11T71 PDFBibTeX XMLCite \textit{J.-C. Faugère} et al., Lect. Notes Comput. Sci. 8441, 40--57 (2014; Zbl 1326.94092) Full Text: DOI
Bettale, Luk; Faugère, Jean-Charles; Perret, Ludovic Cryptanalysis of HFE, multi-HFE and variants for odd and even characteristic. (English) Zbl 1307.13031 Des. Codes Cryptography 69, No. 1, 1-52 (2013). MSC: 13P10 94A60 14G50 PDFBibTeX XMLCite \textit{L. Bettale} et al., Des. Codes Cryptography 69, No. 1, 1--52 (2013; Zbl 1307.13031) Full Text: DOI HAL
Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean Critical points and Gröbner bases: the unmixed case. (English) Zbl 1308.68171 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). 162-169 (2012). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{J.-C. Faugère} et al., in: 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). 162--169 (2012; Zbl 1308.68171) Full Text: DOI arXiv
Faugère, Jean-Charles; Perret, Ludovic; Petit, Christophe; Renault, Guénaël Improving the complexity of index calculus algorithms in elliptic curves over binary fields. (English) Zbl 1290.94070 Pointcheval, David (ed.) et al., Advances in cryptology – EUROCRYPT 2012. 31st annual international conference on the theory and applications of cryptographic techniques, Cambridge, UK, April 15–19, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29010-7/pbk). Lecture Notes in Computer Science 7237, 27-44 (2012). MSC: 94A60 11T71 14G50 PDFBibTeX XMLCite \textit{J.-C. Faugère} et al., Lect. Notes Comput. Sci. 7237, 27--44 (2012; Zbl 1290.94070) Full Text: DOI
Hong, Hoon; El Din, Mohab Safey Variant quantifier elimination. (English) Zbl 1238.14001 J. Symb. Comput. 47, No. 7, 883-901 (2012). MSC: 14-04 14Q15 68W30 14P99 PDFBibTeX XMLCite \textit{H. Hong} and \textit{M. S. El Din}, J. Symb. Comput. 47, No. 7, 883--901 (2012; Zbl 1238.14001) Full Text: DOI
Lin, Dongdai; Faugère, Jean-Charles; Perret, Ludovic; Wang, Tianze On enumeration of polynomial equivalence classes and their application to MPKC. (English) Zbl 1251.94033 Finite Fields Appl. 18, No. 2, 283-302 (2012). MSC: 94A60 05B25 11T55 11T71 14G50 PDFBibTeX XMLCite \textit{D. Lin} et al., Finite Fields Appl. 18, No. 2, 283--302 (2012; Zbl 1251.94033) Full Text: DOI
Grégoire, Benjamin; Pottier, Loïc; Théry, Laurent Proof certificates for algebra and their application to automatic geometry theorem proving. (English) Zbl 1302.68242 Sturm, Thomas (ed.) et al., Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22–24, 2008. Revised papers. Berlin: Springer (ISBN 978-3-642-21045-7/pbk). Lecture Notes in Computer Science 6301. Lecture Notes in Artificial Intelligence, 42-59 (2011). MSC: 68T15 13P10 PDFBibTeX XMLCite \textit{B. Grégoire} et al., Lect. Notes Comput. Sci. 6301, 42--59 (2011; Zbl 1302.68242) Full Text: DOI Link
Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology. (English) Zbl 1321.68529 Watt, Stephen M. (ed.), Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0150-3). 257-264 (2010). MSC: 68W30 15A18 68Q25 94A60 PDFBibTeX XMLCite \textit{J.-C. Faugère} et al., in: Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25--28, 2010. New York, NY: Association for Computing Machinery (ACM). 257--264 (2010; Zbl 1321.68529) Full Text: DOI
Cheng, Jinsan; Lazard, Sylvain; Peñaranda, Luis; Pouget, Marc; Rouillier, Fabrice On the topology of real algebraic plane curves. (English) Zbl 1205.14038 Math. Comput. Sci. 4, No. 1, 113-137 (2010). MSC: 14H50 14P05 13P10 14F35 PDFBibTeX XMLCite \textit{J. Cheng} et al., Math. Comput. Sci. 4, No. 1, 113--137 (2010; Zbl 1205.14038) Full Text: DOI Link
Abłamowicz, Rafał Some applications of Gröbner bases in robotics and engineering. (English) Zbl 1214.68405 Bayro-Corrochano, Eduardo (ed.) et al., Geometric algebra computing in engineering and computer science. London: Springer (ISBN 978-1-84996-107-3/hbk; 978-1-84882-914-5/ebook). 495-517 (2010). MSC: 68T40 68U05 13P10 PDFBibTeX XMLCite \textit{R. Abłamowicz}, in: Geometric algebra computing in engineering and computer science. London: Springer. 495--517 (2010; Zbl 1214.68405) Full Text: DOI
De Loera, Jesús A.; Hillar, Christopher J.; Malkin, Peter N.; Omar, Mohamed Recognizing graph theoretic properties with polynomial ideals. (English) Zbl 1210.05059 Electron. J. Comb. 17, No. 1, Research Paper R114, 26 p. (2010). MSC: 05C25 05E40 52B55 PDFBibTeX XMLCite \textit{J. A. De Loera} et al., Electron. J. Comb. 17, No. 1, Research Paper R114, 26 p. (2010; Zbl 1210.05059) Full Text: arXiv EuDML EMIS
Fukuda, Komei (ed.); van der Hoeven, Joris (ed.); Joswig, Michael (ed.); Takayama, Nobuki (ed.) Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. (English) Zbl 1196.68008 Lecture Notes in Computer Science 6327. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). xvi, 368 p. (2010). MSC: 68-06 65-06 00B25 PDFBibTeX XMLCite \textit{K. Fukuda} (ed.) et al., Mathematical software -- ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13--17, 2010. Proceedings. Berlin: Springer (2010; Zbl 1196.68008) Full Text: DOI
Cheng, Jinsan; Lazard, Sylvain; Peñaranda, Luis; Pouget, Marc; Rouillier, Fabrice; Tsigaridas, Elias On the topology of planar algebraic curves. (English) Zbl 1391.14060 Proceedings of the 25th annual symposium on computational geometry, SCG 2009, Aarhus, Denmark, June 8–10, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-501-7). 361-370 (2009). MSC: 14H50 14H05 14Q05 PDFBibTeX XMLCite \textit{J. Cheng} et al., in: Proceedings of the 25th annual symposium on computational geometry, SCG 2009, Aarhus, Denmark, June 8--10, 2009. New York, NY: Association for Computing Machinery (ACM). 361--370 (2009; Zbl 1391.14060) Full Text: DOI Link
Hong, Hoon; Safey El Din, Mohab Variant real quantifier elimination: algorithm and application. (English) Zbl 1237.14005 May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 183-190 (2009). MSC: 14-04 14Q15 68W30 PDFBibTeX XMLCite \textit{H. Hong} and \textit{M. Safey El Din}, in: Proceedings of the 2009 international symposium on symbolic and algebraic computation, ISSAC 2009, Seoul, July 28--31, 2009. New York, NY: Association for Computing Machinery (ACM). 183--190 (2009; Zbl 1237.14005) Full Text: DOI
Marvan, Michal Sufficient set of integrability conditions of an orthonomic system. (English) Zbl 1180.35381 Found. Comput. Math. 9, No. 6, 651-674 (2009). MSC: 35N10 12H20 52B20 PDFBibTeX XMLCite \textit{M. Marvan}, Found. Comput. Math. 9, No. 6, 651--674 (2009; Zbl 1180.35381) Full Text: DOI Link
Murphy, Sean; Paterson, Maura B. Geometric ideas for cryptographic equation solving in even characteristic. (English) Zbl 1234.94060 Parker, Matthew G. (ed.), Cryptography and coding. 12th IMA international conference, cryptography and coding 2009, Cirencester, UK, December 15–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10867-9/pbk). Lecture Notes in Computer Science 5921, 202-221 (2009). MSC: 94A60 14G50 PDFBibTeX XMLCite \textit{S. Murphy} and \textit{M. B. Paterson}, Lect. Notes Comput. Sci. 5921, 202--221 (2009; Zbl 1234.94060) Full Text: DOI
Gaudry, Pierrick Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem. (English) Zbl 1177.94148 J. Symb. Comput. 44, No. 12, 1690-1702 (2009). Reviewer: Juan Tena Ayuso (Valladolid) MSC: 94A60 14G50 11G10 PDFBibTeX XMLCite \textit{P. Gaudry}, J. Symb. Comput. 44, No. 12, 1690--1702 (2009; Zbl 1177.94148) Full Text: DOI
Everett, Hazel; Lazard, Daniel; Lazard, Sylvain; Safey El Din, Mohab The Voronoi diagram of three lines. (English) Zbl 1194.68247 Discrete Comput. Geom. 42, No. 1, 94-130 (2009). MSC: 68U05 PDFBibTeX XMLCite \textit{H. Everett} et al., Discrete Comput. Geom. 42, No. 1, 94--130 (2009; Zbl 1194.68247) Full Text: DOI
Lazard, Daniel Thirty years of polynomial system solving, and now? (English) Zbl 1158.13314 J. Symb. Comput. 44, No. 3, 222-231 (2009). MSC: 13P10 68W30 14Q99 14P99 PDFBibTeX XMLCite \textit{D. Lazard}, J. Symb. Comput. 44, No. 3, 222--231 (2009; Zbl 1158.13314) Full Text: DOI
Courtois, Nicolas T.; Bard, Gregory V.; Bogdanov, Andrey Periodic ciphers with small blocks and cryptanalysis of Keeloq. (English) Zbl 1240.94059 Tatra Mt. Math. Publ. 41, 167-188 (2008). MSC: 94A60 11T71 14G50 PDFBibTeX XMLCite \textit{N. T. Courtois} et al., Tatra Mt. Math. Publ. 41, 167--188 (2008; Zbl 1240.94059)
Murphy, S.; Paterson, M. B. A geometric view of cryptographic equation solving. (English) Zbl 1146.68072 J. Math. Cryptol. 2, No. 1, 63-107 (2008). MSC: 68W30 14N05 94A60 PDFBibTeX XMLCite \textit{S. Murphy} and \textit{M. B. Paterson}, J. Math. Cryptol. 2, No. 1, 63--107 (2008; Zbl 1146.68072) Full Text: DOI
Cazals, Frédéric; Faugère, Jean-Charles; Pouget, Marc; Rouillier, Fabrice Ridges and umbilics of polynomial parametric surfaces. (English) Zbl 1167.53004 Jüttler, Bert (ed.) et al., Geometric modeling and algebraic geometry. Berlin: Springer (ISBN 978-3-540-72184-0/hbk). 141-159 (2008). Reviewer: Martin Peternell (Wien) MSC: 53A05 65D17 PDFBibTeX XMLCite \textit{F. Cazals} et al., in: Geometric modeling and algebraic geometry. Berlin: Springer. 141--159 (2008; Zbl 1167.53004)
Everett, Hazel; Lazard, Sylvain; Lazard, Daniel; El Din, Mohab Safey The Voronoi diagram of three lines. (English) Zbl 1221.68268 Proceedings of the 23rd annual symposium on computational geometry 2007, Gyeongiu, South Korea, June 6–8, 2007. New York, NY: Association for Computing Machinery (ISBN 978-1-59593-705-6). 255-264 (2007). MSC: 68U05 51M20 65D18 14P10 PDFBibTeX XMLCite \textit{H. Everett} et al., in: Proceedings of the 23rd annual symposium on computational geometry, SCG'07, Gyeongiu, South Korea, June 6--8, 2007. New York, NY: Association for Computing Machinery (ACM). 255--264 (2007; Zbl 1221.68268)
El Din, Mohab Safey Testing sign conditions on a multivariate polynomial and applications. (English) Zbl 1126.14068 Math. Comput. Sci. 1, No. 1, 177-207 (2007). MSC: 14Q20 14P10 PDFBibTeX XMLCite \textit{M. S. El Din}, Math. Comput. Sci. 1, No. 1, 177--207 (2007; Zbl 1126.14068) Full Text: DOI Link
Mezzarobba, Marc; El Din, Mohab Safey Computing roadmaps in smooth real algebraic sets. (English) Zbl 1192.65058 Dumas, Jean-Guillaume (ed.), Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, España, April 24–26, 2006. Proceedings. Granada: Universidad de Granada (ISBN 84-689-8381-0/pbk). 327-338 (2006). MSC: 65H10 PDFBibTeX XMLCite \textit{M. Mezzarobba} and \textit{M. S. El Din}, in: Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, España, April 24--26, 2006. Proceedings. Granada: Universidad de Granada. 327--338 (2006; Zbl 1192.65058)
Basu, Saugata; Pollack, Richard; Roy, Marie-Françoise Algorithms in real algebraic geometry. 2nd ed. (English) Zbl 1102.14041 Algorithms and Computation in Mathematics 10. Berlin: Springer (ISBN 3-540-33098-4/hbk). x, 662 p. (2006). Reviewer: Eugenii I. Shustin (Tel Aviv) MSC: 14P10 14-02 14Q99 68W30 13P10 PDFBibTeX XMLCite \textit{S. Basu} et al., Algorithms in real algebraic geometry. 2nd ed. Berlin: Springer (2006; Zbl 1102.14041) Full Text: DOI Backlinks: MO MO
Elkadi, Mohamed; Mourrain, Bernard Symbolic-numeric methods for solving polynomial equations and applications. (English) Zbl 1152.68701 Dickenstein, Alicia (ed.) et al., Solving polynomial equations. Foundations, algorithms, and applications. Berlin: Springer (ISBN 3-540-24326-7/hbk). Algorithms and Computation in Mathematics 14, 125-168, 393-418 (2005). MSC: 68W30 14Q99 65H10 PDFBibTeX XMLCite \textit{M. Elkadi} and \textit{B. Mourrain}, Algorithms Comput. Math. 14, 125--168, 393--418 (2005; Zbl 1152.68701)
Granger, R.; Vercauteren, F. On the discrete logarithm problem on algebraic tori. (English) Zbl 1145.94442 Shoup, Victor (ed.), Advances in cryptology – CRYPTO 2005. 25th annual international cryptology conference, Santa Barbara, CA, USA, August 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28114-2/pbk). Lecture Notes in Computer Science 3621, 66-85 (2005). MSC: 94A60 11T71 14G50 PDFBibTeX XMLCite \textit{R. Granger} and \textit{F. Vercauteren}, Lect. Notes Comput. Sci. 3621, 66--85 (2005; Zbl 1145.94442) Full Text: DOI
Ding, J.; Gower, J. E.; Schmidt, D.; Wolf, C.; Yin, Z. Complexity estimates for the \(\mathbb F_4\) attack on the perturbed Matsumoto-Imai cryptosystem. (English) Zbl 1122.94034 Smart, Nigel P. (ed.), Cryptography and coding. 10th IMA international conference, Cirencester, UK, December 19–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30276-X/pbk). Lecture Notes in Computer Science 3796, 262-277 (2005). MSC: 94A60 PDFBibTeX XMLCite \textit{J. Ding} et al., Lect. Notes Comput. Sci. 3796, 262--277 (2005; Zbl 1122.94034) Full Text: DOI
Gerdt, Vladimir P. Involutive algorithms for computing Gröbner bases. (English) Zbl 1104.13012 Cojocaru, Svetlana (ed.) et al., Computational commutative and non-commutative algebraic geometry. Proceedings of the NATO Advanced Research Workshop, Chisinau, Republic of Moldova, June 6–11, 2004. Amsterdam: IOS Press (ISBN 1-58603-505-3/hbk). NATO Science Series III: Computer & Systems Sciences 196, 199-225 (2005). Reviewer: Hans-Gert Gräbe (Leipzig) MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{V. P. Gerdt}, NATO Sci. Ser. III, Comput. Syst. Sci. 196, 199--225 (2005; Zbl 1104.13012) Full Text: arXiv
Beelen, Peter; Garcia, Arnaldo; Stichtenoth, Henning On towers of function fields over finite fields. (English) Zbl 1093.14035 Aubry, Yves (ed.) et al., Arithmetic, geometry and coding theory (AGCT 2003). Selected papers of the European school “Algebraic geometry and information theory” and the 9th international conference “Arithmetic, geometry and coding theory”, Luminy, France, May 19–23, 2003. Paris: Société Mathématique de France (ISBN 2-85629-175-9/pbk). Séminaires et Congrès 11, 1-20 (2005). Reviewer: Wilson A. Zuniga-Galindo (Miami) MSC: 14H05 11R58 11G20 14G05 PDFBibTeX XMLCite \textit{P. Beelen} et al., Sémin. Congr. 11, 1--20 (2005; Zbl 1093.14035) Full Text: Link
Dickenstein, Alicia (ed.); Emiris, Ioannis Z. (ed.) Solving polynomial equations. Foundations, algorithms, and applications. (English) Zbl 1061.12001 Algorithms and Computation in Mathematics 14. Berlin: Springer (ISBN 3-540-24326-7/hbk). xiii, 425 p. (2005). MSC: 12-06 14Qxx 13-06 14-06 68-06 00B15 12Y05 13Pxx 68W30 12F10 PDFBibTeX XMLCite \textit{A. Dickenstein} (ed.) and \textit{I. Z. Emiris} (ed.), Solving polynomial equations. Foundations, algorithms, and applications. Berlin: Springer (2005; Zbl 1061.12001) Full Text: DOI
Kaminski, Jeremy Yirmeyahu; Fryers, Michael; Teicher, Mina Recovering an algebraic curve using its projections from different points. Applications to static and dynamic computational vision. (English) Zbl 1070.14051 J. Eur. Math. Soc. (JEMS) 7, No. 2, 145-172 (2005). MSC: 14N05 14H50 68T45 14Q05 PDFBibTeX XMLCite \textit{J. Y. Kaminski} et al., J. Eur. Math. Soc. (JEMS) 7, No. 2, 145--172 (2005; Zbl 1070.14051) Full Text: arXiv Link
Corvez, Solen; Rouillier, Fabrice Using computer algebra tools to classify serial manipulators. (English) Zbl 1202.68489 Winkler, Franz (ed.), Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4–6, 2002. Revised papers. Berlin: Springer (ISBN 3-540-20927-1/pbk). Lecture Notes in Computer Science 2930. Lecture Notes in Artificial Intelligence, 31-43 (2004). MSC: 68W30 70B15 PDFBibTeX XMLCite \textit{S. Corvez} and \textit{F. Rouillier}, Lect. Notes Comput. Sci. 2930, 31--43 (2004; Zbl 1202.68489) Full Text: DOI
Bodini, Olivier; Nouvel, Bertrand Z-tilings of polyominoes and standard basis. (English) Zbl 1116.68105 Klette, Reinhard (ed.) et al., Combinatorial image analysis. 10th international workshop, IWCIA 2004, Auckland, New Zealand, December 1–3, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23942-1/pbk). Lecture Notes in Computer Science 3322, 137-150 (2004). MSC: 68U05 05B45 05B50 PDFBibTeX XMLCite \textit{O. Bodini} and \textit{B. Nouvel}, Lect. Notes Comput. Sci. 3322, 137--150 (2004; Zbl 1116.68105) Full Text: DOI
Rouillier, Fabrice Efficient algorithms based on critical points method. (English) Zbl 1052.14068 Basu, Saugata (ed.) et al., Algorithmic and quantitative real algebraic geometry. Proceedings of the DIMACS workshop on algorithmic and quantitative aspects of real algebraic geometry in mathematics and computer science, DIMACS Center, March 12–16, 2001. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-2863-0/hbk). DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 60, 123-138 (2003). Reviewer: Yueh-er Kuo (Knoxville) MSC: 14P10 14Q99 68W30 PDFBibTeX XMLCite \textit{F. Rouillier}, DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 60, 123--138 (2003; Zbl 1052.14068)
Basu, Saugata; Pollack, Richard; Roy, Marie-Françoise Algorithms in real algebraic geometry. (English) Zbl 1031.14028 Algorithms and Computation in Mathematics. 10. Berlin: Springer. viii, 602 p. (2003). Reviewer: Eugenii I.Shustin (Tel Aviv) MSC: 14P10 14-02 14Q99 68W30 13P10 PDFBibTeX XMLCite \textit{S. Basu} et al., Algorithms in real algebraic geometry. Berlin: Springer (2003; Zbl 1031.14028)
Mourrain, B.; Pan, V. Y.; Ruatta, O. Accelerated solution of multivariate polynomial systems of equations. (English) Zbl 1030.65051 SIAM J. Comput. 32, No. 2, 435-454 (2003). Reviewer: Iulian Coroian (Baia Mare) MSC: 65H10 12Y05 30C15 68W20 26C10 65F15 PDFBibTeX XMLCite \textit{B. Mourrain} et al., SIAM J. Comput. 32, No. 2, 435--454 (2003; Zbl 1030.65051) Full Text: DOI
Sommese, Andrew J.; Verschelde, Jan; Wampler, Charles W. Symmetric functions applied to decomposing solution sets of polynomial systems. (English) Zbl 1034.65034 SIAM J. Numer. Anal. 40, No. 6, 2026-2046 (2002). MSC: 65H10 13P05 12Y05 68W30 26C10 30C15 65H20 PDFBibTeX XMLCite \textit{A. J. Sommese} et al., SIAM J. Numer. Anal. 40, No. 6, 2026--2046 (2002; Zbl 1034.65034) Full Text: DOI
Thiéry, Nicolas M. Computing minimal generating sets of invariant rings of permutation groups with SAGBI-Gröbner basis. (English) Zbl 1017.68149 Discrete models: combinatorics, computation, and geometry. Proceedings of the 1st international conference (DM-CCG), Paris, France, July 2-5, 2001. Paris: Maison de l’Informatique et des Mathématiques Discrètes (MIMD), Discrete Math. Theor. Comput. Sci., Proc. AA, 315-328, electronic only (2001). MSC: 68W05 13P10 PDFBibTeX XMLCite \textit{N. M. Thiéry}, in: Discrete models: combinatorics, computation, and geometry. Proceedings of the 1st international conference (DM-CCG), Paris, France, July 2--5, 2001. Paris: Maison de l'Informatique et des Mathématiques Discrètes (MIMD). 315--328 (2001; Zbl 1017.68149) Full Text: EMIS
Sommese, Andrew J.; Verschelde, Jan; Wampler, Charles W. Numerical decomposition of the solution sets of polynomial systems into irreducible components. (English) Zbl 1002.65060 SIAM J. Numer. Anal. 38, No. 6, 2022-2046 (2001). Reviewer: René Lamour (Berlin) MSC: 65H10 65H20 68W30 12Y05 26C10 30C15 PDFBibTeX XMLCite \textit{A. J. Sommese} et al., SIAM J. Numer. Anal. 38, No. 6, 2022--2046 (2001; Zbl 1002.65060) Full Text: DOI
Sottile, Frank Real Schubert calculus: polynomial systems and a conjecture of Shapiro and Shapiro. (English) Zbl 0997.14016 Exp. Math. 9, No. 2, 161-182 (2000). MSC: 14N15 14N10 14Q15 14P99 PDFBibTeX XMLCite \textit{F. Sottile}, Exp. Math. 9, No. 2, 161--182 (2000; Zbl 0997.14016) Full Text: DOI arXiv EuDML
Sommese, Andrew J.; Verschelde, Jan Numerical homotopies to compute generic points on positive dimensional algebraic sets. (English) Zbl 0982.65070 J. Complexity 16, No. 3, 572-602 (2000). Reviewer: Robert F.Lax (Baton Rouge) MSC: 65H10 14Q99 65H20 12Y05 30C15 PDFBibTeX XMLCite \textit{A. J. Sommese} and \textit{J. Verschelde}, J. Complexity 16, No. 3, 572--602 (2000; Zbl 0982.65070) Full Text: DOI arXiv