×

Found 61 Documents (Results 1–61)

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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

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
Full Text: DOI arXiv

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

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
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI

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

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

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
Full Text: DOI Link

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

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

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).
PDFBibTeX XMLCite

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

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

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

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

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).
MSC:  13P10 68W30
PDFBibTeX XMLCite
Full Text: arXiv

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).
PDFBibTeX XMLCite
Full Text: Link

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).
PDFBibTeX XMLCite
Full Text: DOI

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

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

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).
MSC:  14P10 14Q99 68W30
PDFBibTeX XMLCite

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

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software