matthias kawski interactive visualization ams / 23 rd scandinavian congress odense june 2000 kawski...

38
Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 A new era of Interactive Visualization Matthias Kawski Department of Mathematics Arizona State University Tempe, Arizona U.S.A.

Post on 18-Dec-2015

217 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

A new era of Interactive Visualization

Matthias KawskiDepartment of Mathematics

Arizona State UniversityTempe, Arizona U.S.A.

Page 2: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Outline

0. It is not just drawing / showing pictures

1. JAVA vector field analyzer

2. Examples from many courseslinear algebra, diff equns, elect circuits, writing proofs, complex anal, diff geom, applied discr.event syst. research

3. General observations, questions, tasks

4. More small JAVA samples to take home...

Page 3: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Thanks for generous support by

Department of Mathematics

Center for Research in Education of Science, Mathematics, Engineering, and Technology

Arizona State University

INTEL Corporation through grant 98-34

National Science Foundation through the grants DUE 97-52453 Vector Calculus via Linearization: Visualization and Modern Applications

EEC 98-02942 Engineering Foundation Coalition

Page 4: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Vision

This is the beginning of a new era in which an

interactive visual language not only complements,

but often supersedes the traditional, almost exclusively algebraic-symbolic language which for generations

has often been confused with mathematics itself,

and which may be largely responsible for the isolation,

poor public perception, and extremely difficult re-entry

into mathematics due to the imposed vertical structure.

Page 5: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Changing environment

• New opportunities!foremost: information technology

• New needs, expectations demands for higher efficiency/productivity

– Case in point: Attitude towards “black boxes”, • not just graphing calculators and CAS• numerical integration of any dynamical system…• e.g. “record a macro” (EXCEL, Visual Basic/C/Java)• Op-amps (PSPICE, SIMULINK)

Page 6: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

What is our mission? Goal? Objective?

• Keep math alive -- raise next generation of mathematicians(React to changing demands/needs/environ’s, but don’t betray our tradition)

• Applications: service to other disciplines/society… (what are willing to compromise, and what will we not compromise?)

• Math as a twin of philosophy, search for truthlearn to argue, prove beyond any doubt...

• Math as a science Experiment and discover...

Which of these (and others) require x and y symbols, and which may (possibly better?) be served via interactive graphical/visual languages?

Page 7: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Outline

0. It is not just drawing pictures

1. JAVA vector field analyzer

2. Examples from many courseslinear algebra, diff equns, elect circuits, writing proofs, complex anal, diff geom, applied discr.event syst. research

3. General observations, questions, tasks

4. More small JAVA samples to take home...

Page 8: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Curl: Coherence or fragmentation?

Page 9: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

hand-drawn brick-walls…. hand-drawn brick-walls….hand-drawn brick-walls….hand-drawn brick-walls….

han

d-dr

awn

bri

ck-w

alls

….

han

d-dr

awn

bri

ck-w

alls

….h

and-

draw

n b

rick

-wal

ls…

.h

and-

draw

n b

rick

-wal

ls…

.

hand-drawn brick-walls…. hand-drawn brick-walls….hand-drawn brick-walls….hand-drawn brick-walls….

hand-drawn brick-walls…. hand-drawn brick-walls….hand-drawn brick-walls….hand-drawn brick-walls….

han

d-dr

awn

bri

ck-w

alls

….

han

d-dr

awn

bri

ck-w

alls

….h

and-

draw

n b

rick

-wal

ls…

.h

and-

draw

n b

rick

-wal

ls…

.

hand-drawn brick-walls…. hand-drawn brick-walls….hand-drawn brick-walls….hand-drawn brick-walls….

A fragmented curriculum: VC, LA, DE

Page 10: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Coherence: VC, LA, DE

• The visual languageprovides the glue thatconnects different“aspects”of the samemathemat.objects!

Page 11: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Outline

0. It is not just drawing / showing pictures

1. JAVA vector field analyzer

2. Examples from many courseslinear algebra, diff equns, elect circuits, writing proofs, complex anal, diff geom, applied discr.event syst. research

3. General observations, questions, tasks

4. More small JAVA samples to take home...

Page 12: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Multi-variable calculus

Changing orders of integration in iterated integrals: Practically impossible using algebra alone…Extremely hard to visualize for beginners w/o tools

