×

Found 276 Documents (Results 1–100)

Investigation of difference schemes for two-dimensional Navier-Stokes equations by using computer algebra algorithms. (English. Russian original) Zbl 1523.35239

Program. Comput. Softw. 49, No. 1, 26-31 (2023); translation from Programmirovanie 49, No. 1, 32-37 (2023).
PDFBibTeX XMLCite
Full Text: DOI

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

On boundary conditions parametrized by analytic functions. (English) Zbl 1514.13028

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, 225-245 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra. (English) Zbl 1495.68250

Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 174-191 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Construction of a new implicit difference scheme for 2D Boussinesq paradigm equation. (English) Zbl 1437.65090

England, Matthew (ed.) et al., Computer algebra in scientific computing. 21st international workshop, CASC 2019, Moscow, Russia, August 26–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11661, 152-163 (2019).
PDFBibTeX XMLCite
Full Text: DOI

BM algorithms for noisy data and implicit regression modeling. (English) Zbl 1411.13040

Hibi, Takayuki (ed.), The 50th anniversary of Gröbner bases. Proceedings of the 8th Mathematical Society of Japan-Seasonal Institute (MSJ-SI 2015), Osaka, Japan, July 1–10, 2015. Tokyo: Mathematical Society of Japan (MSJ). Adv. Stud. Pure Math. 77, 87-107 (2018).
MSC:  13P25 13P10 62J02 65C60 65F20
PDFBibTeX XMLCite

HomotopyContinuation.jl: a package for homotopy continuation in Julia. (English) Zbl 1396.14003

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, 458-465 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Solving polynomial systems using numeric Gröbner bases. (English) Zbl 1395.13029

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, 335-342 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Homotopy continuation in Macaulay2. (English) Zbl 1395.13028

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, 328-334 (2018).
MSC:  13P10 14Qxx 65H10
PDFBibTeX XMLCite
Full Text: DOI

Numerical software to compute Newton polytopes. (English) Zbl 1397.65341

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, 80-88 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Automated generation of non-linear loop invariants utilizing hypergeometric sequences. (English) Zbl 1457.68063

Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 221-228 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automated study of envelopes of one-parameter families of surfaces. (English) Zbl 1386.65088

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, 29-44 (2017).
MSC:  65D18 53A05 13P10
PDFBibTeX XMLCite
Full Text: DOI

GBLA: Gröbner basis linear algebra package. (English) Zbl 1361.13014

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). 135-142 (2016).
MSC:  13P10 65Y05 65Y15
PDFBibTeX XMLCite
Full Text: DOI arXiv

The complexity of cylindrical algebraic decomposition with respect to polynomial degree. (English) Zbl 1453.13079

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, 172-192 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Border basis for polynomial system solving and optimization. (English) Zbl 1434.68717

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, 212-220 (2016).
MSC:  68W30 13P10 65Y15
PDFBibTeX XMLCite
Full Text: DOI HAL

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

Software using the Gröbner cover for geometrical loci computation and classification. (English) Zbl 1437.13001

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, 492-499 (2014).
PDFBibTeX XMLCite
Full Text: DOI Link

Application of the method of asymptotic solution to one multi-parameter problem. (English) Zbl 1375.70014

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, 22-33 (2012).
PDFBibTeX XMLCite
Full Text: DOI

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

The “Seven Dwarfs” of symbolic computation. (English) Zbl 1257.65013

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, 95-104 (2012).
PDFBibTeX XMLCite
Full Text: DOI Link

Numerical and symbolic scientific computing. Progress and prospects. (English) Zbl 1234.65014

Texts & Monographs in Symbolic Computation. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). viii, 358 p. (2012).
PDFBibTeX XMLCite
Full Text: DOI

Consistency of finite difference approximations for linear PDE systems and its algorithmic verification. (English) Zbl 1321.65161

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

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software