Le 25-sept.-08 à 10:29, Michael Kohlhase a écrit :
This can certainly be part of the pragmatic to strict translation right?This would be an excellent idea.=
My OM3 voice says +1 for the proposal below. I still miss "where is the translation". paul
So can we get a consensus here? We have a telcon this afternoon, where we can probably decide this. So if I interpret what I have seen, your preference would be: 1. relation symbols are binary!!!! 2. we still have pragmatic MathML of the form <apply><eq/>a b c</apply> but that will be translated to <apply> <csymbol cd="logic1">and</csymbol> <apply><csymbol cd="relation1">eq</csmbol>a b</csmbol></apply> <apply><csymbol cd="relation1">eq</csmbol>b c</csmbol></apply> </apply> in the content to strict translation. MichaelJames Davenport Hebron & Medlock Professor of Information TechnologyFormerly RAE Coordinator and Undergraduate Director of Studies, CS DeptLecturer on CM30070, 30078, 50209, 50123, 50199 Chairman, Powerful Computing WP, University of Bath OpenMath Content Dictionary Editor IMU Committee on Electronic Information and Communication _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3-- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 Professor of Computer Science Campus Ring 12, School of Engineering & Science D-28759 Bremen, Germany Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140 [EMAIL PROTECTED] http://kwarc.info/kohlhase skype: m.kohlhase * International University Bremen until Feb. 2007 ----------------------------------------------------------------------
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