Can the students “check” her/his work? Do teachers’ need devote much time / effort for grading?

Language of this task is graphic: “slices”, and “projections”.

MAPLE makes it interactive...

Page 13: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Linear algebra

The program as an interactive discovery tool……The picture as a (list of) final exam questions…?!

• All coming from one picture:– linear mapping

– under/overdetermined….

– eigen vectors and eigen values

– linear combinations

– singular value decomposition

– orthogonal transformations

– area magnification and determinant

– ….

A simple MATLAB program

Page 14: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Differential Equationsexample from: Jerry C. Hamann, U Wyoming

E.g. Rossler attractor:System of equations and the MATLAB-SIMULINK sample screen

Are the descriptionsequivalent? Which is more … useful for…? … accessible w/o many extra courses? … gets the message across? … doing analysis / math? experimentation / modeling / design …?

Page 15: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Engineering: Electric Circuits

Kirchhoff’s lawsR, C, L, i, V, ….

matrices, systems DEs?

PSPICE sample screen (functionality similar to SIMULINK)

Analysis? Design? Simulation? --- Interactive?!

From:Hadi SadaatMilwaukee School of Engineering

Page 16: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Writing proofs, induction

•Summing finite sums?•Towers of Hanoi?•Coin-weighing? write program!! fun part = animation

Tiling with triominos

Page 17: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Complex analysis: inversion z -> 1/z

The visual impact of dragging moving the object is a compelling connection to physics and E-statics

Construct from basicgeometric principles

observe and formalize,then rigorously establishgeneral properties ofconformal mappings

Page 18: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Mappings of the (complex) pane• Very hard to visualize w/o tools

• Almost ideal for study via

interactive visualization

The details -- e.g. color-coding & scales make all the difference

Page 19: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Complex functions color-coded

