23 juni 2015 -- Idag har World Wide Web Consortium (W3C), tillsammans med Joint Technical Committee JTC 1, Information Technology i International Organization for Standardization (ISO) och International Electrotechnical Commission (IEC), låtit meddela att MathML Version 3.0 2nd Edition har blivit antagen som ISO/IEC International Standard (ISO/IEC 40314:2015).
MathML är det uppmärkningsspråk som används i programvara och utvecklingsverktyg för att på webben uttrycka matematiska formler inom områden som statistik, ingenjörsverksamhet, beräkningsteknik och akademi. Detta matematiska uppmärkningsspråk erbjuder sätt att beskriva, i XML, såväl den visuella presentationen av formler (med matematiska symboler, sammansatta formler och typsnitt), som deras semantik (med referenser till olika områden inom matematiken). Språkets första version, MathML 1, publicerades 1998.
”Denna viktiga vetenskapliga standard. som har bred internationell användning, kan nu dra nytta av detta nya formella erkännandet från ISO, IEC och deras nationella medlemmar,” säger Dr. Jeff Jaffe, W3C CEO. ”Detta ISO/IEC-erkännande förväntas öka internationellt harmoniserad användning ev MathML, inte bara inom standardiseringsorgan, förvaltningar och den vetenskapliga och akademiska världen, utan även av webbläsarleverantörer, utgivare av utbildningsmateriel, samt webbvärlden i stort.”
”ISO/IEC JTC 1 är glada att ha fått möjligheten att ta detta viktiga arbete gjorts inom W3C, överföra det till en formellt godkänd ISO/IEC-standard,” säger Karen Higginbottom, ordförande i ISO/IEC JTC 1. ”Vi njuter av att fortsätta denna starka och konstruktiva samverkan mellan våra organisationer.”
”I rollen av sekretariat för ISO/IEC JTC 1, är American National Standards Institute (ANSI) stolt över detta lyckade samarbete mellan ISO/IEC JTC 1 och W3C,” säger Lisa Rajchel, sekreterare i ISO/IEC JTC 1. ”Godkännande av W3C-specifikationer har ännu en gång visat det starka samarbetet mellan formell standardiseringsprocess och standardiseringskonsortia.”
Eftersom HTML uppfanns inom ett vetenskapligt laboratorium, så var ett av de första förslagen till utvidgning av HTML just att kunna representera formler. Tidiga experiment, såsom HTML+ (1993), ledde fram till den första versionen av MathML (1998). Användning av MathML har sedan dess vuxit i omfattning, även om det dröjde fram till 2014, inom ramen för den femte versionen av HTML, som matematik blev en standardiserad del av HTML, och inte bara ett varlfritt tillägg. Nu kan alltså MathML användas fristående, som den tidigare har gjorts, eller inbäddad i HTML.
Ett viktigt mål med att göra MathML en del av HTML är att underätta skapandet av interaktiva vetenskapliga artiklar ochutbildningsmateriel. En formel är inte längre bara en bild -- man kan interagera med den, direkt i webbläsaren eller andra dokumentbläddrare: t.ex. kopiera en formel och klistra in den i en ekvationslösare, och direkt få lösningen; peka ut en formel för ett grafritningsprogram och den visualiserad; göra det möjligt för en student att lösa aritmetiska uppgifter direkt i webbläsaren, etc.
MathML är en viktig komponent i den semantiska webben. Man kan inte bara beskriva den visuella, tvådimensionella strukturen av en sammansatt formel, utan även dess semantik i förhållande till olika matematiska modeller, tack vare att den integrerar standard ”dictionaries” från OpenMath Society. (Olika grenar av matematiken använder ofta formler som ser likartade ut, så genom att minska mångtydigheten kan automatisk tolkning underlättas.)
”Denna ISO/IEC-standard kommer i rätt tid” säger Dr. Bert Bos, ledare för arbetet med matematik inom W3C., ”MathML förbättrar tillgängligheten hosförfattarstöd, t.ex. vid talad utmatning. Det fortsätter vara det mest lyckade utbytesformatet mellan olika programvarupaket för matematik, och är på god väg att bli ett 'lingua franca' för all matematik på webben, på grund av att det ny blivit del av HTML5 och den öppna webbplattformen.”
W3C har förfinat processer och policies som underlättar framtagandet av högkvalitativa, konsensusdrivna och kostnadsfria standarder, och många av dessa ger kraft åt webben och IT-plattformar. En märkning av ISO och IEC stärker möjligheterna att ta till sig och använda W3C-teknologier och -riktlinjer, vilket i sin tur ökar driftstagande, minskar splittring och ger alla användare ökad interoperabilitet.
MathML 3.0 skickades in till ISO/IEC JTC 1 enligt processes för Publicly Available Specifications (PAS) i juli 2014. W3C har varit en erkänd JTC 1 PAS Submitter sedan november 2010, och är en av elva (11) organisationer som för närvarande är erkända. Enligt PAS-processen kan organisationer som erkänns som giltiga PAS Sumitters skicka in sina specifikationer direkt till JTC 1, och genom omröstning av de nationella deltagarna kunna bli ISO/IEC International Standards. Mer information om W3C och processen för ISO/IEC JTC 1 PAS Submission finns att läsa på W3C PAS FAQ och på webbplatsen för JTC 1.
I och med att den nu har blivit en ISO/IEC JTC 1 Standard, så är MathML 3.0 nu även tillgänglig från ISO/IEC och från nationella medlemsorganisationer, som ANSI och SIS. Att JTC 1 antagit denna specifikation som standard innebär inte att den ersätter den existerande W3C-standarden, vilken fortsätter att vara kostnadsfritt tillgänglig på W3C:s webbplats. MathML är den tredje W3C-standarden som blivit antagen av ISO/IEC, föregången av Web Services (2011) och Web Acccessibility Content Guidelines 2.0 (2012).
W3C erbjuder dessutom ytterligare informationsmateriel för utvecklare och användare, vilka hittas på webbsidan för arbetet med matematik.
W3C är ett internationellt konsortium där konsortiets medlemmar, en heltidsanställd stab och andra intresserade arbetar tillsammans för att utveckla webbstandarder. W3C:s huvudsakliga verksamhet är att ta fram webbstandarder samt riktlinjer, råd och anvisningar som säkerställer webbens långsiktiga tillväxt och utvecklingsriktning. Fler än 400 organisationer är medlemmar i konsortiet. W3C drivs gemensamt av MIT Computer Science and Artificial Intelligence Laboratory (MIT CSAIL) i USA, European Research Consortium for Informatics and Mathematics (ERCIM) med högkvarter i Frankrike, och Keio University i Japan, Beihang University i Kina, samt har ytterligare regionala kontor världen runt. Mer information finns på http://www.w3.org/
Den gemensamma tekniska kommittéen (joint technical committee) som drivs av ISO (International Organization for Standardization) och IEC (International Electrotechnical Commission), ISO/IEC JTC 1, Information Technology, är en konsensusbaserad, frivillig internationell stndardiseringsgrupp vilken fungerar som ett produktivt samarbete mellan ISO och IEC. Fler än 3700 experter från 34-P-medlemsländer träffas i JTC 1 för att utveckla ömsesidigt nyttiga standarder vilka förbättrar internationell handel samtidigt som immaterialrätt skyddas. Förenta Staterna har en ledande roll i JTC 1, där American National Standards Institute (ANSI) tillhandahåller sekretariatet, och Karen Higginbottom, direktor för standardiseringsarbete vid Hewlett-Packard Company innehar rollen son ordförande i JTC 1.
ISO är världens stöärsta utvecklare och utgivare av internationella standarder. ISO är ett nätverk av nationella standardiseringsinstitut från 164 länder (juli 2012). Fler än 100 av ISO:s medlemmar är från utvecklingsländer. ISO har fler än 18600 internationella standarder i sitt nuvarande utbud. ISO:s arbetsprogram sträcker sig från standarder för traditionella verksamhetsområden, som agrikultur och byggnation, över mekaniska konstruktionerm tillverkning och distribution, till transport, medicinska apparater, miljön, säkerhet, inkormations- och kommunikationsteknologi, och till standarder för goda arbetssätt och för tjänster.
IEC (International Electrotechnical Commission) är världens ledande organisation för framtagning och publicering av internationella standarder för alla typer av elektriska, elektroniska och relaterade teknologier, gemensamt grupperade under termen ”elektroteknologi”. IEC:s internationella standarder täcker ett brett spektrum av teknologier, från kraftgenerering, -överföring och -distribution, till apparater i hemmet och på kontoret, halvledare, fiberoptik, batterier, nanoteknologier, solenergi och marin-baserade konverterare, med mera. Varhelst man hittar elektrocitet och elektronik, så kommer du att se att IEC stöder säkerhet och prestanda, miljön, energieffektivitet i elektriska konstruktioner, och förnybara energikällor. IEC administrerar även Conformity Assessment Systems som certifierar att utrustning, system och komponenter uppfyller motsvarande internationella standarder. www.iec.ch
Karen Myers, W3C <karen@w3.org>
Elizabeth Neiman, ANSI <eneiman@ansi.org>
The use of MathML extends far beyond STEM publishers and organizations and is extensively used both in the worlds of general publishing and corporate documentation, whenever equations are part of their documents being produced. Antenna House first offered MathML as a feature of our XSL-FO formatting engine back in November 2004. We now have hundreds of customers using MathML for producing equations within their documents. MathML as an ISO standard further strengthens the use of MathML for producing paged output.
Michael Miller, VP, Antenna House, Inc.
C-DAC GIST Research Labs has always been supportive of any technology that enables interoperability amongst people, softwares and platforms, Adoption of MathML by ISO is one of the important steps in ensuring its wider and methodical adoption. Working in language technology field in the past 22 years with current focus on Digitization, C-DAC sees this to be a positive step which will take mathematical express from image to actual form.
Mahesh D. Kulkarni, Associate Director & HoD, GIST Research Labs, C-DAC; Country Manager, W3C India
MathML was the first specialized format to be approved by the W3C. Since then it has become the lingua-franca for math communication, on the web and elsewhere. Approval by ISO is further proof of the importance of MathML in the world of STEM communication. Design Science continues its commitment to producing tools that enable the use of MathML and that make math accessible to all people with our recent release of a new version of MathPlayer. People with vision disabilities used previous versions of MathPlayer to listen to tens of millions of expressions; the new version extends MathPlayer's support of MathML to any browser and to other applications.
Neil Soiffer, Senior Scientist, Design Science Inc.
Demo of MathML in action, VoiceOver and Safari, by Bob Matthews, Director of Training, Design Science Inc.
Maplesoft has always been a strong supporter of MathML and the efforts of the community to freely share mathematics on the web and between software tools such as Maple. We are delighted that the MathML standard has reached this important new milestone of international recognition by the ISO.
Laurent Bernardin, Executive Vice President and Chief Scientist, Maplesoft
The publication as an ISO standard confirms MathML's resounding success as the standard markup for mathematical and scientific notation. MathML provides a robust, unified markup that enables publication, processing and conversion of mathematics. It is fully accessible to both humans and machines and we see a rich ecosystem of applications.
Peter Krautzberger, MathJax Consortium
While browser support remains limited to Gecko/Firefox and WebKit/Safari for now, polyfills such as MathJax build on MathML as it provides a canonical representation of mathematical notation made for the web. Overall, MathML has enabled a new generation of publications, learning environments, and online communities, in effect transforming learning, teaching, and research on the web and beyond. MathML is the core of STEM content on the web and I'm looking forward to seeing MathML evolve to meet current and future developments.
The standardization of MathML is key to "friction-free" interoperability among software components for e-learning and technical collaboration in the academic world.
Stephen M. Watt, Distinguished University Professor, University of Western Ontario