×

Found 4,309 Documents (Results 1–100)

Newest Citations Relevance
Vaccon, Tristan; Verron, Thibaut

Universal analytic Gröbner bases and tropical geometry. (English) Zbl 07760798

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). 517-525 (2023).
MSC:  68W30
PDF BibTeX XML Cite
\textit{T. Vaccon} and \textit{T. Verron}, in: 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). 517--525 (2023; Zbl 07760798)
Full Text: DOI
Hofstadler, Clemens; Verron, Thibaut

Signature Gröbner bases in free algebras over rings. (English) Zbl 07760774

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). 298-306 (2023).
Reviewer: Amir Hashemi (Isfahan)
MSC:  13P10 68W30
PDF BibTeX XML Cite
\textit{C. Hofstadler} and \textit{T. Verron}, in: 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). 298--306 (2023; Zbl 07760774)
Full Text: DOI arXiv
Eder, Christian; Lairez, Pierre; Mohr, Rafael; Safey El Din, Mohab

A direttissimo algorithm for equidimensional decomposition. (English) Zbl 07760770

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). 260-269 (2023).
MSC:  68W30
PDF BibTeX XML Cite
\textit{C. Eder} et al., in: 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). 260--269 (2023; Zbl 07760770)
Full Text: DOI arXiv
Snowden, Andrew; Güntürkün, Sema

The representation theory of the increasing monoid. (English) Zbl 1515.20017

Memoirs of the American Mathematical Society 1420. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6546-9/pbk; 978-1-4704-7514-7/ebook). vii, 134 p. (2023).
MSC:  20-02 20C32 13A99 13P10 16S37
PDF BibTeX XML Cite
\textit{A. Snowden} and \textit{S. Güntürkün}, The representation theory of the increasing monoid. Providence, RI: American Mathematical Society (AMS) (2023; Zbl 1515.20017)
Full Text: DOI arXiv
Blinkov, Yu. A.; Rebrina, A. Yu.

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

Program. Comput. Softw. 49, No. 1, 26-31 (2023); translation from Programmirovanie 49, No. 1, 32-37 (2023).
MSC:  35Q30 76D05 65M06 65N06 76M20 68W30 13P10
PDF BibTeX XML Cite
\textit{Yu. A. Blinkov} and \textit{A. Yu. Rebrina}, Program. Comput. Softw. 49, No. 1, 26--31 (2023; Zbl 07688630); translation from Programmirovanie 49, No. 1, 32--37 (2023)
Full Text: DOI
Cortés, Vicente; Ehlert, Jeremias; Haupt, Alexander S.; Lindemann, David

Classification of left-invariant Einstein metrics on \(\mathrm{SL}(2, \mathbb{R}) \times \mathrm{SL}(2, \mathbb{R})\) that are bi-invariant under a one-parameter subgroup. (English) Zbl 1511.53054

Ann. Global Anal. Geom. 63, No. 2, Paper No. 16, 16 p. (2023).
Reviewer: Emilio A. Lauret (Bahía Blanca)
MSC:  53C30 53C25 13P10
PDF BibTeX XML Cite
\textit{V. Cortés} et al., Ann. Global Anal. Geom. 63, No. 2, Paper No. 16, 16 p. (2023; Zbl 1511.53054)
Full Text: DOI arXiv
Moreno Maza, Marc; Wang, Linxiao

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).
Reviewer: Amir Hashemi (Isfahan)
MSC:  14Q65 13P10 65H14 52B55 68W30
PDF BibTeX XML Cite
\textit{M. Moreno Maza} and \textit{L. Wang}, Lect. Notes Comput. Sci. 13366, 246--267 (2022; Zbl 1507.14083)
Full Text: DOI
Lange-Hegermann, Markus; Robertz, Daniel

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).
MSC:  13P10 35M30 60G15 65C99 68W30
PDF BibTeX XML Cite
\textit{M. Lange-Hegermann} and \textit{D. Robertz}, Lect. Notes Comput. Sci. 13366, 225--245 (2022; Zbl 1514.13028)
Full Text: DOI arXiv
Dong, Mingyu; Mou, Chenqi

Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition. (English) Zbl 1514.68324

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, 124-142 (2022).
MSC:  68W30 13P10
PDF BibTeX XML Cite
\textit{M. Dong} and \textit{C. Mou}, Lect. Notes Comput. Sci. 13366, 124--142 (2022; Zbl 1514.68324)
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Biographic Reference

all top 3

Software