Previous: Lectures delivered during
Apart from those at the workshop, the following talks were delivered
within the HISC seminar in RIACA (usually on a Thursday morning):
Olaf Bachmann (Kent State University, Ohio, USA).
Chains of Recurrences - a method to expedite the evaluation
of closed-form functions.
Nadine Rouillon (University of Bordeaux I, France).
CalIco, Computation and Image in Combinatorics.
Ron Avitzur (RIACA, The Netherlands)
The Macintosh Calculator Desk Accessory:
An Experiment in Transparent UI.
Norbert Kajler (RIACA, The Netherlands)
CAS/PI, a Portable Interface for Computer Algebra Systems.
FJ van Wingerde (CWI, The Netherlands)
STDWIN2: A new step in small libraries for coding GUIs
in portable programs.
Hugo Elbers (CWI, The Netherlands)
Proof checking within the ACELA project.
André van Leeuwen (CWI, The Netherlands)
Mathematical objects within the ACELA project.
Ivan Herman (CWI, The Netherlands)
MADE, a Programming Environment for Multimedia Applications.
Neil Soiffer (Wolfram Research, USA)
What's it all Mean: giving a meaning to mathematical notation
Eugene Zima (Moscow State University, Russia)
Experiences on Integrating Numeric and Symbolic Computations.
Michael Mc Gettrick (Waterford Regional Technical College, Ireland)
Human interaction & abstract mathematics:
A diagrammatic approach to Lie algebra.
Sun Apr 23 10:32:10 MDT 1995