Next: About this document
ORGANIC MATHEMATICS WORKSHOP SCHEDULE
Tuesday, December 12
Harbour Centre Room 1900
Session I: Overviews & Panel Discussions
9:00 - 9:10
|
Jonathon Borwein : Simon Fraser University
"Opening Remarks"
|
9:15 - 9:30
|
Peter Borwein : Simon Fraser University
"Introduction to the Workshop"
|
9:30 - 10:00
|
Loki Jörgenson : Simon Fraser University
"The Organic Mathematics Project"
|
10:00 - 10:50
|
Arjeh Cohen : Technical University of Eindhoven
"ACELA" Stan Devitt : Waterloo Maple Inc.
"Maple and ..."
|
11:00 - 12:00
|
Panel Discussion : Rob Corless (moderator)
Stan Devitt, Arjeh Cohen, Jon Borwein
Peter Borwein, Loki Jörgenson
|
12:00 - 1:30
|
Lunch (at liberty)
|
Session II: Lectures
1:30 - 2:00
|
Joe Buhler & Ron Graham : Reed College & AT&T Bell Labs
|
2:10 - 2:40
|
Andrew Granville : University of Georgia
|
3:00 - 3:30
|
Coffee Break
|
3:30 - 4:00
|
Beverly West : Cornell University
|
4:10 - 4:40
|
Stan Wagon : Macalester College
|
*** |
7:00 - 10:00
|
Conference Dinner
|
***We regret that Andrew Odlyzko was unable to speak at this conference as planned
due to the situation at AT&T Bell Labs.
The Conference dinner will be at the Beijing Restaurant.
Beijing Restaurant
865 Hornby
Vancouver, B.C.
688-7788
There is no
cost for invited participants and OMPers
; others are invited to attend at a cost of $25 each. Please sign up in the conference office
HC 136. Jen Chang will be in that office from 12.00-2.00 and 4.30-6.00 Tuesday and Wednesday.
Wednesday, December 13
Harbour Centre Room 1900
Session III: Lectures
9:00 - 9:30
|
David Boyd : University of British Columbia
|
9:40 - 10:10
|
Henri Cohen : CEREMAB, Université de Bordeaux
|
10:20 - 10:50
|
Coffee Break
|
10:50 - 11:20
|
Arjeh Cohen : Technical University of Eindhoven
|
11:30 - 12:00
|
Clement Lam : Concordia University
|
12:10 - 1:30
|
Lunch (at liberty)
|
Session IV: Lectures
1:30 - 2:00
|
George Andrews : Pennsylvania State University
|
2:10 - 2:40
|
David Bailey : NASA Ames Research Center
|
3:00 - 3:30
|
Coffee Break
|
3:30 - 4:00
|
Frank Garvan : University of Florida
|
4:10 - 4:40
|
Jeff Lagarias : AT&T Bell Labs
|
7:00 - 10:00
|
Dinner
|
Note that THURSDAY, December 14 Sessions will be held at the Centre for Experimental and
Constructive Mathematics (Shrum Science 8495, Phone 291-6517)
on SFU's
Burnaby Mountain Campus. Vans will take participants for
the morning session, picking participants up at 9:00am at the Waterfront Hotel.
The afternoon session participants will be picked up at 12:00
in time to join the others for lunch at the Halpern Centre.
After the lunch, the morning session people will be
taken back downtown to the hotel.
Thursday, December 14
Session V: Hands-on Morning Session at the CECM
10:00 - 12:30
|
Andrews, Buhler, A. Cohen, Lagarias, Wagon
|
12:30 - 2:00
|
Lunch (at Halpern Centre)
|
Session VI: Hands-on Afternoon Session at the CECM
2:00 - 4:30
|
H. Cohen, Bailey, Garvan, Granville, Lam, West, Boyd
|
ABSTRACTS
- Speaker:
- George Andrews
- Title:
- Pfaff's Method (III): Comparison With the WZ Method
- Abstract:
- In the 1990's, the WZ method has been the method of choice in
resolving new conjectures for hypergeometric identities. The object
here is to compare the WZ method with Pfaff's method. Such a comparison
should (it is hoped) provide some suggestions for the further
development of each method.
(*** Taken from the electronic paper ***)
- Speaker:
- David H. Bailey
- Title of talk:
- Recognizing Numerical Constants
- Abstract:
- The advent of inexpensive, high-performance computers and new
efficient algorithms have made possible the automatic recognition of
numerically computed constants. In other words, techniques now exist
for determining, within certain limits, whether a computed real or
complex number can be written as a simple expression involving the
classical constants of mathematics.
In this presentation, some of the recently discovered techniques for
constant recognition, notably integer relation detection algorithms,
will be presented. As an application of these methods, the author's
recent work in recognizing "Euler sums" will be described in some
detail. The latter work was done jointly with Jonathan Borwein and
Roland Girgensohn of SFU/CECM.
- Speaker:
- David Boyd
- Title:
- Are Salem numbers beta-numbers?
- Abstract:
- The beta transformation is the mapping on the
unit interval defined by multiplication by mod 1.
is a beta-number if 1 is an eventually
periodic point of this mapping. It is known that all Pisot
numbers of any degree and all Salem numbers of degree 4 are
beta-numbers. We describe computational and heuristic
arguments which suggest that all Salem numbers of degree 6
are beta-numbers but that this is not true for higher degrees.
- Speakers:
- Joe Buhler and Ron Graham
- Title:
- Juggling Permutations of the Integers
- Abstract:
- We will discuss permutations f of the integers Z
satisfying , and will give applications to
juggling patterns. Demonstrations will be included.
- Speaker:
- Arjeh Cohen
- Title:
- A 16-dimensional module in characteristic 3
- Abstract:
- Let k be an algebraically closed field of characteristic
3. In this paper we show that there are finitely many -orbits
in the quotient of the module of all cubic forms by the
submodule of cubes of linear forms.
- Speaker:
- Henri Cohen
- Title:
- Binary Cubic Forms and Cubic Number Fields
- Abstract:
- The aim of this paper is to present in a naive manner a small
part of the theory of binary cubic forms and in particular its
application to cubic number fields. Most of the results are due to
Davenport-Heilbronn , but the algorithmic applications seem to
be new.
- Speaker:
- Stan Devitt
- Title:
- Mathematical Documents -- Live
- Abstract:
- Interactive computational systems such as Maple can be used in many
ways to bring mathematical documents to life. This presentation
explores the use of this technology to enhance the access,
customization and utilization of general mathematical information.
- Speaker:
- Frank Garvan
- Title:
- Approximations to via the Dedekind function.
- Abstract:
-
Arguably the most efficient algorithm
currently known for the extended precision calculation of is a
quartic iteration due to J.M. and P.B. Borwein. In their paper,
the Borwein's show how this iteration and others are intimately connected
to the work of Ramanujan. This connection is shown utilizing
their alpha-function which is defined in terms of theta-functions.
They are able to find p-th order iterations based on this function
using modular equations for the theta-functions. In this paper
we construct an infinite family of functions . Each
gives rise to a p-th order iteration. For p=4 we obtain an iteration related to
the Borwein quartic iteration. For p=3 we obtain a cubic iteration
due to the Borweins but does not come from the alpha-function.
For p=7 we find a septic iteration that is analogous to
the cubic iteration. Our method depends on using the computer
and a symbolic algebra package to find and solve certain modular
equations.
- Speaker:
- Andrew Granville
- Title:
- Properties of Binomial Coefficients
- Abstract:
- Many great mathematicians of the nineteenth century considered
problems involving binomial coefficients modulo a prime power
(for instance Babbage, Cauchy, Cayley, Gauss, Hensel, Hermite,
Kummer, Legendre, Lucas and Stickelberger -- see Dickson).
They discovered a variety of elegant and surprising Theorems
which are often easy to prove. In this article we shall exhibit most
of these results, and extend them in a variety of ways.
(*** Taken from the electronic paper ***)
- Speaker:
- Jeff Lagarias
- Title:
- A New View on the Hirsch Conjecture
- Abstract:
- The Hirsch Conjecture states that any d-dimensioanl bounded polytope
with n facets has an edge-path between any two vertices of length
at most n*d. The d-step conjecture is the special case n=2d, and is known
to be equivalent to the general conjecture. It has long been suspected
to be false in high dimensions. In joint work with N. Prabhu and J. Reeds,
we discovered striking evidence that it is true in all dimensions, in a strong
form. This evidence was base on a connection with Gaussian elimination
of a set of (d!)^2 matrices constructed from the d-polytope with 2d facets,
and massive computational experiments.
- Speaker:
- Clement Lam
- Title:
- The Search for a Finite Projective Plane of Order 10
- Abstract:
- When I was a graduate student looking for a thesis topic,
Herbert Ryser advised me not to work on the projective plane of order
10. Even though he was extremely interested in this subject, he
believed that it was too difficult and that I might get nowhere with
it. I took his advice and chose another problem. Somehow, this problem
has a beauty that fascinates me as well as many other mathematicians.
Finally in 1980, I succumbed to the temptation and started working on
it with some of my colleagues. We eventually managed to get somewhere,
but unfortunately, Dr. Ryser is no longer with us to hear of the final
result. This is an expository article describing the evolution of the
problem and how computers were used to solve it.
- Speaker:
- Stan Wagon
- Title:
- New Visualization Ideas for Differential Equations
- Abstract:
- Modern software allows us to go farther in the visualization
of solutions to differential equations. I will present a Mathematica
package called VisualDSolve that does the standard things in terms of
presenting solutions to DEs graphically, but also has several new
features, such as:
-- the use of curvy fish shapes instead of lines to represent flow fields
-- the use of shading of the regions defined by nullclines to elucidate the
phase plane for a system of two autonomous equations.
- Speaker:
- Beverly West
- Title:
- Differential Equations: Quantitative Information from Qualitative
Analysis
- Abstract:
- Airy's equation x'' + xt = 0 has solutions that traditionally
are found just as infinite series, giving no good information on the
behavior of solutions as t approaches infinity, or minus infinity.
Guided by PICTURES of the solutions, we can (rigorously) answer these
questions, WITHOUT any analytic solving.
Next: About this document
World Wide Web Service
Mon Dec 11 22:48:34 PST 1995