INTERNATIONAL MATHEMATICA SYMPOSIUM 1999

 

 

 

 

Monday, August 23

Time

Room A

Room B

 

8:30-9:00

TRANSFER FROM LINZ

 

9:00-9:30

OPENING

 

1/2

9:30-11:30

KEYNOTE 1

S. Wolfram

Foundations of Mathematics and Mathematica

 

2

11:30-12:00

TOUR RISC-SOFTWAREPARK

1/2

12:00-13:30

LUNCH

1 1/2

13:30-14:00

EDUCATION 1 #2

P. Ramsden
You're Doing Simulations with Your Students, so Why Are You Using Mathematica?

COMPUTER SCIENCE 1 #22

M. Marin, T. Ida, W. Schreiner
CFLP: a Mathematica Implementation of a Distributed Constraint Solving System

1/2

14:00-14:30

EDUCATION 2 #20

G. Albano, A. Cavallone, C. D'Apice, S. Salerno
Mathematica and Didactical Innovation

COMPUTER SCIENCE 2 #35

R. Barrere
The Structuring Power of Mathematica in Mathematics and Mathematical Education

1/2

14:30-15:00

EDUCATION 3 #18

H. Nishizawa
Interactive On-line Exercises of Basic Mathematical Functions

 

COMPUTER SCIENCE 3 #17A

S.J.Chandler, C.J. Jacob
Automata Containing Evolutionary Algorithms: Behavior and Learning Under Law
Chapter 1: Tool Construction

1/2

15:00-15:30

EDUCATION 4 #31

K. Nakagami, F. Takeutchi, F. Ushitaki, M. Yasugi
Mathematica-aided Education of Science-major Students

ALGORITHMIC MUSIC 1 #55

E. Jensen, R.J. Rusay
Musical Representations of the Fibonacci String and Proteins Using Mathematica

1/2

15:30-15:45

COFFEE BREAK

1/4

15:45-16:15

EDUCATION 5 #52

S.K. Kivelä
An Example of Computer-based Study Material in Mathematics: Planning Principles and Realization

MATHEMATICAL ALGORITHMS 1 #23

Q. Li, Y. Guo, T. Ida
Transformation of Logical Specification into IP-formulas

1/2

16:15-16:45

EDUCATION 6 #51

R. Nurmiainen
Mathematica-based Package for Studying Ordinary Differential Equations and for Analyzing the Learning Process

MATHEMATICAL ALGORITHMS 2 #54

T. de Alwis
Normal Lines Drawn to Ellipses and Elliptic Integrals

 

 

1/2

16:45-17:15

EDUCATION 7 #32

H. Kimura, C. Miyaji, S. Ohashi, K. Yoshida
Mathematica as a Communication Enhancement Tool in the Classroom

MATHEMATICAL ALGORITHMS 3 #46

G. Baumann
Fractional Calculus: Application and Result

 

1/2

17:15-17:45

EDUCATION 8 #30

J. Berglind
Sound as an Additional Learning Tool

MATHEMATICAL PHYSICS 1 #13

R.A. Walentynski
Refined Constitutive Shell Equations with MathTensor

1/2

17:45-18:00

COFFEE BREAK

1/4

18:00-19:00

DEMO 1

R. Germundsson

Mathematica Technology News

 

1

19:15

TRANSFER TO LINZ

 

 

20:00

DINNER

 

 

 

 

 

 

Tuesday, August 24

Time

Room A

Room B

 

8:30-9:00

TRANSFER FROM LINZ

 

9:00-10:15

KEYNOTE 2

M. Petkovsek

Solving Discrete Initial and Boundary Value Problems with Mathematica

 

1 1/4

10:15-10:45

COFFEE BREAK

1/2

10:45-12:00

KEYNOTE 3

R. Knapp

Mathematica Numerics

 

1 1/4

12:00-13:30

LUNCH

1 1/2

13:30-14:00

EDUCATION 9 #42

K. Yoshida, S. Ohashi, H. Kimura, C. Miyaji
Teaching High School Mathematics over a Network with Mathematica

MATHEMATICAL PHYSICS 2 #3

