Japanese | English

Kobe Studio Seminar for Design

Workshop: Symbolic-Numeric Computations and Related Topics

Symbolic and Algebraic Computations is a multidisciplinary subject including many areas related to mathematically formulated computational problems (e.g. solving polynomial equations). In this workshop, we will have a discussion on Symbolic-Numeric Computations (with considerations on a priori or posteriori error) and Related Topics (Control Theory, Numerical Computations and so on).

Especially, we would like to discuss approximate GCD. Its history and future works are our interests. Any researcher interested in approximate GCD is welcome to join us though you may need some fundamentals on Symbolic and Algebraic Computations.

Date:
2014/11/22 - 2014/11/23
Place:
Place: Graduate School of Human Development and Environment, Kobe University. (No. 10 at the Campus Map)
Room:
A739
Workshop Organizers:
Kosaku Nagasaka (Kobe University)
References:

The followings may be useful for studying the fundamentals in Symbolic and Algebraic Computations.

  • Modern Computer Algebra / Joachim von zur Gathen, J├╝rgen Gerhard
  • Computer Algebra Handbook / Johannes Grabmeier, Erich Kaltofen, Volker Weispfenning
  • Keisanki-Daisu to Keisan-Kika (Iwanami-Ouyou-Suugaku) / Tateaki Sasaki (in Japanese)

Program

Time:
2014/11/22 13:30-14:30
Title:
Polynomial GCD and Approximate GCD - History and Background -
Speaker:
Kosaku Nagasaka (Kobe University)
Abstract:

In this talk, we introduce some fundamental properties of GCD (Euclid's algorithm, Half GCD, subresultant mapping and so on) in a (univariate or multivariate) polynomial ring over a field, the reason why the approximate GCD was studied and some major algorithms for approximate GCD (QRGCD, UVGCD, FastGCD, STLN based method and so on).

Time:
2014/11/22 14:40-15:40
Title:
Toward the Generalized KYP Lemma for a parametric system
Speaker:
Takuya Kitamoto (Yamaguchi University)
Abstract:

"Generalized KYP Lemma", proposed by Hara and Iwasaki, is a generalization of well-known "KYP Lemma" in control theory. In this presentation, we discuss an extension of the "Generalized KYP Lemma" to a parametric system.

Time:
2014/11/22 15:50-16:30
Title:
Introduction for The Orientation Problem
Speaker:
Yoshiyuki Nagata (Kobe University)
Abstract:

When we solve the problem of computational geometry, it plays an important role to determine whether a point lies on, to the left of, or to the right of the oriented line defined by other points. This kind of judging is called The 2D Orientation Problem. The answer of this can be predicated by the sign of the determinant and we need the speed and the correctness of computation. In this talk, we introduce some known methods for this problem.

Time:
2014/11/22 16:40-17:20
Title:
Improved Method for The Orientation Problem
Speaker:
Yoshiyuki Nagata (Kobe University)
Abstract:

In this talk, we give an improved method for the orientation problem based on the known method.

Time:
2014/11/23 09:30-10:30
Title:
Some Use of Instability for Approximate GCD Computation
Speaker:
Masaru Sanuki (University of Tsukuba)
Abstract:

For computing the approximate GCD in ill-conditioned cases (GCD with small leading-coefficients, with big leading-coefficients, and so on), their numerical computation will be unstable by the reason of instability even if it is known. In this talk, we introduce such ill-condition cases and propose some use of instability to compute approximate GCD, inversely.

Time:
2014/11/23 10:40-11:40
Title:
Approximate GCD as Optimization Problem: Past, Present and the Future
Speaker:
Akira Terui (University of Tsukuba)
Abstract:

A problem for calculating approximate GCD has attracted attentions as an optimization problem. In this talk, we focus on approximate GCD algorithm with optimization strategy and take a look at a glance at its development including the author's results.

Time:
2014/11/23 11:50-12:50
Title:
History and Future of Approximate GCD - as Stability Problem -
Speaker:
Kosaku Nagasaka (Kobe University)
Abstract:

Computing polynomial GCDs is one of important fundamental computations in algebraic computations hence there are many studies from the viewpoints of exact and (even) approximate computations. In this talk, we would like to have a discussion on the stability of approximate GCD in the near future, as an exact computation with some perturbations.