Balacheff, N. 1993): Artificial Teaching. In: Keitel, C.; Ruthven, K. (eds): Learning from Computers: Mathematics Education and Technology. Berlin: Springer, 131-158.
Balacheff, N.; Sutherland, R. (1994): Epistemological domain of validity of microworlds, the case of Logo and Cabri-géomètre. In: Lewis, R.; Mendelsohn, P. (eds), Lessons from learning (pp. 137-150). IFIP Series. North-Holland.
Bauersfeld, H. (1983): Subjektive Erfahrungsbereiche als Grundlage einer Interaktionstheorie des Mathematiklernens und -lehrens. In: Bauersfeld, H. et al. (Hg.): Lernen und Lehren von Mathematik Bd. 3 IDM. Köln: Aulis, 1-56.
Beckmann, A. (1996): Kongruenzgeometrisches Beweisen am Computer, in: PM 38 (1996) 6, S. 270-275
Beckmann, A. (1997a): Zweischrittiger Computereinsatz beim Beweisenlernen im Geometrieunterricht: Satzfindung und Beweisfindung, in: Math. Schule 35 (1997) 5, S. 301-308
Beckmann, A. (1997b): Beweisen im Geometrieunterricht der Sekundarstufe I, Lit-Verlag, Hamburg, Münster, London 1997
Bender, P. (1989): Anschauliches Beweisen im Geometrieunterricht - unter besonderer Berücksichtigung von (stetigen) Bewegungen bzw. Verformungen. In: Kautschitsch & W. Metzler (Hrsg.) (1989): Anschauliches Beweisen. Wien: Hölder-Pichler-Tempsky & Stuttgart: Teubner, S. 95-145
Bender, P. (1999): Mathematik-didaktische Paradigmen und Computer – unter besonderer Berücksichtigung der Geometrie. In: BzM 1999. Hildesheim: Franzbecker.
Bildungskommission NRW (1995): Zukunft der Bildung - Schule der Zukunft, Luchterhand, Neuwied u. a.
BLK (1997): Gutachten zur Vorbereitung des Programms ,,Steigerung der Effizienz des mathematisch-naturwissenschaftlichen Unterrichts''. - Heft 60 der Materialien der Bund-Länder-Kommission für Bildungsplanung und Forschungsförderung. Bonn
Blum, W.; Kirsch, A. (1989): Warum haben nicht-triviale Lösungen von f' = f keine Nullstellen? Beobachtungen und Bemerkungen zum 'inhaltlich anschaulichen' Beweisen. In: Kautschitsch/ Metzler: Anschauliches Beweisen.
Blum, W.; Neubrand, M. (1998): TIMSS und der Mathematikunterricht. Hannover.
Bokowski, J.; Richter, J.; Sturmfels, B. (1990) Nonrealizability proofs in computational geometry. Discrete Comput. Geometry, 5, 333-350.
Chou, S.C.; Gao, X.S.; Zhang, J.Z. 1994): Machine proofs in geometry, World Scientific, Singapore.
Bokowski, J.; Sturmfels B. (1989): Computational Synthetic Geometry, Lecture Notes in Mathematics 1355, Springer.
Crapo, H.; Richter-Gebert; J. (1995) : Automatic proving of geometric theorems, in: ``Invariant Methods in Discrete and Computational Geometry'', Neil White ed., Kluwer Academic Publishers.
Elschenbroich, H.-J. (1996a): Geometrie beweglich mit Euklid. In: Praxis der Mathematik 38(5).
Elschenbroich, H.-J. (1996b): Geometrie beweglich mit Euklid. Bonn, Dümmler.
Elschenbroich, H.-J. (1997a): Tod des Beweisens oder Wiederauferstehung? - Zu Auswirkungen des Computereinsatzes auf die Stellung des Beweisens im Unterricht. In: Computer und Geometrie. Bericht über die 14. Arbeitstagung des Arbeitskreises ,,Mathematikunterricht und Informatik''. Hildesheim: Franzbecker.
Elschenbroich, H.-J. (1997b): Dynamische Geometrieprogramme: Tod des Beweisens oder Entwicklung einer neuen Beweiskultur? MNU 50(8).
Elschenbroich, H.-J. (1998a): Geometrie beweglich mit Geolog. Bonn, Dümmler.
Elschenbroich, H.-J. et al. (1998b): Dynamic Geometry. In: Math using software. Ideas and inspiration for using educational software in maths teaching. EU Projekt: Socrates Open and Distance Learning. Workshop13.4. - 20.4.1996 Orfeus, DK Egaa.
Elschenbroich, H.-J. (1998c): Geometrie beweglich mit Geolog. Bonn, Dümmler.
Elschenbroich, H.-J. (1999a): Anschaulich(er) Beweisen mit dem Computer? In: Mathematische Bildung und neue Technologien. Vorträge beim 8. Internationalen Symposium zur Didaktik der Mathematik, Universität Klagenfurt 28.9. - 2.10.1998. Stuttgart-Leipzig, Teubner.
Elschenbroich, H.-J. (1999b): Visuelles Beweisen - Neue Möglichkeiten durch Dynamische Geometrie-Software. In: Beiträge zum Mathematikunterricht 1999. Hildesheim: Franzbecker.
Elschenbroich, H.-J. (2000a): Eine neue Lernumgebung für den Mathematikunterricht in der Sekundarstufe I - Dynamik als durchgehendes Unterrichtsprinzip. Expertise zum rheinland-pfälzischen Vorhaben ,,Selbstgesteuertes Lernen in Mathematik und Erdkunde in der Sekundarstufe I'' im Rahmen des BLK-Programms: Systematischer Einsatz von Medien, Informations- und Kommunikationstechnologien. Ministerium für Bildung, Wissenschaft und Weiterbildung, Mainz.
Elschenbroich, H.-J. (2000b): Computergestützter Geometrie-Unterricht mit elektronischen Arbeitsblättern. In: Standardthemen des Mathematikunterrichts in moderner Sicht. Bericht über die 17. Arbeitstagung des Arbeitskreises ,,Mathematikunterricht und Informatik''. Hildesheim: Franzbecker 2000.
Elschenbroich, H.-J. (2000c): Neue Ansätze im Geometrieunterricht der S I durch elektronische Arbeitsblätter. Beiträge zum Mathematikunterricht 2000. Hildesheim: Franzbecker.
Elschenbroich, H.-J. (2000d): Lehren und Lernen mit interaktiven Arbeitsblättern - Dynamik als Unterrichtsprinzip. Erscheint in: Bericht über die 18. Arbeitstagung des Arbeitskreises ,,Mathematikunterricht und Informatik''. Hildesheim: Franzbecker.
Elschenbroich, H.-J.; Seebach, G. (1999): Dynamisch Geometrie entdecken. Elektronische Arbeitsblätter mit Euklid. Klasse 7/8. Köln, Dümmler.
Elschenbroich, H.-J.; Seebach, G. (2000): Dynamisch Geometrie entdecken. Elektronische Arbeitsblätter mit Cabri Géomètre II. Klasse 7/8. Köln, Dümmler.
Elschenbroich, H.-J.; Noll, G. (2000): Geometrie beweglich mit Cabri Géomètre II. Köln, Dümmler.
Gao X.-S.; Wang D., Lu, Y., eds. (1999): Automated deduction in geometry, Springer LNCS 1669.
Gao, X.S.; Zhang, J.Z.; Chou, S.C. (1998): Geometry Expert (in Chinese). Jiou Chang, Taiwan.
Gawlick, Th. (1999): Beeinflusst der Einsatz von Geometrie-Software das Herausbilden von Grundvorstellungen? In: Beiträge zum Mathematikunterricht. Hildesheim: Franzbecker.
Gawlick, Th. (Hg., 2000a): Lernprozesse mit Dynamischer Geometrie-Software. Vechtaer fachdidaktische Forschungen und Berichte, Heft 3, Hochschule Vechta.
Gawlick, Th. (2000b): Eine Studie zum Einfluss des Einsatzes von DGS in anwendungsorientiertem Geometrieunterricht. Beiträge zum Mathematikunterricht, Hildesheim: Franzbecker.
Gawlick, Th. (2000c): DGS - quo vadis? In: Gawlick (2000a).
Gawlick, Th. (2000d): Empirische Unterrichtsforschung zu Dynamischer Geometrie-Software. Methoden und Ergebnisse. In: Gawlick (2000a).
Gawlick, Th. (2000e): Die Ortslinie des Höhenschnittpunktes. Einführende didaktische und mathematische Bemerkungen. In: Gawlick (2000a).
Goldenberg, E.P.; Cuoco, A.A. (1998): What is Dynamic Geometry? In: Lehrer, R., Chazan, D. (Hg.): Designing learning environments for developing understanding of geometry and space. Mahwah, NJ : Erlbaum.
Graumann, G. et al. (1996): Tendenzen der Geometriedidaktik der letzten 20 Jahre. JMD 17(3-4), S. 163-237.
Handschel, G. (1988): Eine Ausgangsbasis für das Beweisen im Geometrieunterricht der Sekundarstufe I. MNU 41(7).
Healy, L. (2000): Identifying and explaining geometrical relationship: Interactions with robust and soft Cabri constructions. In 24th Conference of the International Group for the Psychology of Mathematics Education (PME 24), 1 (S. 1-103 - 1-117). Hiroshima:
Heintz, G. (2000a): WWW-basierte interaktive Arbeitsblätter für den Geometrie- Unterricht. BzM 2000. Hildesheim: Franzbecker.
Heintz, G. (2000b): Geometrieunterricht mit interaktiven Arbeitsblättern.
In: Gawlick, Th. (Hg., 2000a), Lernprozesse mit Dynamischer Geometrie-Software. Workshop an der Hochschule Vechta, 7.1.2000,
Vechtaer fachdidaktische Forschungen und Berichte, H.3, S. 37-42.
Heintz, G. (2000c): Interactive Work Sheets for Teaching Geometry. Erscheint in: G. Törner (Ed.), Current State of Research on Mathematical Beliefs. Proceedings of the MAVI Workshop IX, University of Vienna, June 2000. Preprints Duisburg. Gerhard-Mercator-Universitaet Duisburg. Schriftenreihe des Fachbereichs Mathematik.
Henn, H.W.; Jock, W. (1993): Arbeitsbuch Cabri Géomètre. Bonn: Dümmler.
Henn, H.-W. (Hrsg.) (1994): Computereinsatz im Geometrieunterricht der SI, MU 40, Heft 1.
Henn, H.-W. (Hrsg.) (1995): Computereinsatz im Geometrieunterricht II, MU 41, Heft 1.
Henn, H.-W.; Jock, W. (1997): Schülerarbeitsbuch Geolog-Win. Bonn.
Henn, H.-W. (Hrsg.) (1999): Mathematikunterricht im Aufbruch. Hannover.
Hischer, H. (1992): Mathematikunterricht im Umbruch. in: Hischer, H. (Hrsg.), Mathematikunterricht im Umbruch, Hildesheim, 8 - 13.
Hischer, H. (Hrsg.) (1997): Computer und Geometrie - neue Chancen für den Geometrieunterricht? Bericht über die 14. Arbeitstagung des Arbeitskreises ,,Mathematikunterricht und Informatik''. Hildesheim: Franzbecker.
Hischer, H. (Hrsg.) (1998): Geometrie und Computer - Suchen, Entdecken, Anwenden. Bericht über die 15. Arbeitstagung des Arbeitskreises ,,Mathematikunterricht und Informatik''. Hildesheim: Franzbecker.
vom Hofe, R. (1995): Grundvorstellungen mathematischer Inhalte. Heidelberg.
Hoffmann, C.M. (1996): How solid is solid modeling?, in Ming C. Lin and Dinesh Manosha, editors, Applied Computational Geometry - Towards Geometric Engineering, LNCS, pages 1-8. Springer-Verlag.
Hölzl, R. (1994): Im Zugmodus der Cabri-Geometrie. Weinheim: Deutscher Studien-Verlag.
Hölzl, R. (1995): Eine empirische Untersuchung zum Schülerhandeln mit Cabri-géomètre, JMD 16(1-2), S. 79-113.
Hölzl, R. (1999): Qualitative Unterrichtsstudien zur Verwendung dynamischer Geometrie-Software. Habilitations-schrift. Augsburger mathematisch-naturwissenschaftliche Schriften. Wißner Verlag, Augsburg.
Hölzl, R. (2000): Dynamische Geometrie-Software als integraler Bestandteil des Lern- und Lehrarrangements. JMD.
Hole, V. (1998): Erfolgreicher Mathematikunterricht mit dem Computer; Donauwörth: Auer.
Holland, G. (1996a): Geometrie in der Sekundarstufe. 2. Auflage. Heidelberg, Spektrum.
Holland, G. (1996b): Geolog-Win. Bonn, Dümmler.
Holland, G. (1997a): Führt der Einsatz von DGS zu einem anderen Verständnis von Geometrie? In: H. Hischer (Hrsg.), Computer und Geometrie. Franzbecker, Hildesheim.
Holland, G. (1997b): Innovative Lernsoftware für den Geometrieunterricht in der Sekundarstufe I. In: H. U .Hoppe, W. Luther (Hrsg.) Informatik und Lernen in der Informationsgesellschaft. Springer, Berlin.
Holland, G. (1998): Knowledge based support in problemoriented mathematical
tutoring systems. In: W.Fraunholz (Hrsg.) Proceedings of the Third International Conference on Technology in Mathematics Teaching,
Koblenz 1997. CD-ROM, ISBN 3-00-02330-5
Holland, G. (2000): Zum Beweis der Richtigkeit geometrischer Konstruktionen. In: Herget & Weigand & Weth (Hrsg.), Standardthemen des Mathematikunterrichts in moderner Sicht. Franzbecker, Hildesheim.
Hoyles, C. (1993): Microworlds/ schoolworlds: the transformation of an innovation. In: Keitel, C.; Ruthven, K. (Hg.): Learning from computers: Mathematics education and technology. Berlin: Springer, S. 1-17.
Hoyles, C.; Sutherland, R. (1989): Logo Mathematics in the Classroom. London: Routledge.
Kaiser, G. (1997): Vergleichende Untersuchungen zum Mathematikunterricht im englischen und deutschen Schulwesen. Journal für Mathematik-Didaktik 18(2-3) S. 127-170.
Kapovich, M.; Milson J. (1999): Moduli spaces of linkages and arrangements, In: ``Advances in Geometry'', J.-L. Brylinski, et al (eds.), Progress in Mathematics, Birkhauser, 172, 237-270.
Kautschitsch, H.; Metzler, W. (Hrsg.) (1989): Anschauliches Beweisen. 7. und 8. Workshop zur 'Visualisierung der Mathematik' in Klagenfurt im Juli 1987 und 1988. Wien, Hölder-Pichler-Tempsky.
Kortenkamp, U. (1999): Foundations of Dynamic Geometrie. Doktorarbeit, ETH-Türich, In: http://www.inf.fu-berlin.de/ kortenka/Papers/diss.pdf
Kortenkamp, U.; Richter-Gebert J. (1998), Geometry and Education in the Internet Age, ED-MEDIA World Conference on Educational Multimedia, Hypermedia and Telecommunications, pp. 790-799.
Kortenkamp, U.; Richter-Gebert J. (1999a), Cinderella, in: Erfahrungen mit Java, Silvano Maffeis, Fridtjof Tönniessen, Christian Zeidler (eds), dpunkt.verlag, pp 383-407.
Kortenkamp, U.; Richter-Gebert J. (1999b): Euklidische und nicht-euklidische Geometrie in Cinderella, Manuskript, ETH-Zürich, 20 p, http://www.inf.ethz.ch/personal/richter/Papers/nichtEuklidisch.ps.
Kortenkamp, U.; Richter-Gebert J. (2000): Complexity issues in dynamic geometry, in preparation, manuscript available on request.
Kutzler, B.; Stifter S. (1986): On the application of Buchberger's algorithm to geometric theorem proving, J. Symbolic Computation, 2, 389-397.
Laborde, J.M.; Bellemain F. (1993-1998): Cabri-Geometry II, Texas Instruments.
Laborde, J.M. (1997): Exploring non-euclidean geometry in a dynamic geometry environment like Cabri-géomètre, in James King and Doris Schattschneider, editors, Geometry Turned On, MAA Notes, 41, 185-192.
Mnëv, N.E. (1988): The universality theorems on the classification problem of configuration varieties and convex polytopes varieties, in: Viro, O.Ya. (ed.): Topology and Geometry - Rohlin Seminar, Lecture Notes in Mathematics 1346, Springer, Heidelberg 1988, 527-544.
Newton, I. (1704): Enumeratio linearum tertii ordinis. In Opticks [Optics]: Or, a treatise of the reflexions, refractions, inflexions an colours of light; Also two treatises of the species and magnitude of curvilinear figures. Reprint der Ausgabe London 1704. Brüssel 1966.
von Örtzen, T. (1999): Cedric - ein automatisches geometrisches Beweissystem, Diplomarbeit, Universität des Saarlandes.
Pesci, A. (2000): The properties of necessity and sufficiency in the construction of geometric figures with Cabri. In: 24th Conference of the International Group for the Psychology of Mathematics Education (PME 24), (S. 4-73 - 4-80). Hiroshima.
Reheis, F. (1998): Die Kreativität der Langsamkeit. Neue Wohlstand durch Entschleunigung, Primus, Darmstadt.
Richter-Gebert, J. (1995a): Mechanical theorem proving in projective geometry, Annals of Mathematics and Artificial Intelligence, 13, 139-172.
Richter-Gebert, J. (1995b): Realization spaces of Polytopes, Lecture Notes in Mathematics 1643, Springer; 187 pages.
Richter-Gebert, J.; Kortenkamp U. (o.J.): Euklidische und Nicht-Euklidische Geometrie in Cinderella. Script ETH Zürich.
Richter-Gebert, J.; Kortenkamp U. (1999): Cinderella - The interactive geometry software, Springer, Heidelberg, 143 pages + CD-Rom.
Richter-Gebert, J.; Kortenkamp U. (2000): Cinderella - Die Interaktive Geometriesoftware (Schülerversion), (Software + Manual 80 pages), Heureka-KLETT, Stuttgart.
Ruthven, K. (1997): Computer algebra systems (CAS) in advanced-level mathematics. University of Cambridge.
Schmid, A. (1987): Zum Geometrieunterricht in der Sekundarstufe I. Vortragsskript einer Lehrerfortbildungsveranstaltung. Tübingen.
Schumann, H.(1988): Der Computer als Werkzeug zum Konstruieren im Geometrieunterricht. In: ZDM, Zentralblatt für Didaktik der Mathematik. (Dec 1988) v. 20(6) p. 284-263. Herrn Prof. Dr. Heinz Kunle zum 60. Geburtstag.
Schumann, H. (1991a): Schulgeometrischen Konstruieren mit dem Computer. Beiträge zur Didaktik des interaktiven Konstruierens. Stuttgart: Metzler.
Schumann, H.(1991b): Interaktives Generalisieren geometrischer Konfigurationen. In: Zur Didaktik des interaktiven Konstruierens. T. 3. Jul 1991. S. 15-29 von 87 S. Ser. Titel: Pädagogische Hochschule Weingarten. Beiträge zum Computereinsatz in der Schule. Nr. 1.
Schumann, H.(1992): Interaktives Berechnen an geometrischen Konfigurationen. In: ZDM, Zentralblatt für Didaktik der Mathematik. (Aug 1992) V. 24(4) S. 144-147. Modified version of a lecture held at 26. Federal meeting for didactics of mathematics in Weingarten (Germany), 10-13 Mär 1992.
Schumann, H.(1994): Der Computer als interaktives Konstruktionswerkzeug im Geometrieunterricht der Sekundarstufe I: Planung, Durchführung und Ergebnisse. 28. Bundestagung für Didaktik der Mathematik (Mär 1994), Duisburg
Schumann, H.(1996): New standards for the solution of geometric calculation problems by using computers. In: Teaching mathematics with Derive and the TI-92. Proceedings. International Council for Computeralgebra in Matheducation (IC-Came), Düsseldorf 1996. S. 451-470 von 565 S. Ser. Titel: ZKL-Texte. V. 2. Conference: 2. international DERIVE and TI-92 conference: Computeralgebra in Matheducation, Bonn (Germany), 2-6 Jul 1996
Schumann, H. (1998a): Dynamische Behandlung elementarer Funktionen. In: Mathematik in der Schule (36), Heft 3, S. 172-188
Schumann, H. (1998b): Interaktive Arbeitsblätter für das Geometrielernen. In: Mathematik in der Schule (36), Heft 10, S. 562-569
Schumann, H. (2000): Computerisierte Behandlung funktionaler Beziehungen an geometrischen Figuren. In: Mathematik in der Schule (38), Heft 2, S. 109-119
Schumann, H. (2000): Computerunterstützte Behandlung geometrischer Extremwertaufgaben. Hildesheim: Franzbecker.
Schumann, Heinz; Villiers, Michael de (1993): Continuous variation of geometric figures: interactive theorem finding and problems in proving. In: Pythagoras (Pretoria). (Apr 1993) (Nr.31) p. 9-20.
Seutter, R.; Sträßer, R. (1997): Gemeinsame Tangenten zweier Kreise - die Geschichte einer computergestützten Entdeckung. In: Blum, W. et al (Hg.): Berichte aus dem Seminar für Didaktik der Mathematik. Bielefeld. S. 79-82.
Steinbring, H. (1999): Epistemologische Analyse mathematischer Kommunikation. Beiträge zum Mathematikunterricht. Hildesheim: Franzbecker. S. 515 - 518.
Sträßer, R. (1991): Dessin et Figure. Occasional Paper 128. Bielefeld: IDM, Universität Bielefeld.
Sträßer, R. (1992): Student's Constructions and Proofs in a Computer Environment. Occasional Paper 134. Bielefeld: IDM, Universität Bielefeld.
Sturmfels, B. (1993): Algorithms in Invariant Theory, Springer, Texts and Monographs in Symbolic Computation.
Vollrath, H.-J. (1987): Störungen des didaktischen Gleichgewichts im Mathematikunterricht. MNU 40(6).
Walsch, W. (1975): Zum Beweisen im Mathematikunterricht. Berlin, Volk und Wissen.
Wang, D. (1996): Geometry machines: From ai to smc, in Jaques Calmet, John A. Campbell, and Jochen Pfalzgraf, editors, Proc. Artificial Intelligence and Symbolic Mathematical Computation 3, volume 1138 of Lecture Notes in Computer Science, pages 213-239, Steyr, Springer.
Wang, D., ed., (1997): Automated deduction in geometry, Springer LNCS 1360.
Weigand, H.-G. (1997): Mechanisches und computerunterstütztes Zeichnen von Kegelschnitten, Mathematiklehren, Heft 82, 14 – 18.
Weigand, H.-G. (1999a): Basteln - Zeichnen - Konstruieren: Operative Übungen mit Ortslinien. In: Henning, H. (Hg.): Mathematik lernen durch Handeln und Erfahrung. Festschrift für Heinrich Besuden. Oldenburg: Bültmann & Gerriets 1999, S.125-138.
Weigand, H.-G. (1999b): Eine explorative Studie zum computerunterstützten Arbeiten mit Funktionen. JMD 20 (1), S. 28-54.
Weth, T. (1991): Ein abbildungsgeometrischer Zugang zu algebraischen Kurven dritter und höherer Ordnung, DdM 2, S. 145-164.
Weth, T. (1992): Computerunterstütztes modulares Konstruieren im Geometrieunterricht. ZDM 24(4), S. 148-153.
Weth, T. (1994): Beobachtungen beim Einsatz von GEOLOG - Teil 1: Beispiele für ,,modulares Konstruieren'', MidS 32(9), S. 500-508, Teil 2: Zu einer Unterrichtssequenz, MidS 32(10), S. 557-569 (mit B. Lutz).
Weth, T. (1998): Kreative Zugänge zum Kurvenbegriff, MU 4/5, S. 38-60.
Winter, H. (1995): Mathematikunterricht und Allgemeinbildung. In: Mitteilungen der Gesellschaft für Didaktik der Mathematik Nr. 61, S. 37-46.
Wittmann, E. Ch.; Müller, G. (1988): Wann ist ein Beweis ein Beweis?. Berlin, Cornelsen.
Wittmann, E. Ch.: Mathematics as a 'design science'. In: Educational Studies in Mathematics, Vol. 29 (4), S. 355 - 374.
Wu, W.-T. (1994): Mechanical Theorem Proving in Geometries: Basic Principles, Springer.