J.H. Wolkowisky
Exploring the Theory of Geometric Bifurcation

 

1/2

14:00-14:30

EDUCATION 10 #41

S. Ohashi, K. Yoshida
"Mathematica Natsu no Gakkou" (Mathematica Summer School)

MATHEMATICAL PHYSICS 3 #5

R. Knapp
Numerical Approximations of the Nonliner Schrodinger Equation with Mathematica

1/2

14:30-15:00

GEOMETRY AND GRAPHICS 1 #28

S. Welke
The Application of Winding Numbers to the Interior Problem of Nonconvex Polygons and Polyhedra

MATHEMATICAL PHYSICS 4 #12

M. Jirstrand, J. Gunnarsson
MathModelica - a New Modeling and Simulation Environment for Mathematica

1/2

15:00-15:30

GEOMETRY AND GRAPHICS 1 #38

J. Sato, C. Miyaji, M. Jankowski
Interactive Photo Editor FrontEnd using MathLink

DIFFERENTIAL EQUATIONS 1 #7

A. Wrangsjö, P. Fritzson, K. Sheshadri
Transforming Systems of PDEs for Efficient Numerical Solution

1/2

15:30-15:45

COFFEE BREAK

1/4

15:45-16:45

DEMO 2

R. Knapp

Mathematica Numerics

1

16:45-17:45

DEMO 3

K. Sutner

Automata Package

1

17:45-18:00

COFFEE BREAK

1/4

18:00-19:00

DEMO 4

J. Gunnarsson

MathCode and MathModelica

 

1

19:15

TRANSFER TO LINZ

 

 

 

 

 

Wednesday, August 25

Time

Room A

Room B

 

8:30-9:00

TRANSFER FROM LINZ

 

 

9:00-10:15

KEYNOTE 4

J. Treil

Applications in Radiology

 

1 1/4

10:15-10:45

COFFEE BREAK

1/2

10:45-12:00

KEYNOTE 5

B. Buchberger

Theorema - A Proving System Based on Mathematica

 

1 1/4

12:00-13:30

LUNCH

1 1/2

13:30-14:00

GEOMETRY AND GRAPHICS 3 #37

Y. Tazawa
Experiments in the Theory of Surfaces

 

COMPUTATIONAL PHYS., CHEM., ENGIN. 1 #21

G. Gargiulo, S. Salerno
Non-trivial Asymptotic Formulas by Symbolic Computation

1/2

14:00-14:30

GEOMETRY AND GRAPHICS 4 #24

C. Miyaji
Interactive Graphics Using MathLink

 

 

COMPUTATIONAL PHYS., CHEM., ENGIN. 2 #26

L.R. Jaroszewicz
The Visualisation of Different Fiber-optic Loop Interferometer Applications Work by Applying 3D Mathematica Graphics

1/2

14:30-15:00

ECONOMICS 1 #25

M.I. Loffredo
Testing Chaos and Fractal Properties in Economic Time Series

COMPUTATIONAL PHYS., CHEM., ENGIN. 3 #10

M. Jirstrand, J. Gunnarsson
Code Generation for Simulation and Control Applications

1/2

15:00-15:30

ECONOMICS 2 #27

Y. Itaya
Dynamic Optimization and Differential Games with Applications to Economics

COMPUTATIONAL PHYS., CHEM., ENGIN. 4 #19

J.R. Anttila, A.P. Pasanen
Integration of Mathematica into an Information System Supporting Chemical Prosess Development

1/2

15:30-15:45

COFFEE BREAK

1/4

15:45-16:15

ECONOMICS 3 #17B

S.J. Chandler, C.J. Jacob
Automata Containing Evolutionary Algorithms: Behavior and Learning Under Law
Chapter 2: Actual Experiments

COMPUTATIONAL PHYS., CHEM., ENGIN. 5 #50

F. Taiwo, E. Effanga, S. Odusanya

Recent Extensions in the Computation of Optimal Simplified Models for Systems with Time Delays

 

1/2

16:15-17:45

DEMO 5

P. Abbott

Programming the Front End & Technical Publishing

1 1/2

17:45-18:15

CLOSING

1/2

18:15

TRANSFER TO LINZ