×

Found 54 Documents (Results 1–54)

Computation of free non-commutative Gröbner bases over \(\mathbb{Z}\) with Singular:Letterplace. (English) Zbl 07300086

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). 312-319 (2020).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Letterplace – a subsystem of Singular for computations with free algebras via letterplace embedding. (English) Zbl 1514.68327

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). 305-311 (2020).
MSC:  68W30 13-04 14-04
PDFBibTeX XMLCite
Full Text: DOI

Formally verifying proofs for algebraic identities of matrices. (English) Zbl 1455.68253

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 222-236 (2020).
MSC:  68V15 15A24 68W30
PDFBibTeX XMLCite
Full Text: DOI

Controlled and conditioned invariance for polynomial and rational feedback systems. (English) Zbl 1451.93127

Quadrat, Alban (ed.) et al., Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4–6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7–11, 2014. Cham: Springer. Adv. Delays Dyn. 9, 259-293 (2020).
MSC:  93B52 93B25
PDFBibTeX XMLCite
Full Text: DOI

Constructive arithmetics in Ore localizations with enough commutativity. (English) Zbl 1467.16038

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

A constructive approach to arithmetics in Ore localizations. (English) Zbl 1459.16031

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). 197-204 (2017).
MSC:  16S85 16D80 68W30
PDFBibTeX XMLCite
Full Text: DOI

Factorization of \( \mathbb {Z}\)-homogeneous polynomials in the first \(q\)-Weyl algebra. (English) Zbl 1400.16001

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

A factorization algorithm for \(G\)-algebras and applications. (English) Zbl 1362.13025

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). 263-270 (2016).
MSC:  13P05 13P10 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Factoring linear differential operators in \(n\) variables. (English) Zbl 1325.68280

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 194-201 (2014).
MSC:  68W30 16S32 16Z05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Enhanced computations of Gröbner bases in free algebras as a new application of the letterplace paradigm. (English) Zbl 1360.68942

Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 259-266 (2013).
MSC:  68W30 13P10
PDFBibTeX XMLCite
Full Text: DOI

Elements of computer-algebraic analysis. (English) Zbl 1308.68178

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). 9-10 (2012).
MSC:  68W30 13P10 39B72
PDFBibTeX XMLCite
Full Text: DOI

A symbolic approach to generation and analysis of finite difference schemes of partial differential equations. (English) Zbl 1250.65109

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, 123-156 (2012).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On two-generated non-commutative algebras subject to the affine relation. (English) Zbl 1308.16039

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 13th international workshop, CASC 2011, Kassel, Germany, September 5–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23567-2/pbk). Lecture Notes in Computer Science 6885, 309-320 (2011).
MSC:  16Z05 16S15 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Principal intersection and Bernstein-Sato polynomial of an affine variety. (English) Zbl 1237.14004

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

Computational \(D\)-module theory with singular, comparison with other systems and two new algorithms. (English) Zbl 1489.14003

Jeffrey, David J. (ed.), Proceedings of the 2008 international symposium on symbolic and algebraic computation, ISSAC 2008, Linz/Hagenberg, Austria, July 20–23, 2008. New York, NY: Association for Computing Machinery (ACM). 173-180 (2008).
MSC:  14-04 14Q15 68W30
PDFBibTeX XMLCite
Full Text: DOI

Obstructions to genericity in study of parametric problems in control theory. (English) Zbl 1202.13015

Park, Hyungju (ed.) et al., Gröbner bases in control theory and signal processing. Papers presented at the D3 workshop, Linz, Austria, May 18–19, 2006. Berlin: Walter de Gruyter (ISBN 978-3-11-019333-6/hbk). Radon Series on Computational and Applied Mathematics 3, 127-149 (2007).
MSC:  13P10 93B25
PDFBibTeX XMLCite
Full Text: arXiv

Intersection of ideals with non-commutative subalgebras. (English) Zbl 1356.16046

Dumas, Jean-Guillaume (ed.), Proceedings of the 2006 international symposium on symbolic and algebraic computation, ISSAC 06, Genova, Italy, July 9–12, 2006. New York, NY: ACM Press (ISBN 1-59593-276-3). 212-219 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Plural, a non-commutative extension of Singular: past, present and future. (English) Zbl 1229.16001

Iglesias, Andrés (ed.) et al., Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). Lecture Notes in Computer Science 4151, 144-157 (2006).
PDFBibTeX XMLCite
Full Text: DOI

On preimages of ideals in certain non-commutative algebras. (English) Zbl 1101.13307

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, 44-62 (2005).
MSC:  13P10 16D80
PDFBibTeX XMLCite

PBW bases, non-degeneracy conditions and applications. (English) Zbl 1094.16030

Buchweitz, Ragnar-Olaf (ed.) et al., Representations of algebras and related topics. Proceedings from the 10th international conference, ICRA X, Toronto, Canada, July 15–August 10, 2002. Dedicated to V. Dlab on the occasion of his 70th birthday. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3415-0/hbk). Fields Institute Communications 45, 229-246 (2005).
MSC:  16Z05 68W30 16S37 16S15 16W70 13P10 16W35
PDFBibTeX XMLCite

Plural – a computer algebra system for noncommutative polynomial algebras. (English) Zbl 1072.68681

Sendra, J. Rafael (ed.), ISSAC 2003. Proceedings of the 2003 international symposium on symbolic and algebraic computation, Philadelphia, PA, USA, August 3–6, 2003. New York, NY: ACM Press (ISBN 1-58113-641-2/pbk). 176-183 (2003).
MSC:  68W30 13P05 13P10
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software