SCAN 2004

Schedule for October 8, Friday

Room: Plaisir A Room: Ho-oh B

Invited Plenary Talks

9:00-9:45 Eric Walter and Michel Kieffer

Guaranteed Nonlinear Parameter or State Estimation for Knowledge-Based Models

9:45-10:30 Thomas C. Hales

Proving Theorems in Geometry by Computer

Coffee Break

Optimization III Software II
11:00-11:25
Mihály Csaba Markót and Tibor Csendes

A Reliable Method for Verifying Structural Optimality of Circle Packing Configurations in the Unit Square
Jürgen Wolff von Gudengerg

Arithmetic Data Types in Java
11:25-11:50
Péter Gábor Szabó

Packing Equal Circles in a Square - Bounds, Repeated Patterns and Minimal Polynomials
Erithjof Blomquist and Walter Krämer

Computing A-Priori Error Bounds for Floating-Point Evaluations of Arithmetical Expressions
11:50-12:15
Götz Alefeld, Z. Shen and Z. Wang

Enclosing Solutions of Complementarity Problems
Mariana Lüderitz Kolberg, Gerd Bohlender and Dalcidio Moraes Claudio

Modifications to Expression Evaluation in C-XSC
Lunch (attendees will be on their own)

PDE III Computer Algebra, Symbolic Computation
13:30-13:55
Masahisa Tabata

Discrepancy between Theory and Real Computation on the Stability of Some Finite Element Schemes
Hirokazu Anai and Kazuhiro Yokoyama

Numerical Cylindrical Algebraic Decomposition with Certificated Reconstruction
13:55-14:20
Henning Behnke

Bounds for Eigenvalues of an Eigenvalue Problem with Non-Smooth Coefficients
Rene Alt, Jean-Luc Lamotte and Svetoslav Markov

Numerical Study of Stochastic Algebraic Solutions to Linear Problems
14:20-14:45
Shashikant Manikonda, Martin Berz and Kyoko Makino

A Highly Accurate High-Order Validated Method to Solve the Neumann Boundary Condition Problem for the 3D Laplace Equation
S. Graillat and Ph. Langlois

Approximate Polynomial Problems and Associated Tools
14:45-15:10
Teruya Minamoto

Verified Numerical Computation of a Double Turning Point for the Perturbed Gelfand Equation
Eva Dyllong and Wolfram Luther

Verified Distance Computation between Octree-Encoded Objects
Coffee Break

Nonlinear System II Applications III
15:40-16:05
Stefan Ratschan and Zhikun She

Reach Set Computation for Hybrid Dynamical Systems by Constraint Propagation
Marco Kletting, Andreas Rauh, Harald Aschemann and Eberhard P. Hofer

Consistency Tests in Guaranteed Simulation of Nonlinear Uncertain Systems with Application to an Activated Sludge Process
16:05-16:30
Wolfram Luther

Verified Computation of Continued Fractions Representing Minimal Solutions of Discrete Matrix Riccati Equations
Marc Gennat and Bernd Tibken

Simulation of Uncertain Systems with Guaranteed Bounds
16:30-16:55
Kyoko Makino and Martin Berz

Range Bounding Using Taylor Models
Vladik Kreinovich, Graçaliz P. Dimuro, Antônio Carlos da Rocha Costa, Olga Kosheleva, Scott A. Starks, Kavitha Tupelly and Karen Villaverde

From Intervals to Domains: A General Description of Validated Uncertainty, with Applications to Geospatial and Meteorological Data
16:55-17:20
Kohshi Okumura

Method of Multiple Scale for Electronic Circuit Analysis
Kenta Kobayashi

Numerical Verification of the Global Uniqueness of a Positive Solution for Nekrasov's Equation
Break

Optimization IV Fundamentals of Interval Arithmetic II
17:30-17:55
Kentaro Moriya and Takashi Nodera

A New Scheme of Computing the Approximate Inverse Preconditioner for the Reduced Linear Systems

(The presentation by Prof. Chin-Yun Chen has been canceled.)
17:55-18:20
Tamás Vinkó and Arnold Neumaier

Lower Bounds for the Optimization Problems Related to Atom Clusters
(The presentation by Prof. Abbas Edalat and Prof. Dirk Pattinson has been canceled.)
18:20-18:45
Nathalie Revol

Convergent Linear Recurrences (with Scalar Coefficients) with Divergent Interval Simulations
(The presentation by Prof. Aline B. Loreto, Prof. Roberto da Silva, Prof. Laira V. Toscani, Prof. Leila Ribeiro, Prof. Dalcidio M. Claudio and Prof. Liara S. Lealhas been canceled.)
18:45-19:10
Roumen Anguelov

Interval Viscosity Solutions of the Hamilton-Jacobi Equation

19:15-
Closing Ceremony

