[isabelle] Isabelle and Computer Algebra



Googling the keywords "Isabelle" and "Computer Algebra" leads to a 1995
paper on an interface between Isabelle and Maple. Does this interface
still exist, respectively work with the present versions of Isabelle and
Maple? Is there any more recent work on connecting Isabelle to computer
algebra systems, or more generally to any kind of mathematics tools?

Thanks,

Lutz


-- 
------------------------------------------------------------------
PD Dr. Lutz Schröder                  office @ Universität Bremen:
Senior Researcher                     Cartesium 2.051
Safe and Secure Cognitive Systems     Enrique-Schmidt-Str. 5
DFKI-Lab Bremen                       FB3 Mathematik - Informatik
Robert-Hooke-Str. 5                   Universität Bremen
D-28359 Bremen                        P.O. Box 330 440
                                      D-28334 Bremen
phone: (+49) 421-218-64216            Fax:   (+49) 421-218-9864216
mail: Lutz.Schroeder at dfki,de
www.dfki.de/sks/staff/lschrode
------------------------------------------------------------------


-------------------------------------------------------------
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH
Firmensitz: Trippstadter Strasse 122, D-67663 Kaiserslautern

Geschäftsführung:
Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender)
Dr. Walter Olthoff

Vorsitzender des Aufsichtsrats:
Prof. Dr. h.c. Hans A. Aukes

Amtsgericht Kaiserslautern, HRB 2313
-------------------------------------------------------------







This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.