×

Found 65 Documents (Results 1–65)

On parametric border bases. (English) Zbl 07441056

Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 10-15 (2020).
MSC:  68-XX 65-XX
PDFBibTeX XMLCite
Full Text: DOI

On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal. (English) Zbl 1467.13053

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). 359-365 (2018).
MSC:  13P10 03C10 68W40
PDFBibTeX XMLCite
Full Text: DOI

Differential dynamic logic for verifying parametric hybrid systems. (English) Zbl 1132.68478

Olivetti, Nicola (ed.), Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3–6, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73098-9/pbk). Lecture Notes in Computer Science 4548. Lecture Notes in Artificial Intelligence, 216-232 (2007).
MSC:  68Q60 03B70
PDFBibTeX XMLCite
Full Text: DOI Link

Complexity of the resolution of parametric systems of polynomial equations and inequations. (English) Zbl 1356.14050

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). 246-253 (2006).
PDFBibTeX XMLCite
Full Text: DOI Link

Implicitization exploiting sparseness. (English) Zbl 1272.65018

Janardan, Ravi (ed.) et al., Geometric and algorithmic aspects of computer-aided design and manufacturing. DIMACS workshop computer aided design and manufacturing, October 7–9, 2003, Piscataway, New Jersey. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3628-5/hbk). DIMACS. Series in Discrete Mathematics and Theoretical Computer Science 67, 281-297 (2005).
MSC:  65D17 14Q10
PDFBibTeX XMLCite

Parametric systems of linear congruences. (English) Zbl 1035.11065

Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing, CASC 2001. Proceedings of the 4th international workshop, Konstanz, Germany, September 22–26, 2001. Berlin: Springer (ISBN 3-540-42355-9). 149-166 (2001).
PDFBibTeX XMLCite

A theory for parametric linear systems. (English) Zbl 0923.65016

Watt, Stephen M. (ed.), ISSAC ’91. Proceedings of the 1991 international symposium on Symbolic and algebraic computation. Bonn, Germany, July 15–17, 1991. New York, NY: ACM Press, 112-121 (1991).
MSC:  65F30 65F05 15A06 65Y20
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software