last update: May 4, 2000
Education:
Sep 79 - Jul 82: Undergraduate student at Inst of Mathematics,
Univ of Linz, Austria
Jul 82 - Nov 84: Graduate student at Inst of Mathematics,
Univ of Linz, Austria, Prof. Buchberger, degree: Dipl.-Ing.
Nov 84 - Jan 89: Graduate student at the Research Institute
for Symbolic Computation (RISC), Univ of Linz, Austria, Prof. Buchberger,
degree: Dr.techn.
1992-93: Training as a nutrition consultant, GGB, Dr.
Bruker, Lahnstein, Germany
Profession:
Nov 81: Software engineer at DELTA-STEEL Company, Warri,
Nigeria
Dec 81 - Apr 82: Software engineer at VOEST-ALPINE AG,
Linz, Austria
May 82 - Nov 84: Teaching assistant at Inst of Mathematics,
Univ of Linz, Austria
Nov 84 - Nov 88: Research assistant at RISC, Univ of
Linz, Austria
Nov 88 - Jun 90: Assistant professor at RISC, Univ of
Linz, Austria
Sep 83 - ***: Lecturer at the Univ of Linz, Austria
Jul 90 - ***: Managing director of Soft
Warehouse Europe, Hagenberg, Austria
Jan - Nov 95, Oct 97 - ***: Consultant for Texas
Instruments Europe, Freising, Germany
Apr 95 - ***: Managing director of bk
teachware, Hagenberg, Austria
Positions:
Jul 94 - Jul 96: Chairman of the Int. Council for Computer
Algebra in Mathematics Education (CAME)
Sep 93 - ***: Vice chairman of the Austrian Center for
Didactics of Computer Algebra (ACDCA)
Jun 93 - ***: Vice president of the Internationale Gesellschaft
für Haysche Trennkost (IGHT)
Teaching experience:
Sep 83 - Jun 93: Course 'Mathematics for computer scientists'
at Univ of Linz, Austria
85-88: FORTRAN courses for various companies
89, 91: Courses 'Mathematical Expert Systems' at Technische
Akademie Esslingen, Germany
Sep 90: Course 'Introduction to Scientific Working' at
Technical Univ of Vienna, Austria
Jan 93 - ***: Courses on nutrition
Sep 93 - ***: Course 'Computer algebra in mathematics
education' at Univ of Linz, Austria
Jan 97 - ***: Workshops on 'Teaching with Technology'
for T^3 Germany
Jul 98 - ***: Workshops on 'Teaching with Technology'
for T^3 USA
Research visits:
Feb 7-22, 86: Computer Algebra Group, IBM Research Center,
Yorktown Heights, USA, Dr. R Jenks
Jul 9-18, 86: Computer Science Dept, Univ of Delaware,
Newark, USA, Prof. B F Caviness
Apr 9-23, 87: Computer Algebra Group, IBM Research Center,
Yorktown Heights, USA, Dr. R Jenks
May 27 - Jun 1, 96: University of Petropolis, Brazil,
Prof. R Doria (Scholarship of Brazilian Government)
Sep 25-30, 97: John Moores University, Liverpool, UK,
Dr. B Denton
Awards:
Feb 84: Prize of the 'Vereinigung Österreichischer
Industrieller'
Mar 84 - Feb 88: PRO SCIENTIA fellowship
Books:
Bibliography on abstract data types (together
with F Lichtenberger)
Informatik Fachbericht vol 68, Berlin: Springer, 194
pages, 1983, ISBN 3-540-12312-1
Mathematische Expertensysteme (= Mathematical Expert
Systems) (together with B Wall, F Winkler)
Ehningen: Expert Verlag, 119 pages, 1992, ISBN 3-8169-0908-6
DERIVE in education - opportunities and strategies
(edited
together with H Heugl)
Proc. of the 2nd Krems Conf. on Mathematics Education.
Bromley: Chartwell Bratt, 302 pages, 1994, ISBN 0-86238-351-X
Mathematics on the PC - Introduction to DERIVE
German Edition: Hagenberg: Soft Warehouse
Europe, 164 pages, 1994, ISBN 3-9500364-0-7.
English Edition: Hagenberg: Soft Warehouse
Europe, 1994, ISBN 3-9500364-1-5
French Edition: Hagenberg: Soft Warehouse
Europe, 1995, ISBN 3-9500365-2-3
Italian Edition: Bassano del Grappa: Media
Direct, 1995
Slovakian Edition:
Bratislava: ASCO Educational Technologies, 1996, ISBN 80-88820-02-2
Spanish Edition: Valencia:
Derisoft, 1997
Russian Edition: Moscow:
SCAN, 1996
Improving Mathematics Teaching with DERIVE
German Edition: Bonn: Addison-Wesley, 190
pages, 1995, ISBN 3-89319-860-1.
English Edition: Bromley:
Chartwell-Bratt, 185 pages, 1996, ISBN 0-86238-422-2.
Introduction to the TI-92
German Edition: Bonn: Addison-Wesley, 192
pages, 1995, ISBN 3-89319-952-7.
English Edition: Hagenberg: bk teachware,
184 pages, 1997, ISBN 3-901769-02-1
Introduction to DERIVE for Windows
English Edition: Honolulu: Soft Warehouse,
Inc., 1996, 214 pages
German Edition: Hagenberg:
Soft Warehouse Europe, 1997, 214 pages
Italian Edition: Bassano
del Grappa: Media Direct, 1997, 214 pages
Spanish Edition: Valencia:
Derisoft, 1998, 214 pages, ISBN 84-921694-5-1
Computer Algebra in Mathematics Education - State
of the Art (edited together with J Berry, M Kronfellner, J Monaghan)
Bromley: Chartwell Bratt, 168 pages, 1996, ISBN 0-86238-430-3
Great TI-92-Programs – Vol. 1 (together
with D R Stoutemyer)
English Edition: Hagenberg: bk teachware,
64 pages, 1997, ISBN 3-901769-00-5.
German Edition: Hagenberg:
bk teachware, 64 pages, 1997, ISBN 3-901769-01-3.
Japanese Edition: Tokyo: SEG, 87 pages,
1998, ISBN 4-87243-075-1.
Solving Linear Equations with the TI-92
English Edition: Hagenberg: bk teachware,
36 pages, 1997, ISBN 3-901769-03-X.
German Edition: Hagenberg:
bk teachware, 36 pages, 1997, ISBN 3-901769-04-8.
Solving Systems of Linear Equations with the TI-92
English Edition: Hagenberg: bk teachware,
44 pages, 1998, ISBN 3-901769-05-6.
German Edition: Hagenberg:
bk teachware, 44 pages, 1998, ISBN 3-901769-06-4.
Solving Linear Equations with DERIVE for Windows
English Edition: Hagenberg: bk teachware,
36 pages, 1998, ISBN 3-901769-09-9.
German Edition: Hagenberg:
bk teachware, 36 pages, 1998, ISBN 3-901769-07-2.
Italian Edition: Bassano
del Grappa: Media Direct, 36 pages, 1999.
Solving Systems of Linear Equations with DERIVE
for Windows
English Edition: Hagenberg: bk teachware,
40 pages, 1998, ISBN 3-901769-10-2.
German Edition: Hagenberg:
bk teachware, 40 pages, 1998, ISBN 3-901769-08-0.
Italian Edition: Bassano
del Grappa: Media Direct, 40 pages, 1999.
Introduction to the TI-89 (Part 1)
English Edition: Hagenberg: bk teachware,
62 pages, 1998, ISBN 3-901769-14-5.
German Edition: Hagenberg:
bk teachware, 62 pages, 1998, ISBN 3-901769-12-9.
Swedish Edition: Onsala:
YD Science&Arts, 62 pages, 1999, ISBN 91-972968-3-X.
Introduction to the TI-89 (Part 2)
English Edition: Hagenberg: bk teachware,
62 pages, 1998, ISBN 3-901769-15-3.
German Edition: Hagenberg:
bk teachware, 62 pages, 1998, ISBN 3-901769-13-7.
Introduction to CABRI GEOMETRE II (together
with V Kokol-Voljc)
German Edition: Hagenberg:
bk teachware, 62 pages, 1999, ISBN 3-901769-16-1.
Introduction to DERIVE 5 (together with
V Kokol-Voljc)
English Edition: Dallas: Texas Instruments,
Inc., 2000, 271 pages
Edited issues of journals:
The International Journal of Computer Algebra in
Mathematics Education, vol. 4, no. 1 (together with F Demana,
B Waits)
Hemel Hempstead: Research Information, 115 pages, 1997,
ISSN 1362-7368
The International Journal of Computer Algebra in
Mathematics Education, vol. 6, no. 1 (together with T Jebelean,
P Schofield)
Hemel Hempstead: Research Information, 84 pages, 1999,
ISSN 1362-7368
Invited articles in books:
Computeralgebra für den Ingenieur
(together with B Buchberger)
'Rechnerorientierte Verfahren', vol 4, Stuttgart: Teubner,
1986, ISBN 3-519-02617-1, pp. 11-
Algebraic methods for geometric reasoning
(together with B Buchberger, G E Collins)
'Annual Reviews in Computer Science', vol 3, Palo Alto:
Annual Reviews Inc., 1988, ISBN 0-8243-3203-2, pp. 85-119
Deciding a Class of Euclidean Geometry Theorems
'Computer Aided Proofs in Analysis', edited by K R Meyer,
D S Schmidt, vol 28 of the 'IMA Volumes in Mathematics and Its Applications',
New York: Springer, 1990, ISBN 3-540-97426-1, pp. 175-189; also: 'Revue
d'Intelligence Artificielle', edited by R Caferra, vol 4, no 3/1990, Paris:
Hermès, pp. 81-98
The Algebraic Calculator as a Pedagogical Tool
for Teaching Mathematics
English Edition: 'Hand-Held Technology
in Mathematics and Science Education: A Collection of Papers', edited by
E.D. Laughbaum, Teachers Teaching with Technology Short Course Program
@ The Ohio State University, pp. 98-109
Invited articles in journals:
DERIVE – The Future of Teaching Mathematics
English Edition: 'The International DERIVE
Journal', vol 1, no 1, Hemel Hempstead: Paramount Publishing, 1994, pp.
37-48.
Italian Edition: 'La matematica e la sua
didattica', 1995, pp. 551-563.
With the TI92 Towards Computer Age Mathematics
Teaching
'The International Journal for Computer Algebra in Mathematics
Education', vol 4, no 1, pp. 7-32.
Der algebraische Taschencomputer als pädagogisches
Werkzeug (The algebraic calculator as a pedagogical tool)
German Edition: 'PROFIL' (Zeitschrift des
Deutschen Philologenverbandes) first part in no. 4/99; second part in no.
5/99.
Dutch Edition: 'Wiskunde & Onderwijs'
(Driemaandelijks tijdschrift van de Vlaamse Vereniging van Wiskundeleraars),
26ste jaargang (2000), nr. 101, pp. 61-80
Invited articles in proceedings:
Wie kann man DERIVE in den Mathematikunterricht
einbauen? (How to Implement Derive in Mathematics Teaching)
‚Rechenfertigkeit und Begriffsbildung’, eds. H. Hischer,
M. Weiß, 13. Arbeitstagung des Arbeitskreises "Mathematikunterricht
und Informatik" in der Gesellschaft für Didaktik der Mathematik e.V.,
22.-25 Sept 1995, Wolfenbüttel, Germany, pp. 95-99. also: ‘25. Kolloquium
Mathematik-Didaktik der Universität Bayreuth’, pp. 42-45.
Der Symbolrechner TI-92 (The Symbolic Calculator
TI-92)
‚Rechenfertigkeit und Begriffsbildung’, eds. H. Hischer,
M. Weiß, 13. Arbeitstagung des Arbeitskreises "Mathematikunterricht
und Informatik" in der Gesellschaft für Didaktik der Mathematik e.V.,
22.-25 Sept 1995, Wolfenbüttel, Germany, pp. 146-149.
Invited position papers:
The Impact of DERIVE on Teaching and Assessing
Mathematics.
Mathematics for 16 to 19 year olds. The School Curriculum
and Assessment Authority (SCAA), Ministry of Education, London, UK.
Refereed articles in journals:
On the application of Buchberger's algorithm to
automated geometry theorem proving (together with S Stifter)
'Journal of Symbolic Computation', vol 2, London: Academic
Press, pp. 389-397
Refereed articles in conference proceedings:
Automated geometry theorem proving using Buchberger's
algorithm (together with S Stifter)
'Proc. Int. Symp. Symbolic and Algebraic Computation
(SYMSAC'86)', Waterloo, Canada, Jul 20-23, 1986, ed. B W Char, ACM publication
no. 505860, pp 209-214
Implementation of a geometry theorem proving package
in SCRATCHPAD II (together with K Kusche, H Mayr)
'Proc. Int. Symp. Symbolic and Algebraic Computation
(EUROCAL'87)', Leipzig, GDR, Jun 2-5, 1987, Lecture Notes in Computer Science
vol 378, Berlin: Springer, ed. J Davenport, pp. 246-257
Symbolic Computation - A New Challenge for Education
(together with K Aspetsberger)
'Proc. IFIP TC 3 Europ. Conf. Computers in Education
(ECCE'88)', Lausanne, Switzerland, Jul 24-29, 1988, eds. F Lovis E D Tagg,
North Holland, pp. 331-336
Using symbolic methods in robotics: inverse kinematics
and collision problems (with S Stifter)
'Proc. IMACS Symp. System Modelling and Simulation (SMS)',
Cetraro, Italy, Sep 18-21, 1988, eds S Tzafestas A Eisinberg, L Carotenuto,
North Holland, pp. 229-234
Using a computer algebra system at an Austrian
high school (with K Aspetsberger)
'Proc. 6th Int. Conf. Technology and Education', Orlando,
USA, Mar 21-23, 1989, eds J H Collins, N Estes W D Gattis, D Walker, CEP
Consultants Ltd, vol 2, pp 476-479
Careful algebraic translations of geometry theorems
'Proc. Int. Symp. Symbolic and Algebraic Computation
(ISSAC'89)', Portland, Oregon, USA, Jul 17-19, 1989, ACM publication, pp
254-263
DERIV(E)-ons vers le Futur de l'enseignement des
Mathématiques
'Proc. Université d'été »Les
outils de calcul formel dans l'enseignement des mathématiques«,
IUFM de Caen, 29 Août-2 Sept, 1994, Ministère de l'Educationan
Nationale, pp. 67-77
Keynote lectures:
Jul 12, 1994: Teaching Mathematics with DERIVE,
The First International Derive Conference, Plymouth, UK, 11-15 Jul 1994.
Aug 31, 1994: Teaching Mathematics with DERIVE,
French Ministry of Education, Summer University, Caen, 29 Aug - 2 Sept
1994.
Nov 14, 1995: Teaching Mathematics in the Computer
Age, MNU Curriculum Conference, Bad Honnef, Germany, 13-17 Nov
1995.
Sep 19, 1996: Teaching Mathematics in the Computer
Age, Enc. de la Asoc. de Prof. Usuarios de Derive de Espana, Valencia,
Spain, 19-20 Sep 1996.
Sep 23, 1996: Teaching Mathematics with DERIVE
and the TI-92, Conf. on using computer algebra systems in mathematics
education, U of Essen, Germany.
Oct 8, 1996: Science, Mathematics, and Technology
in our Society, OECD Conf. on "Teaching Science, Mathematics, and
Technology", Vienna, Austria.
Aug 9, 1997: Fun in Learning Mathematics,
4th ACDCA Symposium on Mathematics Education, Kungsbacka, Sweden, 6-9 Aug
1997.
Nov 6, 1997: Teaching Mathematics in the Information
Age, Presession of ICTCM’97, Chicago, USA, 6 Nov 1997.
Apr 18-19, 1998: The Role of Computers in the Teaching
of Mathematics, "Mathematics and Technology", Al-Ain, United Arab
Emirates.
Apr 24, 1998: The Role of Computers in the Teaching
of Mathematics, LUMA’98, Helsinki, Finland, April 24-25, 1998.
Oct 3, 1998: Mathematics = Mind Exercise + Translating
+ Problem Solving, "MAOL" (Ann. Conf. of Finish Mathematics Teachers
Assoc.), Lahti, Finland, 2-4 Oct 1998.
Jan 31 - Feb 1, 1999: Technology in Mathematics
Teaching, Faculty of Engineering, University of Alexandria, Egypt.
Feb 4, 1999: Mathematics Education meets Computer
Algebra, Annual Conf of Polish Mathematics Teachers, Grudziadzu,
Poland.
Jun 28, 1999: The Scaffolding Method, "Matematyka
i fizyka z kalkulatorem graficznym", Krakow, Poland, Jun 28 - Jul 2, 1999.
Jun 30, 1999: Algebraic Calculators as Pedagogical
Tools for Teaching Mathematics, "Matematyka i fizyka z kalkulatorem
graficznym", Krakow, Poland, Jun 28 - Jul 2, 1999.
Jul 2, 1999: Computer Algebra meets Mathematics
Education, Twaalfde Congres Vlaamse Vereniging Wiskunde Leraren,
Oostende, Belgium, 1-3 Jul 1999.
Aug 20-Sep 24, 1999: Algebraic Calculators as Pedagogical
Tools for Teaching Mathematics, AAMT (Australian Association of
Mathematics Teachers ) Virtual Conference 1999.
Sep 26, 1999: Algebraic Calculators as Pedagogical
Tools for Teaching Mathematics, XV Conference on Information Technology
for Schools, Katowice, Poland, 24-27 Sep 1999.
Jan 7, 2000: Algebraic Calculators as Pedagogical
Tools for Teaching Mathematics, 2nd Mediterranean Conference in
Mathematics Education, Nicosia, Cyprus, 7-9 Jan 2000.
May 4, 2000: Algebraic Calculators as Pedagogical
Tools for Teaching Mathematics, Bilisim Teknolojisi: Matematik
Ögretiminde Ögretmen Egitimi, Ankara, Turkey, 4-6 May 2000.
Invited lectures at institutions:
Feb 14, 1986: GE Research&Development, Schenectady,
USA
Feb 18, 1986: Univ of Delaware, Newark, USA
Feb 20, 1986: IBM Research Center, Yorktown Heights,
USA
Dec 4, 1986: TH Darmstadt, Germany
Apr 21, 1987: IBM Research Center, Yorktown Heights,
USA
Jul 23, 1987: Renselaer Polytechnic Institute, Troy,
USA
Apr 18, 1989: Univ of Kaiserslautern, Germany
Nov 6, 1991: Univ of Exeter, UK
Nov 6, 1991: Univ of Plymouth, UK
Nov 7, 1991: Univ of Birmingham, UK
Feb 24, 1992: Univ of Debrecen, Hungary
Mar 11, 1992: Univ of Bayreuth, Germany
May 11, 1992: Univ of Linköping, Sweden
May 12, 1992: Univ of Gothenburg, Sweden
Dec 7, 1992: Leeds University, UK
Oct 26, 1993: Univ Politecnica de Madrid, Spain
Nov 15, 1993: North Eastern Education and Library Board,
Belfast, UK
Nov 16, 1993: Univ of Utrecht, The Netherlands
Jan 31, 1994: Moscow Paedagogical State University, Moscow,
Russia
May 9, 1994: Cambridge University, Cambridge, UK
Jun 8-9, 1994: Lower Saxon Institute for Teacher Education,
Wolfenbüttel, Germany
Jun 7, 1995: Texas Instruments France, Paris, France
Jan 16, 1996: Academy for Teacher Training, Dillingen,
Germany
Feb 28, 1996: Univ of Bayreuth, Germany
May 28, 1996: Brazilian Center for Research in Physics,
Rio de Janeiro, Brazil
May 28, 1996: IME - Engineering Militar Institute, Rio
de Janeiro, Brazil
May 29, 1996:Universidade Federal do Rio de Janeiro,
Brazil
May 29, 1996: Faculdade Anhembi Morumbi, Sao Paulo, Brazil
May 30, 1996: Escola do Futuro, Universidade de Sao Paulo,
Brazil
May 30, 1996: Universidade Paulista, Sao Paulo, Brazil
May 31, 1996: Riosoft, Rio de Janeiro, Brazil
June 1, 1996: Centro de Física Teórica,
Univ of Petropolis, Brazil
May 6, 1997: University of Bielefeld, Germany
Nov 10, 1997: MathTech, Hindsdale, Illinois, USA
Nov 12, 1997: Gettysburg College, Gettysburg, USA
May 19, 1998: University of Maribor, Slovenia
Oct 12, 1998: University of Salzburg, Austria
Oct 29, 1998: The National Education Institute, Ljubljana,
Slovenia
Nov 10, 1998: Technical University of Dresden, Germany
Mar 17/18, 1999: "Mathematischer Frühling" at the
Dossenberger-Gymnasium Günzburg, Germany
Sep 23, 1999: Hessisches Lehrerfortbildungsinstitut,
Weilburg, Germany
Oct 13, 1999: Ro-Seminar, Ljubljana, Slovenia
Oct 19, 1999: Staatl. Akademie für Lehrerfortbildung,
Esslingen, Germany
Oct 25, 1999: Landesinstitut für Schule und Weiterbildung,
Soest, Germany
Nov 15, 1999: Texas Instruments, Inc., Dallas, USA
Conference program committee member:
Int. Spring School on the Didactics of Computer Algebra,
Krems, Austria, Apr 27-30, 1992
ICTMT'93: Int. Conf. on Technology in Mathematics
Teaching, Birmingham, UK, Sep 17-20, 1993
2nd Krems Conf. on Mathematics Education, Krems,
Austria, Sept 27-30, 1993 (chairman)
1st Int. DERIVE Conf., Plymouth, UK, Jul 11-15,
1994 (chairman)
DERIVE Days Leeds, Leeds, UK, April 13-15, 1996
2nd Int. DERIVE and TI-92 Conf., Bonn, Germany,
Jul 2-6, 1996
ICTMT'97 - Int. Conf. on Technology in Mathematics
Teaching, Koblenz, Germany, Sep 29 - Oct 2, 1997
Int. Conf. onTechnology in Mathematics Education,
Samos, Greece, July 3-6, 1998
3rd Int. DERIVE and TI-92 Conf., Gettysburg, USA,
Jul 13-17, 1998
ATCM’98 – Asian Technology Conf. in Mathematics,
Tsukuba, Japan, Aug 24-28, 1998
IMACS-ACA'99 - Applications of Computer Algebra,
Madrid, Spain, Jun 24-27, 1999
ICTMT'99 - Int. Conf. on Technology in Mathematics
Teaching, Plymouth, UK, Aug 9-13, 1999
5th ACDCA Summer Academy: Recent Research in DERIVE/TI-92-Supported
Mathematics Education, Retz, Austria, Aug 25-28, 1999 (chairman)
ATCM'99 - Asian Technology Conf. in Mathematics,
Guangzhou, China, Dec 17-21, 1999
2nd Mediterranean Conf. in Mathematics Education,
Nicosia, Cyprus, Jan 7-9, 2000
ICTME - Int. Conf. on Technology in Mathematics Education,
Lebanese American University, New York, USA, Jul 5-7, 2000
4th Int. DERIVE and TI-89/92 Conf., Liverpool,
UK, Jul 12-15, 2000
ATCM'2000 - Asian Technology Conf. in Mathematics,
Chiang Mai Univ, Thailand, Dec 17-21, 2000
ICTMT'01 - Int. Conf. on Technology in Mathematics
Teaching, Klagenfurt, Austria, Aug 6-10, 2001
Session organizer:
Education Meets Computer Algebra – A Double Challenge,
IMACS-ACA’98, Prague, Czech Republic, Aug 9-11, 1998
Computer Algebra in Education, IMACS-ACA’99, Madrid,
Spain, Jun 24-27, 1999
Computer Algebra in Education, IMACS-ACA’00, St.
Petersburg, Russia, 2000.
Conference management:
European Conf. on Computer Algebra (EUROCAL'85),
Linz, Austria, Apr 1-3, 1985
3rd ACDCA Symp. on Mathematics Education, Honolulu,
USA, Jul 31-Aug 3, 1995
Project leader:
Teaching Mathematics with DERIVE, COMETT, European
Community Project, 1994-95
Member of editorial board:
The International DERIVE Journal, Hemel Hempstead:
Paramount Publishing, UK (1994-96)
Co-Founder of:
IGHT - Internationale Gesellschaft für Haysche Trennkost
(Jun 93)
ACDCA - Austrian Center for Didactics of Computer Algebra
(Sep 93)
CAME - International Council for Computer Algebra in
Mathematics Education (Jul 94)