×

Found 192 Documents (Results 1–100)

Computing the integer hull of convex polyhedral sets. (English) Zbl 1507.14083

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 246-267 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Symbolic-analytic methods for studying equilibrium orientations of a satellite on a circular orbit. (English. Russian original) Zbl 1476.70083

Program. Comput. Softw. 47, No. 2, 119-123 (2021); translation from Programmirovanie 47, No. 2, 28-33 (2021).
PDFBibTeX XMLCite
Full Text: DOI

A design and an implementation of an inverse kinematics computation in robotics using Gröbner bases. (English) Zbl 1503.68313

Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 3-13 (2020).
MSC:  68W30 13P10 70B15
PDFBibTeX XMLCite
Full Text: DOI

Extending the GVW algorithm to local ring. (English) Zbl 1467.13049

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). 271-278 (2018).
MSC:  13P10 68W05
PDFBibTeX XMLCite
Full Text: DOI

Computation of Pommaret bases using syzygies. (English) Zbl 1453.13075

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 20th international workshop, CASC 2018, Lille, France, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11077, 51-66 (2018).
MSC:  13P10 13D02 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Resultants, implicit parameterizations, and intersections of surfaces. (English) Zbl 1395.68346

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 310-318 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Image analysis: identification of objects via polynomial systems. (English) Zbl 1395.68269

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 305-309 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Universal Gröbner basis for parametric polynomial ideals. (English) Zbl 1395.13027

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 191-199 (2018).
MSC:  13P10
PDFBibTeX XMLCite
Full Text: DOI

Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite. (English. Russian original) Zbl 1455.70013

Program. Comput. Softw. 43, No. 2, 90-97 (2017); translation from Programmirovanie 43, No. 2, 35-44 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Local to global algorithms for the Gorenstein adjoint ideal of a curve. (English) Zbl 1402.14076

Böckle, Gebhard (ed.) et al., Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer (ISBN 978-3-319-70565-1/hbk; 978-3-319-70566-8/ebook). 51-96 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Dixon-EDF: the premier method for solution of parametric polynomial systems. (English) Zbl 1393.68192

Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 237-256 (2017).
MSC:  68W30 13P10 13P15
PDFBibTeX XMLCite
Full Text: DOI

Improved computation of involutive bases. (English) Zbl 1453.13074

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, 58-72 (2016).
MSC:  13P10 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

Solving via modular methods. (English) Zbl 1328.13037

Ibadula, Denis (ed.) et al., Bridging algebra, geometry, and topology. Selected papers based on the presentations at the international conference “Experimental and theoretical methods in algebra, geometry and topology”, Eforie Nord, Romania, June 20–25, 2013. Cham: Springer (ISBN 978-3-319-09185-3/hbk; 978-3-319-09186-0/ebook). Springer Proceedings in Mathematics & Statistics 96, 1-9 (2014).
MSC:  13P10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Using Maple’s RegularChains library to automatically classify plane geometric loci. (English) Zbl 1437.13043

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 500-503 (2014).
PDFBibTeX XMLCite
Full Text: DOI Link

Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting. (English) Zbl 1437.14008

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 458-465 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Application of Groebner basis methodology to nonlinear mechanics problems. (English) Zbl 1437.13007

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 398-405 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Examples and exercises. (English) Zbl 1306.13016

Hibi, Takayuki (ed.), Gröbner bases. Statistics and software systems. Transl. from the Japanese. Tokyo: Springer (ISBN 978-4-431-54573-6/hbk; 978-4-431-54574-3/ebook). 345-466 (2013).
MSC:  13P10 13-04
PDFBibTeX XMLCite
Full Text: DOI

Comprehensive involutive systems. (English) Zbl 1373.13027

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 14th international workshop, CASC 2012, Maribor, Slovenia, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32972-2/pbk). Lecture Notes in Computer Science 7442, 98-116 (2012).
MSC:  13P10 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Symbolic analysis for boundary problems: from rewriting to parametrized Gröbner bases. (English) Zbl 1250.65104

Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts & Monographs in Symbolic Computation, 273-331 (2012).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bivariate difference-differential dimension polynomials and their computation in Maple. (English) Zbl 1245.13021

Egri-Nagy, Attila (ed.) et al., Proceedings of the 8th international conference on applied informatics (ICAI 2010), Eger, Hungary, January 27–30, 2010. 2 Volumes. Eger: BVB Nyomda és Kiadó Kft. (ISBN 978-963-9894-72-3/pbk). 221-228 (2012).
PDFBibTeX XMLCite

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

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

Construction of orthonormal wavelets using symbolic algebraic methods. (English) Zbl 1179.42028

Simos, Theodore E. (ed.) et al., Numerical analysis and applied mathematics. International conference on numerical analysis and applied mathematics, Rethymno, Crete, Greece, September 18–22, 2009. Vol. 2. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0708-4/hbk; 978-0-7354-0709-1/set). AIP Conference Proceedings 1168, 2, 1333-1336 (2009).
MSC:  42C40 68W30 13P10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software