xyIyxIyx 2)( 22

Color coding adapted from Frank Farris at Santa Clara U,

see also Needham’s Visual Complex Analysis WWW-site

Page 20: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Complex singularities

Start each class w/ some pictures to start discovery and developing mathematical concepts

The space and color scales have been manipulated.

Want JAVA zooming toolwith lots ofscaling control

Page 21: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Complex analysis: Laurent series

• Convergence of a Laurent seriesof rational function.

Why the asymmetry?

Uniform convergence

on compact subsets

of open annulus !!?

Page 22: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Uniform convergence of ((the error term of)) aLaurent series on compact subsets of annulus

Mesmerizing beauty! Observations, Questions, Conjectures, …..

Page 23: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Diff Geometry: Gauss curvature

Which color-code?After proving (!) e.g. the Theorema Egregium withMAPLE ((-- is that really doing mathematics?? askThurston!)), the real exciting math is just beginning!

Page 24: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Diff Geometry: Viewing tensorsWhat is aRiemannianmanifold?

Viewing andmaking sense o/ tensor fields

Compare Geometry Center at U Minnesota

Page 25: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Diff Geometry: Exponential mapGeodesics on Riemannian manifolds (here a paraboloid)the exponential mapping and geodesic spheres,conjugate points, and the distance graph.

Another almost idealplaying ground forinteractive visualstudies ...-- drag the mouse..

and study how the spheres depend on initial condition….

Page 26: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Diff Geom: Curvature & geodesicsThe visual language makes a compelling “connection” -- compare Christoffel symbols??

Key interactive innovation: “drag the mouse” to study the influence of the initial conditions

Page 27: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Outline

0. It is not just drawing / showing pictures

1. Sample: JAVA vector field analyzer

2. Examples from many courseslinear algebra, diff equns, elect circuits, writing proofs, complex anal, diff geom, applied discr.event syst. research

3. General observations, questions, tasks

4. More small JAVA samples to take home...

Page 28: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Excite and attract students

• Which classes are full, which cancelled?

• Do we want students to major in math, or let them all go to CS or …?

• Can we teach honest math also w/ …? (“How much math is in this picture?”)

Page 29: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Research: Discrete Event Systems

• Simulation of Control strategies forre-entrant manufacturing systems(semiconductor manufacturing)

Discrete event system on quotients of spaces of finite sequences ...

F(t,x)=0 ????

“Near-periodicity” obvious for eye/brain.This serves to define formal measure (metric).

Teaching uses tools of real research and industrial work!

Page 30: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Matthias Kawski [email protected] http:/ /math.la.asu.edu/~kawski/kawski.html

INFORMS New Orleans, October 95: Set-up times lead to conflict between objectives

nominal production rates

parallel batching(we also accomodate

set-up times)

processing times(note: differences oforders of magnitues)

Test bed: Re-entrant line with 5 machines, 6 process stepsTarget scale-up: 100 x 400, max-size blocks 20x20

topology (incidence matrix)

A,B

E

C,D1 2 3

45

6

Matthias Kawski http:/ /math.la.asu.edu/~kawski/kawski.html

INFORMS New Orleans, October 95: Set-up times lead to conflict

8 7 6 5 4 3 2 19

8 7 6 5 4 3 2 13 9 8 7 6 5 4 2 13 9 8 7 6 5 4 2 110 3 9 8 7 6 5 4 2 1

4 10 3 9 8 7 6 5 2 111 4 10 3 9 8 7 6 5 2 1

5 11 10 9 8 7 6 4 3 2 112 5 11 10 9 8 7 6 4 3 2 112 5 11 10 9

8 7 64 36 12 5 11 10 9 8 7 4 3

13 12 11 10 9 8 7 6 5 4 37 13 12 11 10 9 8 6 5 4 3

14 7 13 12 11 10 9 8 6 58 14 7 13 12 11 10 9 6 514 13 12 11 10 9 8 7 6 5

15 14 13 12 11 10 9 8 7 6 59 15 14 13 12 11 10 8 7

16 9 15 14 13 12 11 10 8 716 9 15 14 13 10 12 11 8 716 9 15 14 13 10 12 11 8 710 16 9 15 14 13 12 11 8 717 10 16 9 15 14 13 12 11 8 717 10 16 9 15 14 13 12 1112 11 17 16 15 14 13 10 913 12 11 17 16 15 14 10 918 13 12 11 17 16 15 14 10 9

18 13 12 11 17 16 15 14 10 9

14 19 18 13 12 11 17 16 15 10 920 14 19 18 13 17 16 15 12 11 10 915 20 14 19 18 13 17 16 12 11 10 9

21 15 20 14 19 18 13 17 16 12 1116 21 15 20 14 19 18 13 17 12 11

16 21 15 20 19 18 17 14 13 12 1122 16 21 15 20 19 18 17 14 13 12 1117 22 16 21 15 20 19 18 14 13 12 1117 22 16 21 15 20 19 18 14 13

23 17 22 16 21 15 20 19 18 14 1318 23 17 22 21 20 19 16 15 14 13

24 18 23 17 22 21 20 19 16 15 14 1324 18 23 17 22 21 20 19 16 1519 24 18 23 17 22 21 20 16 1525 19 24 18 23 17 22 21 20 16 1525 19 24 23 22 21 20 18 17 16 1520 25 19 24 23 22 21 18 17 16 1526 20 25 19 24 23 22 21 18 17 16 1526 20 25 19 24 23 22 21 18 17

21 26 20 25 19 24 23 22 18 1721 26 25 24 23 22 20 19 18 1727 21 26 25 24 23 22 20 19 18 1722 27 21 26 25 24 23 20 19

28 22 27 21 26 25 24 23 20 1928 27 26 25 24 23 22 21 20 1923 28 27 26 25 24 22 21 20 1929 23 28 27 26 25 24 22 21 20 19

29 23 28 27 26 25 24 22 2124 30 29 23 28 27 26 25 22 2130 29 28 27 26 25 24 23 22 21

31 30 29 28 27 26 25 24 23 22 2125 31 30 29 28 27 26 24 23 22 2125 31 30 29 28 27 26 24 23

25 31 30 29 26 28 27 24 2332 25 31 30 29 26 28 27 24 2326 32 25 31 30 29 28 27 24 2326 32 25 31 30 29 28 2733 26 32 25 31 30 29 28 27

29 28 27 33 32 31 30 26 2529 28 27 33 32 31 30 26 2534 29 28 27 33 32 31 30 26 2530 34 29 28 27 33 32 31 26 25

35 30 34 29 28 27 33 32 31 26 2531 35 30 34 29 33 32 28 27 26 25

36 31 35 30 34 29 33 32 28 27 26 2536 31 35 30 34 29 33 32 28 2732 36 31 35 30 34 29 33 28 2737 32 36 31 35 30 34 29 33 28 2737 32 36 31 35 34 33 30 29 28 2733 37 32 36 31 35 34 30 29 28 2738 33 37 32 36 31 35 34 30 29 28 27

38 33 37 32 36 31 35 34 30 2934 38 33 37 32 36 31 35 30 2934 38 33 37 36 35 32 31 30 29

39 34 38 33 37 36 35 32 31 30 2935 39 34 38 33 37 36 32 3140 35 39 34 38 33 37 36 32 31

40 35 39 38 37 36 34 33 32 3136 41 40 35 39 38 37 34 33 32 3136 41 40 35 39 38 37 34 3342 36 41 40 35 39 38 37 34 3337 42 36 41 40 35 39 38 34 33

37 42 41 40 39 38 36 35 34 3343 37 42 41 40 39 38 36 35 34 3338 43 37 42 41 40 39 36 35 34 3338 43 37 42 41 40 39 36 35

44 43 42 41 40 39 38 37 36 3539 44 43 42 41 40 38 37 36 35

45 39 44 43 42 41 40 38 3740 45 39 44 43 42 41 38 3745 44 43 42 41 40 39 38 3746 45 44 43 42 41 40 39 38 3741 46 45 44 43 42 40 39 38 3741 46 45 44 43 42 40 39

47 41 46 45 44 43 42 40 3947 41 46 45 42 44 43 40 3942 47 41 46 45 44 43 40 3942 47 41 46 45 44 43 40 3948 42 47 41 46 45 44 43 40 3948 42 47 41 46 45 44 4345 48 42 47 41 46 44 4344 43 45 48 47 46 42 4149 44 43 45 48 47 46 42 41

49 44 43 45 48 47 46 42 4146 49 44 43 45 48 47 42 4150 46 49 44 43 45 48 47 42 4147 50 46 49 44 43 45 48 42 41

51 47 50 46 49 44 48 43 45 42 41

48 52 51 47 50 46 44 49 43 4548 52 51 47 50 49 46 44 43 4553 48 52 51 47 50 49 46 44 43 4549 53 48 52 51 47 50 46 44 43 45

49 53 48 52 51 47 50 46 4454 49 53 48 52 51 47 50 46 4450 54 49 53 48 52 47 51 46 4450 54 49 53 52 51 48 47 46 44

55 50 54 49 53 52 51 48 47 46 4451 55 50 54 49 53 52 48 47 46 4451 55 50 54 49 53 52 48 4756 51 55 50 54 49 53 52 48 4756 51 55 54 53 52 50 49 48 47

52 56 51 55 54 53 50 49 48 4757 52 56 51 55 54 53 50 49 48 4757 52 56 51 55 54 53 50 4953 57 52 56 51 55 54 50 4953 57 56 55 54 52 51 50 49

58 53 57 56 55 54 52 51 50 4954 58 53 57 56 55 52 51 50 4954 58 53 57 56 55 52 51

59 54 58 53 57 56 55 52 5159 58 57 56 55 54 53 52 5155 59 58 57 56 54 53 52 5160 55 59 58 57 56 54 53 52 5160 55 59 58 57 56 54 5356 60 55 59 58 57 54 5361 56 60 55 59 58 57 54 53

61 60 59 58 57 56 55 54 5357 61 60 59 58 56 55 54 5362 57 61 60 59 58 56 55 54 53

62 57 61 60 59 58 56 5562 57 61 58 60 59 56 5558 63 62 57 61 60 59 56 55

58 63 62 57 61 60 59 56 5558 63 62 57 61 60 5964 58 63 62 57 61 60 5961 64 58 63 57 62 60 59

60 59 61 64 63 62 58 5760 59 61 64 63 62 58 5765 60 59 61 64 63 62 58 5762 65 60 59 61 64 63 58 57

66 62 65 60 59 61 64 63 58 5763 66 62 65 60 59 61 64 58 5763 66 62 65 60 64 59 61 58 57

67 63 66 62 65 60 64 59 61 58 5764 67 63 66 62 60 65 59 61 58 5764 67 63 66 62 60 65 59 6168 64 67 63 66 62 60 65 59 6168 64 67 63 66 65 62 60 59 6165 68 64 67 63 66 62 60 59 6169 65 68 64 67 63 66 62 60 59 6169 65 68 64 67 63 66 62 6066 69 65 68 64 63 67 62 6066 69 65 68 67 64 63 62 6070 66 69 65 68 67 64 63 62 6067 70 66 69 65 68 64 63 62 6067 70 66 69 65 68 64 6371 67 70 66 69 65 68 64 63

71 67 70 69 68 66 65 64 6368 71 67 70 69 66 65 64 6372 68 71 67 70 69 66 65 64 6372 68 71 67 70 69 66 6569 72 68 71 67 70 66 6573 69 72 68 71 67 70 66 65

76 80 75 79 78 77 74 7381 76 80 75 79 78 77 74 7381 76 80 75 79 78 7778 77 81 80 79 76 7579 78 77 81 80 76 7582 79 78 77 81 80 76 7580 82 79 78 77 81 76 75

83 80 82 79 78 77 81 76 7583 80 82 79 81 78 77 76 7581 83 80 79 82 78 77 76 75

84 81 83 80 79 82 78 77 76 7584 81 83 80 79 82 78 7782 85 84 81 80 79 83 78 77

82 85 84 81 83 80 79 78 7786 82 85 84 81 83 80 79 78 7783 86 82 85 81 84 80 79 78 7783 86 82 85 81 84 80 7987 83 86 82 85 81 84 80 7987 83 86 85 84 82 81 80 79

84 87 83 86 85 82 81 80 7988 84 87 83 86 85 82 81 80 7988 84 87 83 86 85 82 8185 88 84 87 83 86 82 8185 88 87 86 84 83 82 8189 85 88 87 86 84 83 82 81

86 89 85 88 87 84 83 82 8186 89 85 88 87 84 8390 86 89 85 88 87 84 8387 90 89 88 86 85 84 83

91 87 90 89 88 86 85 84 8391 87 90 89 88 86 8588 91 87 90 89 86 8592 88 91 87 90 89 86 8592 91 90 89 88 87 86 8589 92 91 90 88 87 86 8593 89 92 91 90 88 87 86 85

93 89 92 91 90 88 8790 93 89 92 91 88 8793 92 91 90 89 88 8794 93 92 91 90 89 88 8791 94 93 92 90 8995 91 94 93 92 90 89

95 91 92 94 93 90 8995 91 92 94 93 90 8992 96 91 95 94 93 90 8992 96 91 95 94 9394 93 97 96 95 92 9195 94 93 97 96 92 91

95 94 93 97 96 92 9198 95 94 93 97 96 92 9196 98 95 94 93 97 92 91

99 96 98 95 94 93 97 92 9199 96 98 95 97 94 93 92 9197 99 96 95 98 94 93 92 91

100 97 99 96 95 98 94 93 92 91100 97 99 96 95 98 94 9398 100 97 96 95 99 94 9398 100 97 99 96 95 94 93101 98 100 97 99 96 95 94 9399 101 98 97 100 96 95 94 9399 101 98 97 100 96 95102 99 101 98 97 100 96 95

100 102 99 101 98 97 96 95103 100 102 99 101 98 97 96 95103 100 102 99 101 98 97101 103 100 99 102 98 97104 101 103 100 99 102 98 97

104 101 103 102 100 99 98 97102 104 101 103 100 99 98 97105 102 104 101 103 100 99 98 97105 102 104 101 103 100 99103 105 102 101 104 100 99

106 103 105 104 102 101 100 99

104 107 106 103 105 102 101107 106 105 104 103 102 101108 107 106 105 104 103 102 101105 108 107 106 104 103 102 101

105 108 107 106 104 103109 105 108 107 106 104 103106 109 105 108 107 104 103109 108 107 106 105 104 103

110 109 108 107 106 105 104 103107 110 109 108 106 105 104 103107 110 109 108 106 105111 107 110 109 108 106 105111 107 108 110 109 106 105108 107 111 110 109 106 105112 108 107 111 110 109 106 105112 108 107 111 110 109

111 110 109 112 108 107113 111 110 109 112 108 107112 111 110 109 113 108 107

114 112 111 110 109 113 108 107113 112 111 114 110 109 108 107

115 113 112 111 114 110 109 108 107115 113 112 111 114 110 109114 113 112 111 115 110 109116 114 113 112 111 115 110 109

116 114 113 115 112 111 110 109115 114 113 116 112 111 110 109117 115 114 113 116 112 111 110 109117 115 114 113 116 112 111116 118 115 114 113 117 112 111

116 118 115 117 114 113 112 111119 116 118 115 117 114 113 112 111117 119 116 115 118 114 113

117 119 118 116 115 114 113120 117 119 118 116 115 114 113118 120 117 119 116 115 114 113118 120 117 119 116 115121 118 120 117 119 116 115119 121 118 117 120 116 115119 121 120 118 117 116 115122 119 121 120 118 117 116 115120 122 119 121 118 117 116 115120 122 119 121 118 117123 120 122 119 121 118 117123 122 121 120 119 118 117

121 123 122 120 119 118 117124 121 123 122 120 119 118 117124 121 123 122 120 119122 124 121 123 120 119124 123 122 121 120 119125 124 123 122 121 120 119123 125 124 122 121 120 119123 125 124 122 121126 123 125 124 122 121

123 124 126 125 122 121124 123 126 125 122 121124 123 126 125 122 121124 123 127 126 125 122 121124 123 127 126 125126 125 128 127 124 123127 126 125 128 124 123

127 126 125 128 124 123129 127 126 125 128 124 123128 127 126 125 129 124 123

130 128 127 126 125 129 124 123130 128 127 129 126 125 124 123129 128 127 130 126 125 124 123

131 129 128 127 130 126 125 124 123131 129 128 127 130 126 125130 129 128 127 131 126 125130 129 131 128 127 126 125132 130 129 131 128 127 126 125131 130 129 132 128 127 126 125131 130 129 132 128 127133 131 130 129 132 128 127

132 131 133 130 129 128 127134 132 131 133 130 129 128 127134 132 131 133 130 129133 132 131 134 130 129135 133 132 131 134 130 129

135 133 134 132 131 130 129134 133 135 132 131 130 129136 134 133 135 132 131 130 129136 134 133 135 132 131135 134 133 136 132 131

137 135 136 134 133 132 131136 138 135 137 134 133

138 137 136 135 134 133139 138 137 136 135 134 133137 139 138 136 135 134 133137 139 138 136 135140 137 139 138 136 135138 140 137 139 136 135

140 139 138 137 136 135141 140 139 138 137 136 135139 141 140 138 137 136 135139 141 140 138 137142 139 141 140 138 137139 140 142 141 138 137140 139 142 141 138 137140 139 143 142 141 138 137140 139 143 142 141142 141 143 140 139144 142 141 143 140 139

143 142 141 144 140 139145 143 142 141 144 140 139144 143 142 141 145 140 139

144 143 145 142 141 140 139146 144 143 145 142 141 140 139145 144 143 146 142 141 140 139

8 7 6 5 4 3 2 13 8 7 6 5 4 2 13 8 7 6 5 4 2 14 3 8 7 6 5 2 1

5 8 7 6 4 3 2 19 5 8 7 6 4 3 2 19 5

8 7 64 36 9 5 8 7 4 3

10 9 8 7 6 5 4 37 10 9 8 6 5 4 3

11 7 10 9 8 6 58 11 7 10 9 6 511 10 9 8 7 6 512 11 10 9 8 7 6 59 12 11 10 8 713 9 12 11 10 8 713 9 10 12 11 8 713 9 10 12 11 8 710 9 13 12 11 8 714 10 9 13 12 11 8 7

14 10 9 13 12 1112 11 14 13 10 913 12 11 14 10 915 13 12 11 14 10 915 13 12 11 14 10 9

14 16 13 12 11 15 10 917 14 16 13 15 12 11 10 915 17 14 13 16 12 11 10 9

18 15 17 14 13 16 12 1116 18 15 14 13 17 12 1116 18 15 17 14 13 12 1119 16 18 15 17 14 13 12 1117 19 16 15 18 14 13 12 1117 19 16 15 18 14 13

20 17 19 16 15 18 14 1318 20 17 19 16 15 14 13

21 18 20 17 19 16 15 14 1321 18 20 17 19 16 1519 21 18 17 20 16 1522 19 21 18 17 20 16 1522 19 21 20 18 17 16 1520 22 19 21 18 17 16 1523 20 22 19 21 18 17 16 1523 20 22 19 21 18 1721 23 20 19 22 18 1721 23 22 20 19 18 1724 21 23 22 20 19 18 1722 24 21 23 20 1925 22 24 21 23 20 19

25 24 23 22 21 20 1923 25 24 22 21 20 1926 23 25 24 22 21 20 1926 23 25 24 22 2124 27 26 23 25 22 21

27 26 25 24 23 22 2128 27 26 25 24 23 22 2125 28 27 26 24 23 22 2125 28 27 26 24 23

25 26 28 27 24 2329 25 26 28 27 24 2326 25 29 28 27 24 2326 25 29 28 2730 26 25 29 28 27

29 28 27 30 26 2529 28 27 30 26 2531 29 28 27 30 26 2530 29 28 27 31 26 25

32 30 29 28 27 31 26 2531 30 29 32 28 27 26 25

33 31 30 29 32 28 27 26 2533 31 30 29 32 28 2732 31 30 29 33 28 2734 32 31 30 29 33 28 2734 32 31 33 30 29 28 2733 32 31 34 30 29 28 2735 33 32 31 34 30 29 28 27

35 33 32 31 34 30 2934 33 32 31 35 30 2934 33 35 32 31 30 2936 34 33 35 32 31 30 2935 34 33 36 32 3137 35 34 33 36 32 31

37 35 36 34 33 32 3136 38 35 37 34 33 32 3136 38 35 37 34 3339 36 38 35 37 34 3337 39 36 35 38 34 33

37 39 38 36 35 34 3340 37 39 38 36 35 34 3338 40 37 39 36 35 34 3338 40 37 39 36 35

41 40 39 38 37 36 3539 41 40 38 37 36 35

42 39 41 40 38 3740 42 39 41 38 3742 41 40 39 38 3743 42 41 40 39 38 3741 43 42 40 39 38 3741 43 42 40 39

44 41 43 42 40 3941 42 44 43 40 3942 41 44 43 40 3942 41 44 43 40 3942 41 45 44 43 40 3942 41 45 44 4344 43 45 42 4146 44 43 45 42 4145 44 43 46 42 41

45 44 43 46 42 4147 45 44 43 46 42 4146 45 44 43 47 42 41

48 46 45 47 44 43 42 4147 46 45 48 44 43 42 41

49 47 46 45 48 44 4348 47 46 45 49 44 4348 47 49 46 45 44 4350 48 47 49 46 45 44 4349 48 47 50 46 45 44 4349 48 47 50 46 4551 49 48 47 50 46 4551 49 50 48 47 46 4550 49 51 48 47 46 4552 50 49 51 48 47 46 4552 50 49 51 48 4751 50 49 52 48 4753 51 50 49 52 48 47

53 51 52 50 49 48 4752 51 53 50 49 48 4754 52 51 53 50 49 48 47

54 52 51 53 50 4954 53 52 51 50 4953 54 52 51 50 49

55 53 54 52 51 50 4955 53 54 52 5154 56 53 55 52 51

56 55 54 53 52 5157 56 55 54 53 52 5155 57 56 54 53 52 5155 57 56 54 5358 55 57 56 54 53

58 57 56 55 54 5359 58 57 56 55 54 5359 58 57 56 5557 59 58 56 5557 58 59 56 5560 57 58 59 56 5560 57 58 59 56 5558 57 60 59 56 5558 57 60 5961 58 57 60 5959 61 60 58 5760 59 61 58 5760 59 61 58 57

62 60 59 61 58 5761 60 59 62 58 57

63 61 60 59 62 58 5763 61 62 60 59 58 5762 61 63 60 59 58 5764 62 61 63 60 59 58 5764 62 61 63 60 5963 62 61 64 60 5965 63 62 61 64 60 59

65 63 64 62 61 60 5964 63 65 62 61 60 5966 64 63 65 62 61 60 59

66 64 63 65 62 6166 65 64 63 62 61

65 67 66 64 63 62 6165 67 66 64 6368 65 67 66 64 6366 68 65 67 64 63

68 67 66 65 64 6369 68 67 66 65 64 6367 69 68 66 65 64 6367 69 68 66 6570 67 69 68 66 65

70 69 68 67 66 6571 70 69 68 67 66 6571 70 69 68 67

1SA1IBL1,2,4.XLS STARTS 1 / 10, A only ONES, B PULL

Linear “convergence” to ‘almost empty’ buffer

rest

arte

d w

/ u

sual

in

itia

l co

nd, b

ut d

elay

ed f

irst

sta

rts

x and y needed? any advantage?

Research/insights: Interactive visualDiscussion/dissemination: Visual

Page 31: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Programming - formulas???

Even the programming uses the more efficient “visual language”:macros are recorded, viapoint&click, color, resize, etc… Thousands of lines of “symbolic code”, here for a large discrete-event-system simulation, are visually gene-rated in a very short time (w/ little text-editing at the end).The programmer concentrates on the essence of the mathe-matical system using the moreefficient visual representationalmost throughout...

Compare: “training a “robot arm” to perform certain movements: “by-hand” moving the arm along a path that is the initial value for an optimization routine…..

Page 32: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Visual language as a productivity tool

Single-letter variable names??

Rapid development relies on avisual interface and language.

Precision. Efficiency.

Full of mathematics, but traditional algebraic-symbolic language is moved far into the background!

What can we, in math, learn from CS(until recently a part of math… )?

Page 33: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Who writes the code?… rune, papyrus, books, photos, TV, overhead proj’s, .bmp, animated .gif, .vrml, …

What is the purpose / the objective???? shall student WRITE the code / USE the program/tool ?

Major investments (money, time to learn syntax) or freeware?General purpose tools or dedicated single-use throw-aways?

hope for a reasonable set of competing languages to evolve no MS tyranny, no Tower of Babel

McNealy ”the network is the computer!” Easy access to lots of tools. Rely on WWW search-

engines ...

Page 34: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Visual language ?

Syntax, grammar, semantics … ?

xyyx

ABBA

BuAsI

y

1

BuAyy

, but

What purpose? Most efficiently/effectively use: • color, orientation, scale, perspective, size, window, texture and reflectivity (!)• drag, rotate, resize, stop, restart, rite/left-click, copy, (un)group, ….

Expect different languages, cultures to evolve

Page 35: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

How to use interactive visualization?

• Compare playful enjoyment versus serious studyto casual concert-goers versus professional musicians…

• The educator’s job:Provide guidance to explore the depths...Develop the effective exercises…– “graph”, “plot”, “print”: … very little gain!– “inverse questions” -- (“find parameter such that….”) !!!

one-parameter often do-able by trial&errortwo- or three parameter problems usually good motivation for analysis!

– experiment, observe, conjecture, test, formulate desired theorem, define, prove, …. generalize, experiment, ….. axiomatize….

• In visual language, too, insist on just as much precision...

Page 36: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Outline

0. It is not just drawing / showing pictures

1. Sample: JAVA vector field analyzer

2. Examples from many courseslinear algebra, diff equns, elect circuits, writing proofs, complex anal, diff geom, applied discr.event syst. research

3. General observations, questions, tasks

4. More small JAVA samples to take home...

Page 37: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

JAVA applets...• Famous curves applets http://www-history.mcs.st-and.ac.uk/~history/Java/ many

others, just use WWW-search engine, e.g. start at: http://sunsite.ubc.ca/

• MK’s current project:provide template (“beans”) for student “honor’s projects”, e.g.– time-varying linear systems (Mathieu equation: but unstable)

– reorientation of satellite (gymnast, falling cat) via internal shape changes

– complex mappings (winding numbers, branch-cuts)

– analytic continuations (click = center, image coded by color)

– exponential mapping (geodesic spheres, co-states…, curvature)

– connections / parallel transport along user drawn-curves…

– … many more ...

• Common: amenable to inverse questions that lead to thedevelopment (discovery) of core mathematical concepts!

Ct)(

Page 38: Matthias Kawski Interactive Visualization AMS / 23 rd Scandinavian Congress Odense June 2000 kawski kawski@asu.edu A new era of

http://math.la.asu.edu/~kawski [email protected]

Matthias Kawski Interactive Visualization AMS / 23rd Scandinavian Congress Odense June 2000

Winding number & branch-cutsWhat are the exercises,questions,desired insightsand discoveries?

This is just a simple JAVAproof-of-concept,

plan to includefull “parser”…

typical honors visualization project