×

Found 5 Documents (Results 1–5)

Newest Citations Relevance
Manzoor, Shahid; Libbrecht, Paul; Ullrich, Carsten; Melis, Erica

Authoring presentation for OpenMath. (English) Zbl 1151.68669

Kohlhase, Michael (ed.), Mathematical knowledge management. 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-31430-X/pbk). Lecture Notes in Computer Science 3863. Lecture Notes in Artificial Intelligence, 33-48 (2006).
MSC:  68T30 68U35 97U40
Cite Review PDF
Full Text: DOI
Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen

Proof development with \(\Omega\)MEGA. (English) Zbl 1072.68591

Voronkov, Andrei (ed.), Automated deduction - CADE-18. 18th international conference, Copenhagen, Denmark, July 27–30, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43931-5). Lect. Notes Comput. Sci. 2392, 144-149 (2002).
MSC:  68T15
Cite Review PDF
Full Text: Link
Büdenbender, Jochen; Frischauf, Adrian; Goguadze, Georgi; Melis, Erica; Libbrecht, Paul; Ullrich, Carsten

Using computer algebra systems as cognitive tools. (English) Zbl 1045.68657

Cerri, Stefano A. (ed.) et al., Intelligent tutoring systems. 6th international conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2–7, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43750-9). Lect. Notes Comput. Sci. 2363, 802-810 (2002).
MSC:  68U99 68T99 68W30
Cite Review PDF
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

Year of Publication

Main Field

Software