Σεμινάριο Θεωρητικής Πληροφορικής – Τυπικών Μεθόδων

“A Review of Algorithms for Symbolic Domains”

Πέμπτη 28 Μαΐου ώρα 12:00, Αίθουσα M2
Prof Stephen M. Watt
Cheriton School of Computer Science
University of Waterloo (https://cs.uwaterloo.ca/~smwatt/)

We explore arithmetic with quantities where the sizes or shapes are given by parameters. We consider polynomials where the exponents are given by symbolic expressions, matrices with blocks or other internal structure of symbolic size, and piece-wise functions where the shapes of the domains are given by symbolic expressions.

A naive approach to arithmetic gives an exponential number of cases. We show how this can be avoided, on the one hand, in polynomial algebra, by considering generic structure, and on the other hand, for general arithmetic, by using support structures where negative cardinalities can occur.

https://grahonis.webpages.auth.gr/Seminar_TCS-FM.html

Οι υπεύθυνοι του σεμιναρίου
καθ. Παναγιώτης Κατσαρός (τμήμα Πληροφορικής)
καθ. Γεώργιος Ραχώνης