Oct. 4 Mon. Oct. 5 Tue. Oct. 6 Wed. Oct. 7 Thu.

List of Authors

	Room: Plaisir A	Room: Ho-oh B
	Invited Plenary Talks
9:00-9:45	Eric Walter and Michel Kieffer Guaranteed Nonlinear Parameter or State Estimation for Knowledge-Based Models
9:45-10:30	Thomas C. Hales Proving Theorems in Geometry by Computer
Coffee Break
	Optimization III	Software II
11:00-11:25	Mihály Csaba Markót and Tibor Csendes A Reliable Method for Verifying Structural Optimality of Circle Packing Configurations in the Unit Square	Jürgen Wolff von Gudengerg Arithmetic Data Types in Java
11:25-11:50	Péter Gábor Szabó Packing Equal Circles in a Square - Bounds, Repeated Patterns and Minimal Polynomials	Erithjof Blomquist and Walter Krämer Computing A-Priori Error Bounds for Floating-Point Evaluations of Arithmetical Expressions
11:50-12:15	Götz Alefeld, Z. Shen and Z. Wang Enclosing Solutions of Complementarity Problems	Mariana Lüderitz Kolberg, Gerd Bohlender and Dalcidio Moraes Claudio Modifications to Expression Evaluation in C-XSC
Lunch (attendees will be on their own)
	PDE III	Computer Algebra, Symbolic Computation
13:30-13:55	Masahisa Tabata Discrepancy between Theory and Real Computation on the Stability of Some Finite Element Schemes	Hirokazu Anai and Kazuhiro Yokoyama Numerical Cylindrical Algebraic Decomposition with Certificated Reconstruction
13:55-14:20	Henning Behnke Bounds for Eigenvalues of an Eigenvalue Problem with Non-Smooth Coefficients	Rene Alt, Jean-Luc Lamotte and Svetoslav Markov Numerical Study of Stochastic Algebraic Solutions to Linear Problems
14:20-14:45	Shashikant Manikonda, Martin Berz and Kyoko Makino A Highly Accurate High-Order Validated Method to Solve the Neumann Boundary Condition Problem for the 3D Laplace Equation	S. Graillat and Ph. Langlois Approximate Polynomial Problems and Associated Tools
14:45-15:10	Teruya Minamoto Verified Numerical Computation of a Double Turning Point for the Perturbed Gelfand Equation	Eva Dyllong and Wolfram Luther Verified Distance Computation between Octree-Encoded Objects
Coffee Break
	Nonlinear System II	Applications III
15:40-16:05	Stefan Ratschan and Zhikun She Reach Set Computation for Hybrid Dynamical Systems by Constraint Propagation	Marco Kletting, Andreas Rauh, Harald Aschemann and Eberhard P. Hofer Consistency Tests in Guaranteed Simulation of Nonlinear Uncertain Systems with Application to an Activated Sludge Process
16:05-16:30	Wolfram Luther Verified Computation of Continued Fractions Representing Minimal Solutions of Discrete Matrix Riccati Equations	Marc Gennat and Bernd Tibken Simulation of Uncertain Systems with Guaranteed Bounds
16:30-16:55	Kyoko Makino and Martin Berz Range Bounding Using Taylor Models	Vladik Kreinovich, Graçaliz P. Dimuro, Antônio Carlos da Rocha Costa, Olga Kosheleva, Scott A. Starks, Kavitha Tupelly and Karen Villaverde From Intervals to Domains: A General Description of Validated Uncertainty, with Applications to Geospatial and Meteorological Data
16:55-17:20	Kohshi Okumura Method of Multiple Scale for Electronic Circuit Analysis	Kenta Kobayashi Numerical Verification of the Global Uniqueness of a Positive Solution for Nekrasov's Equation
Break
	Optimization IV	Fundamentals of Interval Arithmetic II
17:30-17:55	Kentaro Moriya and Takashi Nodera A New Scheme of Computing the Approximate Inverse Preconditioner for the Reduced Linear Systems	(The presentation by Prof. Chin-Yun Chen has been canceled.)
17:55-18:20	Tamás Vinkó and Arnold Neumaier Lower Bounds for the Optimization Problems Related to Atom Clusters	(The presentation by Prof. Abbas Edalat and Prof. Dirk Pattinson has been canceled.)
18:20-18:45	Nathalie Revol Convergent Linear Recurrences (with Scalar Coefficients) with Divergent Interval Simulations	(The presentation by Prof. Aline B. Loreto, Prof. Roberto da Silva, Prof. Laira V. Toscani, Prof. Leila Ribeiro, Prof. Dalcidio M. Claudio and Prof. Liara S. Lealhas been canceled.)
18:45-19:10	Roumen Anguelov Interval Viscosity Solutions of the Hamilton-Jacobi Equation

19:15-	Closing Ceremony