From K.Balamuraly at spi-bpo.com Sat Jan 6 01:40:58 2007 From: K.Balamuraly at spi-bpo.com (Balamuraly, Kanthavelou) Date: Mon Jan 8 10:12:40 2007 Subject: [Webmath] TeX Equations in IE In-Reply-To: Message-ID: <2F568C48A80B404AA1D5FE53FE0CEDD73DA027@SPIINA1003S.spitech.com> Hello, How to view the TeX Equations in Internet Explorer? Can any one help me in this regard. Thanks, Bala From m.kohlhase at iu-bremen.de Tue Jan 9 00:23:32 2007 From: m.kohlhase at iu-bremen.de (Michm.kohlhase@iu-bremen.deael Kohlhase) Date: Tue Jan 9 15:25:18 2007 Subject: [Webmath] TeX Equations in IE In-Reply-To: <2F568C48A80B404AA1D5FE53FE0CEDD73DA027@SPIINA1003S.spitech.com> References: <2F568C48A80B404AA1D5FE53FE0CEDD73DA027@SPIINA1003S.spitech.com> Message-ID: <45A326D4.3050105@iu-bremen.de> Balamuraly, Kanthavelou wrote: >Hello, > >How to view the TeX Equations in Internet Explorer? > > If you want "TeX-Quality Equations" (not the same I know) then you should use Presentation MathML and Design Science's MathML plugin. Michael >Can any one help me in this regard. > >Thanks, >Bala > >_______________________________________________ >Webmath mailing list >Webmath@camel.math.ca >https://mail.cms.math.ca/mailman/listinfo/webmath > > From mkm07 at cs.bham.ac.uk Thu Jan 18 05:18:44 2007 From: mkm07 at cs.bham.ac.uk (mkm07@cs.bham.ac.uk) Date: Thu Jan 18 09:32:50 2007 Subject: [Webmath] Second Call for Papers MKM-2007 (Mathematical Knowledge Management) Message-ID: [Please post - apologies for multiple copies.] MKM 2007 Sixth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://www.cs.bham.ac.uk/~mmk/events/MKM07/ 27--30 June 2007 Hagenberg --- Austria SECOND CALL FOR PAPERS Mathematical Knowledge Management is an innovative field in the intersection of mathematics and computer science. Its development is driven on the one hand by the new technological possibilities which computer science, the internet, and intelligent knowledge processing offer, and on the other hand by the need for new techniques for managing the rapidly growing volume of mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. A (non-exclusive) list of important areas of current interest includes: Representation of mathematical knowledge Repositories of formalized mathematics Diagrammatic representations Mathematical search and retrieval Deduction systems Math assistants, tutoring and assessment systems Mathematical OCR Inference of semantics for semi-formalized mathematics Digital libraries Authoring languages and tools MathML, OpenMath, and other mathematical content standards Web presentation of mathematics Data mining, discovery, theory exploration Computer Algebra Systems Collaboration tools for mathematics INVITED SPEAKERS * Neil J. A. Sloane, AT&T Shannon Labs, Florham Park, New Jersey, USA: The On-Line Encyclopedia of Integer Sequences * Peter Murray-Rust, University of Cambridge, Department of Chemistry, Cambridge, UK: TBA The programme will be arranged that all attendees of MKM can also attend the talks by the invited speakers of Calculemus: * Thomas Hales, University of Pittsburgh * John Harrison, Intel Inc. * Peter Paule, RISC-Linz SUBMISSION The deadline for submissions of titles and abstracts is 1 March 2007, for that of full papers is 4 March 2007. [Deadline extended!] Submitted papers should not exceed 15 pages, must be original and not submitted for publication. Submission is via EasyChair. All papers submitted to the Conference will be reviewed. For submission details see http://www.cs.bham.ac.uk/~mmk/events/MKM07/submission.php. PROCEEDINGS We we will publish the proceedings in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI). Authors of accepted papers are expected to present their work at the conference. IMPORTANT DATES (note the extended deadline) 1 March 2007: Deadline for electronic submissions of title and abstract 4 March 2007: Deadline for electronic submissions of full papers 2 April 2007: Notification of acceptance/rejection 13 April 2007: Camera ready copies due 27-30 June 2007: Conference at RISC, Hagenberg, Austria CONFERENCE CHAIR Wolfgang Windsteiger PROGRAMME CO-CHAIRS Manfred Kerber Robert Miner LOCAL ORGANIZER Laura Kovacs PROGRAM COMMITTEE: Andrea Asperti University of Bologna, Italy Laurent Bernardin Maplesoft, Canada Jonathan Borwein Dalhousie University, Canada Thierry Bouche Universite de Grenoble I, France Bruno Buchberger Johannes Kepler University, Linz, Austria Paul Cairns University College London, England Olga Caprotti University of Helsinki, Finland Bruce Char Drexel University, Philadelphia, USA Simon Colton Imperial College, London, England Mike Dewar Numerical Algorithms Group, England William Farmer McMaster University, Canada Herman Geuvers Radboud University Nijmegen, The Netherlands Tetsuo Ida University of Tsukuba, Japan Mateja Jamnik University of Cambridge, England Fairouz Kamareddine Heriot-Watt University, Scotland Manfred Kerber University of Birmingham, England (co-chair) Michael Kohlhase International University Bremen, Germany Paul Libbrecht DFKI Saarbruecken, Germany Robert Miner Design Science, USA (co-chair) Bengt Nordstrom Chalmers University of Technology, Sweden Ross Reedstrom Rice University, USA Eugenio Rocha Universidade de Aveiro, Portugal Alan Sexton University of Birmingham, England Andrzej Trybulec University of Bialystok, Poland Stephen Watt University Western Ontario, Canada Abdou Youssef George Washington University, USA RELATED LINKS http://www.mkm-ig.org http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/ WORKSHOPS There will be affiliated workshops with the MKM and Calculemus conferences. If you are interested in organizing one, contact the co-chairs Manfred Kerber and Robert Miner at mkm07@cs.bham.ac.uk. From tchdongue at hotmail.fr Fri Feb 9 05:04:08 2007 From: tchdongue at hotmail.fr (francillette thierry) Date: Fri Feb 9 11:00:56 2007 Subject: [Webmath] Add informations about arithmetics progressions ruling primes Message-ID: Hello, Finding on the web, a mail I sent to webmath on May 2006 talking about equations ruling prime by studying why others weren't, I saw that the first one was wrote with an error : 3R+1 is prime if R(even) is not: (8+10n) + k(10+12n) or (16+14n)+ k(14+12n) and not"16n" When I talk about (n) growing with no end, I thought about greats factor but if the not wong formulas have been compute, people can see that (n) grow until a value like : n= ( t-1 ) , if from N = X1 * X2, X2 = 6* t + 1 6* t -1 In the same way fro X1 = 6* K +1 or -1, the final (k) is ( K-1 ). The advantage is to check about N/3 in the Altheyr R R (even) = (N-1)/3 or R(odd)= (N-2)/3 3R+2 is prime if R(odd) is not: (11+14n)+ k (10+12n) or (11+10n) + k (14+12n). If R is write as X + k* Y : Y = 2 * X2, with X2 = 7+6n or 5 + 6n If X2 = P + 6n with P = 6z+1 or 6z-1 , X = R - kY can be found by for ormulas for each of the four types of N = X1* X2 depending of combinate form of X, more or less 1. Checking with simple programms, I know I'm not wrong and it is a new way to study Primes, looking why Altheyr= R, of some N don't give a prime by 3R+1 or 3R+2. FRANCILLETTE Thierry _________________________________________________________________ D?couvrez le Blog heroic Fantaisy d'Eragon! http://eragon-heroic-fantasy.spaces.live.com/ From paul at activemath.org Mon Feb 12 09:04:15 2007 From: paul at activemath.org (Paul Libbrecht) Date: Mon Feb 12 09:22:18 2007 Subject: [Webmath] MathUI 2007: Workshop on Mathematical User Interfaces, Linz, Austria, June 2007 Message-ID: <45D073DF.8000309@activemath.org> :please distribute: :call for papers: workshop on Mathematical User Interfaces ---------------------------- at the Sixth Mathematical Knowledge Management Conference Schloss Hagenberg, Linz, Austria, June 27-30 2007 http://www.activemath.org/~paul/MathUI07/ SCOPE Building on the success and interest of the first and second MathUI workshops, this third one is intended to bring together researchers working on MKM but from the perspective of mathematics manipulated by end users. Accordingly, an emphasis is on providing users with interfaces and software systems that enhance their mathematical working experience. The topics of the workshop centre around, but are not restricted to: * presentation and manipulations mathematical knowledge * worklows induced by mathematical knowledge representations * human communication of mathematical content * user studies with MKM tools or other mathematical interfaces * novel, original or downright funky interfaces to mathematics software * interactive mathematics SUBMISSIONS AND DATES We are seeking submissions of either papers on and/or demonstrations of user interfaces for mathematics. Videos, prototypes, mock ups and any other sort of demonstration are welcome! Proceedings will be online. Submission format: article of 3-8 (printed) pages, in HTML or PDF format, which may include other electronic presentations such as videos or animations complemented by an abstract of less than 150 words. * Either submit a paper by email until May 10th 2007, or submit an abstract on May 1st and a paper presentation on the 15th. * Expect an answer on May 31st 2007. * Workshop to happen betwen June 27th and June 30th PROGRAMME COMMITTEE David Aspinall School of Informatics, University of Edinburgh, Scotland Paul Cairns UCL Interaction Center, University College London, Great Britain Olga Caprotti Research Institute for Symbolic Computation, Linz, Austria Anthony Jameson DFKI GmbH and International University, Germany Norbert Kajler Ecole Nationale Superieure des Mines de Paris, France Paul Libbrecht (organizer) Competence Center for E-Learning, DFKI GmbH, Saarbruecken, Germany Robert Miner Design Science, Long Beach, California, USA Elena Smirnova Ontario Research Center for Computer Algebra, London, Canada MORE INFORMATION More about MKM 2007 can be found at: http://www.cs.bham.ac.uk/~mmk/events/MKM07/ Up-to-date information can be read from the workshop's web-page http://www.activemath.org/~paul/MathUI07/ From M.Kerber at cs.bham.ac.uk Wed Feb 14 04:17:45 2007 From: M.Kerber at cs.bham.ac.uk (Manfred Kerber) Date: Wed Feb 14 09:34:59 2007 Subject: [Webmath] Final Call for Papers MKM-2007 (Mathematical Knowledge Management) Message-ID: <200702140930.l1E9Uuol024598@mail.cms.math.ca> MKM 2007 Sixth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://www.cs.bham.ac.uk/~mmk/events/MKM07/ 27--30 June 2007 RISC -- Hagenberg -- Austria FINAL CALL FOR PAPERS Mathematical Knowledge Management is an innovative field in the intersection of mathematics and computer science. Its development is driven on the one hand by the new technological possibilities which computer science, the internet, and intelligent knowledge processing offer, and on the other hand by the need for new techniques for managing the rapidly growing volume of mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. A (non-exclusive) list of important areas of current interest includes: Representation of mathematical knowledge Repositories of formalized mathematics Diagrammatic representations Mathematical search and retrieval Deduction systems Math assistants, tutoring and assessment systems Mathematical OCR Inference of semantics for semi-formalized mathematics Digital libraries Authoring languages and tools MathML, OpenMath, and other mathematical content standards Web presentation of mathematics Data mining, discovery, theory exploration Computer Algebra Systems Collaboration tools for mathematics INVITED SPEAKERS * Neil J. A. Sloane, AT&T Shannon Labs, Florham Park, New Jersey, USA: The On-Line Encyclopedia of Integer Sequences * Peter Murray-Rust, University of Cambridge, Department of Chemistry, Cambridge, UK: TBA The programme will be arranged that all attendees of MKM can also attend the talks by the invited speakers of Calculemus: * Thomas Hales, University of Pittsburgh * John Harrison, Intel Inc. * Peter Paule, RISC-Linz SUBMISSION The deadline for submissions of titles and abstracts is 1 March 2007, for that of full papers is 4 March 2007. [Deadline extended!] Submitted papers should not exceed 15 pages, must be original and not submitted for publication. Submission is via EasyChair. All papers submitted to the Conference will be reviewed. For submission details see http://www.cs.bham.ac.uk/~mmk/events/MKM07/submission.php. PROCEEDINGS We will publish the proceedings in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI). Authors of accepted papers are expected to present their work at the conference. IMPORTANT DATES (note the extended deadline) 1 March 2007: Deadline for electronic submissions of title and abstract 4 March 2007: Deadline for electronic submissions of full papers 2 April 2007: Notification of acceptance/rejection 13 April 2007: Camera ready copies due 27-30 June 2007: Conference at RISC, Hagenberg, Austria CONFERENCE CHAIR Wolfgang Windsteiger PROGRAMME CO-CHAIRS Manfred Kerber Robert Miner LOCAL ORGANIZER Laura Kovacs PROGRAM COMMITTEE: Andrea Asperti University of Bologna, Italy Laurent Bernardin Maplesoft, Canada Jonathan Borwein Dalhousie University, Canada Thierry Bouche Universite de Grenoble I, France Bruno Buchberger Johannes Kepler University, Linz, Austria Paul Cairns University College London, England Olga Caprotti University of Helsinki, Finland Bruce Char Drexel University, Philadelphia, USA Simon Colton Imperial College, London, England Mike Dewar Numerical Algorithms Group, England William Farmer McMaster University, Canada Herman Geuvers Radboud University Nijmegen, The Netherlands Tetsuo Ida University of Tsukuba, Japan Mateja Jamnik University of Cambridge, England Fairouz Kamareddine Heriot-Watt University, Scotland Manfred Kerber University of Birmingham, England (co-chair) Michael Kohlhase International University Bremen, Germany Paul Libbrecht DFKI Saarbruecken, Germany Robert Miner Design Science, USA (co-chair) Bengt Nordstrom Chalmers University of Technology, Sweden Ross Reedstrom Rice University, USA Eugenio Rocha Universidade de Aveiro, Portugal Alan Sexton University of Birmingham, England Andrzej Trybulec University of Bialystok, Poland Stephen Watt University Western Ontario, Canada Abdou Youssef George Washington University, USA RELATED LINKS http://www.mkm-ig.org http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/ WORKSHOPS The Mathematical User-Interfaces Workshop 2007 (MathUI07) takes place in conjunction with MKM 2007. For details see: http://www.activemath.org/~paul/MathUI07/ Further workshops are in discussion. If you want to organize one, contact the co-chairs at mkm07@cs.bham.ac.uk as soon as possible. -------------------------------------------------------------------------------- From adib.jebara at topnet.tn Wed Mar 21 02:09:37 2007 From: adib.jebara at topnet.tn (Adib Ben Jebara) Date: Wed Mar 21 09:02:57 2007 Subject: [Webmath] New research about the axiom of choice (and a web page) Message-ID: <01a101c76b87$e4aa46f0$0201a8c0@titanium> One reason why the negation of the axiom of choice is true As part of a complicated theory about a singularity, I wrote tentatively the following : We apply set theory with urelements ZFU to physical space of elementary particles; we consider locations as urelements, elements of U, in number infinite. Ui is a subset of U with number of elements n. XiUi is the infinite cartesian product and a set of paths. Let us consider the set of paths of all elementary particles-locations which number is n. If n is greater than m in CC(2 through m), countable choice for k elements sets k=2 through m, the set of paths will be the void set. So, after an infinite time, physical space would become void, the universe would collapse and a Big Crunch would happen. The matter would have to go somewhere and indeed the Big Bang happened. So, n is indeed greater than m. Let us notice that physical space is infinite. It's rather complicated but what do you think ? Isn't it a proof that the negation of the axiom of choice is true ? It is like the non-euclidian geometry which is known in physics as true. Mr Andreas Blass wrote me that I have a right to an opinion but I am not convincing him. Regards, Adib Ben Jebara. jebara.topcities.com if adib.jebara@topnet.tn does not work, please use ajebara2001@yahoo.com From paul at activemath.org Fri May 4 18:41:11 2007 From: paul at activemath.org (Paul Libbrecht) Date: Fri May 4 18:41:16 2007 Subject: [Webmath] MathUI 2007: second CfP for Mathematical User-Interfaces 2007 Message-ID: :please distribute: :call for papers: workshop on Mathematical User Interfaces ---------------------------- at the Sixth Mathematical Knowledge Management Conference Schloss Hagenberg, Linz, Austria, June 27th 2007 http://www.activemath.org/~paul/MathUI07/ SCOPE Building on the success and interest of the first and second MathUI workshops, this third one is intended to bring together researchers working on MKM but from the perspective of mathematics manipulated by end users. Accordingly, an emphasis is on providing users with interfaces and software systems that enhance their mathematical working experience. The topics of the workshop centre around, but are not restricted to: * presentation and manipulations mathematical knowledge * worklows induced by mathematical knowledge representations * human communication of mathematical content * user studies with MKM tools or other mathematical interfaces * novel, original or downright funky interfaces to mathematics software * interactive mathematics GUEST SPEAKER We have invited Jean-Fran?ois Nicaud to present his work about Aplusix an algebra editor and exerciser featuring mathematical direct manipulations. Jean-Fran?ois Nicaud is professor of computer science at the University of Grenoble 1 SUBMISSIONS AND DATES We are seeking submissions of either papers on and/or demonstrations of user interfaces for mathematics. Videos, prototypes, mock ups and any other sort of demonstration are welcome! Proceedings will be online. Submission format: article of 3-8 (printed) pages, in HTML or PDF format, which may include other electronic presentations such as videos or animations complemented by an abstract of less than 150 words. Demonstrations should be submitted with a few lines of descriptions and a URL. Dates: * Either submit a paper by email until May 10th 2007, or submit an abstract on May 1st and a paper on the 15th. * Expect an answer on May 31st 2007. * Submit a software demonstration until June 10th * Workshop to happen betwen June 27th and June 30th Post proceedings: Selected papers will be invited for a revised version to be published in the Journal of Online Mathematics and its Applications (joma.org); the selection process will be based on quality and common relevance to the journal's topic. PROGRAMME COMMITTEE David Aspinall School of Informatics, University of Edinburgh, Scotland Paul Cairns UCL Interaction Center, University College London, Great Britain Olga Caprotti Research Institute for Symbolic Computation, Linz, Austria Anthony Jameson DFKI GmbH and International University, Germany Norbert Kajler Ecole Nationale Superieure des Mines de Paris, France Paul Libbrecht (organizer) Competence Center for E-Learning, DFKI GmbH, Saarbruecken, Germany Robert Miner Design Science, Long Beach, California, USA Elena Smirnova Ontario Research Center for Computer Algebra, London, Canada MORE INFORMATION More about MKM 2007 can be found at: http://www.cs.bham.ac.uk/~mmk/events/MKM07/ Up-to-date information can be read from the workshop's web-page http://www.activemath.org/~paul/MathUI07/ From mkm07 at cs.bham.ac.uk Fri May 4 06:55:21 2007 From: mkm07 at cs.bham.ac.uk (mkm07@cs.bham.ac.uk) Date: Mon May 7 09:38:28 2007 Subject: [Webmath] MKM07 Call-for-Participation Message-ID: <200705041453.l44ErMqs008637@mail.cms.math.ca> MKM 2007 Sixth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://www.cs.bham.ac.uk/~mmk/events/MKM07/ 27--30 June 2007 RISC -- Hagenberg -- Austria CALL FOR PARTICIPATION Mathematical Knowledge Management is an innovative field in the intersection of mathematics and computer science. Its development is driven on the one hand by the new technological possibilities which computer science, the internet, and intelligent knowledge processing offer, and on the other hand by the need for new techniques for managing the rapidly growing volume of mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. INVITED SPEAKERS * Neil J. A. Sloane, AT&T Shannon Labs, Florham Park, New Jersey, USA: The On-Line Encyclopedia of Integer Sequences * Peter Murray-Rust, Univ. of Cambridge, Department of Chemistry, UK: Mathematics and scientific markup WORKSHOPS * Mathematical User-Interfaces Workshop 2007 (MathUI07) * 8th OpenMath Meeting * W3C Math Working Group Face-to-Face Meeting EARLY REGISTRATION 13 MAY 2007 FURTHER INFORMATION on the workshops, the exciting programme and early registration can be found from http://www.cs.bham.ac.uk/~mmk/events/MKM07/ -------------------------------------------------------------------------------- From ashley at flatlandthemovie.com Thu May 24 17:13:41 2007 From: ashley at flatlandthemovie.com (Ashley Smith) Date: Fri May 25 10:00:58 2007 Subject: [Webmath] Abbott's Flatland made into educational film! Message-ID: <5l7mc2$7desk8@ironman.mail.utexas.edu> The project is based on Edwin A. Abbott's classic novel Flatland: A Romance of Many Dimensions. Flatland is a world that exists entirely on a two-dimensional plane. All different kinds of shapes live, work and play in this world. This is the story of how Arthur Square (MARTIN SHEEN) and his six-sided granddaughter Hex travel to a world that most Flatlanders consider ridiculous and blasphemous -- the 3rd dimension. Flatland will be a thirty minute animated story that includes action, drama, and geometry lessons. This heartfelt movie challenges audiences to grasp the limitations of our own assumptions about reality, and to think about the idea of higher dimensions. The project will be completed in 2007. The program is part of an educational DVD to be used by teachers in the classroom. Visit www.flatlandthemovie.com for more information! -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20070524/1b7795cd/attachment.htm From ttl_v at yahoo.com.cn Mon Jun 11 23:01:28 2007 From: ttl_v at yahoo.com.cn (=?gb2312?B?1cUg4+XLrg==?=) Date: Wed Jun 13 15:02:26 2007 Subject: [Webmath] how to mathml such equation for presentation?thx Message-ID: <551581.4642.qm@web15702.mail.cnb.yahoo.com> Skipped content of type multipart/alternative-------------- next part -------------- A non-text attachment was scrubbed... Name: =?utf-8?q?matrix.GIF?= Type: image/gif Size: 2965 bytes Desc: not available Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20070612/755aef6c/utf-8qmatrix.gif From davidc at nag.co.uk Wed Jun 13 16:18:39 2007 From: davidc at nag.co.uk (David Carlisle) Date: Wed Jun 13 16:25:25 2007 Subject: [Webmath] how to mathml such equation for presentation?thx In-Reply-To: <551581.4642.qm@web15702.mail.cnb.yahoo.com> (message from =?gb2312?B?1cUg4+XLrg==?= on Tue, 12 Jun 2007 11:01:28 +0800 (CST)) References: <551581.4642.qm@web15702.mail.cnb.yahoo.com> Message-ID: <200706132018.l5DKId39031928@edinburgh.nag.co.uk> it looks like you want ..... see mathml spec, section 3.5.1.2, David ________________________________________________________________________ The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. This e-mail has been scanned for all viruses by Star. The service is powered by MessageLabs. ________________________________________________________________________ From davidc at nag.co.uk Thu Jun 21 11:18:18 2007 From: davidc at nag.co.uk (David Carlisle) Date: Thu Jun 21 11:18:24 2007 Subject: [Webmath] Re: Webmath Digest, Vol 3, Issue 11 In-Reply-To: <714841.42517.qm@web94304.mail.in2.yahoo.com> (message from poonam arora on Thu, 21 Jun 2007 15:25:13 +0100 (BST)) References: <714841.42517.qm@web94304.mail.in2.yahoo.com> Message-ID: <200706211518.l5LFIIkB015984@edinburgh.nag.co.uk> > please tell me from where I got proper material regarding these > topics.You had told me to see mathml spec. section 3..5.1.2 http://www.w3.org/TR/MathML2/chapter3.html#id.3.5.1.2 David ________________________________________________________________________ The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. This e-mail has been scanned for all viruses by Star. The service is powered by MessageLabs. ________________________________________________________________________ From kyanh at o2.pl Mon Jul 2 23:38:53 2007 From: kyanh at o2.pl (kyanh) Date: Tue Jul 3 12:07:38 2007 Subject: [Webmath] mathml: cannot view the brackets (,),... Message-ID: <4689C4CD.1000905@o2.pl> Hello all, Please forgive me if this message (mathML realated) bothers the list. I installed succesfully MathML fonts for my browsers (flock, bon echo / firefox in Current Arch Linux, http://archlinux.org ). My setting in prefs.js: user_pref("font.mathfont-family", "Math1, Math2, Math4, Symbol"); I note that the brackets (and similar things ) arenot displayed correctly (see images). Could you please help me fix this problem? Thank you so much! -- kyanh @ Vietnamese TeX Users Group test page: http://w3.org/Math/XSL/pmathml2.xml in Flock 0.7.14 (Gecko/20070531 Firefox/1.5.0.12 Flock/0.7.14): http://img512.imageshack.us/img512/9831/mathmlfailedvl9.jpg test page: http://www.mozilla.org/projects/mathml/demo/basics.xhtml in BonEcho 2.0.0.4 (Gecko/20070531): http://img507.imageshack.us/img507/3462/mathmlfailed2rb8.jpg From paul at activemath.org Wed Jul 4 04:16:15 2007 From: paul at activemath.org (Paul Libbrecht) Date: Wed Jul 4 04:45:11 2007 Subject: [Webmath] mathml: cannot view the brackets (,),... In-Reply-To: <4689C4CD.1000905@o2.pl> References: <4689C4CD.1000905@o2.pl> Message-ID: <09CA3978-270B-407F-987B-C079DBF55223@activemath.org> Kyanh, you should certainly post this to a place more MathML specific or even Mozilla specific. The general www-math mailing list about MathML could be a good starting point. http://lists.w3.org/Archives/Public/www-math/ For Mozilla specific, which it is somehow (kind of Linux specific as well), the MathML-project page http://www.mozilla.org/projects/ mathml/ lists two discussion forums... you could use these as well. paul Le 3 juil. 07 ? 05:38, kyanh a ?crit : > Hello all, > > Please forgive me if this message (mathML realated) bothers the list. > > I installed succesfully MathML fonts for my browsers (flock, bon > echo / firefox in Current Arch Linux, http://archlinux.org ). My > setting in prefs.js: > > user_pref("font.mathfont-family", "Math1, Math2, Math4, Symbol"); > > I note that the brackets (and similar things ) arenot displayed > correctly (see images). > > Could you please help me fix this problem? > > Thank you so much! > > -- kyanh @ Vietnamese TeX Users Group > > test page: http://w3.org/Math/XSL/pmathml2.xml > > in Flock 0.7.14 (Gecko/20070531 Firefox/1.5.0.12 Flock/0.7.14): > http://img512.imageshack.us/img512/9831/mathmlfailedvl9.jpg > > test page: http://www.mozilla.org/projects/mathml/demo/basics.xhtml > > in BonEcho 2.0.0.4 (Gecko/20070531): > http://img507.imageshack.us/img507/3462/mathmlfailed2rb8.jpg > > _______________________________________________ > Webmath mailing list > Webmath@camel.math.ca > https://mail.cms.math.ca/mailman/listinfo/webmath > -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 2203 bytes Desc: not available Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20070704/18346f9c/smime.bin From tchdongue at hotmail.fr Thu Sep 13 06:00:18 2007 From: tchdongue at hotmail.fr (francillette thierry) Date: Fri Sep 14 09:47:51 2007 Subject: [Webmath] Goldbach's Conjecture Message-ID: Francillette thierry's new mail: Black Goldbach Hello, It s Known that X^2 - ( X1 + X2 )*X + ( X1*X2) = 0 (1), is used to check solutions of ax^2 + bx + c = 0. With X1 = ( S + ( S^2 - 4*P)^.5)/2 and X2 = ( S - ( S^2 - 4*P)^.5)/2 S = X1 + X2, P = X1*X2 we have S^2 - 4*P > 0 with S>2*P^.5 Working in a diophantine issue : S >= 2[P^.5]+2 = S minimum . (Smin) If X1 and X2 are odds primes, ( X1+X2) is even and (P) is the product of two primes such as (1) is true. Primes exist with no end (Euclide), Evens Sums of two primes too. Each couple of odds primes is connected to their sum in (1) and each sum of two primes, it mean an even value, check it with the corresponding product. We can say that, through (1), All even number (>= 6) is sum of two primes (with P >=9), because three is the more little odd prime. But X^2 - 4*X + 4 = 0 with X1+X2 = X1 * X2 = 4 and X1=X2=4 Well, number two is the only even prime, So, as Goldbach told it ( summarised by Euler) : All even number (>= 4) is sum of two primes. If we have (P) , product of two primes, it is possible to find X1 and X2, by checking the evens values from (Smin) until S=X1+X2 giving X1 and X2 integers. It is less known that X2^2 - (X1-X2)*X - P = 0 , it mean a negative sign before P, work too, with what I called the Black Delta = bd= X1 - X2 scanned from the minimum = 2, corresponding to twins primes. with X1 = ( bd + ( bd^2 + 4P)^.5) / 2 and X2 ... It is obvious that big numbers, product of two primes, create big value (S) and (bd). But scan of them can be reduced by knwoing particulars congruences linked to the prime form 6x more or less 1, giving four forms of products ( pjboadll arithmetics progressions from a precedent mail ...) We just have to imagine thousands computers working on it ... FRANCILLETTE thierry _________________________________________________________________ Ten : Messenger en illimit? sur votre mobile ! http://mobile.live.fr/messenger/ten/ From M.Kerber at cs.bham.ac.uk Thu Sep 13 08:19:41 2007 From: M.Kerber at cs.bham.ac.uk (Manfred Kerber) Date: Fri Sep 14 09:50:05 2007 Subject: [Webmath] 1st CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007) Message-ID: <200709131346.l8DDkfZ9018783@mail.cms.math.ca> CALL FOR PAPERS FOR A SPECIAL ISSUE OF MATHEMATICS IN COMPUTER SCIENCE on MANAGEMENT OF MATHEMATICAL KNOWLEDGE http://www.cs.bham.ac.uk/~mmk/events/mcs/ Guest Editor: Manfred Kerber, University of Birmingham, England Following the very successful Sixth International Conference on Mathematical Knowledge Management at RISC in Hagenberg, Austria, in June 2007 we invite submissions to a special issue of Mathematics in Computer Science, a new journal launched by Birkhaeuser/Springer. We solicit for any high-quality original research paper that substantially extends ideas and topics presented at MKM07. Potential contributors may contact the guest editor to discuss the suitability of topics and papers. Typical relevant topics are: * Representation of mathematical knowledge * Repositories of formalized mathematics * Diagrammatic representations * Mathematical search and retrieval * Deduction systems * Math assistants, tutoring and assessment systems * Mathematical OCR * Inference of semantics for semi-formalized mathematics * Digital libraries * Authoring languages and tools * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics Submission Guidelines: A submission should contain the title and abstract of the paper in plain text, the name and e-mail address of the communicating author and a PDF or PostScript file as e-mail attachment and be sent to the guest editor with subject line "mcs-issue". If accepted LaTeX sources must be provided. While there is no strict page limit, papers are expected to be approximately 20 pages long. Contributions must be substantially extended compared to the work published in the MKM proceedings. For details follow the link on the web page of the special issue (see above). All submitted papers will be refereed according to the usual MCS refereeing process. To aid planning and organization, an early e-mail of intent to submit a paper (including author information, a tentative title and abstract, and an estimated number of pages) would be appreciated. Important Dates: Submission deadline: 15 December 2007 Notification of acceptance/rejection: 24 February 2008 Submission of revised versions: 15 March 2008 Delivery of camera-ready copies: 15 April 2008 Publication of special issue: July/August 2008 +---------------------------------------------------------------+ | Manfred Kerber URL: www.cs.bham.ac.uk/~mmk | | School of Computer Science e-mail: M.Kerber@cs.bham.ac.uk | | The University of Birmingham Tel.: (+44)-121-414-4787 | | Birmingham, B15 2TT, England Fax.: (+44)-121-414-4281 | +---------------------------------------------------------------+ From szgaljic at gmail.com Sun Sep 16 16:59:34 2007 From: szgaljic at gmail.com (Steven Zgaljic) Date: Mon Sep 17 09:55:46 2007 Subject: [Webmath] Hello Message-ID: Hello all, I am interested in finding a Mathematics Mailing list for discussion regarding general Math (mainly revolving around basic college level Physics). I am not sure if this is the target mailing list I am searching for. Thank you. -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20070916/5184b752/attachment.htm From rslace at waycross.edu Mon Sep 17 13:09:53 2007 From: rslace at waycross.edu (Roberta S Lacefield) Date: Mon Sep 17 13:26:53 2007 Subject: [Webmath] Re: Webmath Digest, Vol 3, Issue 15 In-Reply-To: <200709171601.l8HG1qCI032645@mail.cms.math.ca> References: <200709171601.l8HG1qCI032645@mail.cms.math.ca> Message-ID: <200709171709.l8HH9r829778@wayfox.waycross.edu> You might try AMATYC to see if they have a list. AMATYC is the association for two-year colleges (and the core curriculum) where a course like this is generally taught. At 12:01 PM 9/17/2007, you wrote: >Send Webmath mailing list submissions to > webmath@camel.math.ca > >To subscribe or unsubscribe via the World Wide Web, visit > https://mail.cms.math.ca/mailman/listinfo/webmath >or, via email, send a message with subject or body 'help' to > webmath-request@camel.math.ca > >You can reach the person managing the list at > webmath-owner@camel.math.ca > >When replying, please edit your Subject line so it is more specific >than "Re: Contents of Webmath digest..." > > >Today's Topics: > > 1. Hello (Steven Zgaljic) > > >---------------------------------------------------------------------- > >Message: 1 >Date: Sun, 16 Sep 2007 13:59:34 -0700 >From: "Steven Zgaljic" >Subject: [Webmath] Hello >To: webmath@camel.math.ca >Message-ID: > >Content-Type: text/plain; charset="iso-8859-1" > >Hello all, > >I am interested in finding a Mathematics Mailing list for discussion >regarding general Math (mainly revolving around basic college level >Physics). I am not sure if this is the target mailing list I am searching >for. > >Thank you. >-------------- next part -------------- >An HTML attachment was scrubbed... >URL: >https://mail.cms.math.ca/pipermail/webmath/attachments/20070916/5184b752/attachment-0001.htm > >------------------------------ > >_______________________________________________ >Webmath mailing list >Webmath@camel.math.ca >https://mail.cms.math.ca/mailman/listinfo/webmath > > >End of Webmath Digest, Vol 3, Issue 15 >************************************** ________________________________________ ROBERTA S. LACEFIELD, ED.S Associate Professor of Mathematics Waycross College 2001 S. Georgia Pkwy Waycross, GA 31503 USA Work: 912 285-6140 Fax: 912 338-5276 rslace@waycross.edu http://www.waycross.edu/faculty/rslace/ ________________________________________ -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20070917/68f6d83c/attachment.htm From herme at fi.upm.es Sun Oct 7 18:36:10 2007 From: herme at fi.upm.es (Manuel Hermenegildo) Date: Tue Oct 9 11:13:24 2007 Subject: [Webmath] FLOPS 2008 - Final CFP - Deadline: Oct 10 / Oct 17 (extended!) Message-ID: <18185.24410.863689.661257@localhost.localdomain> (Apologies for multiple postings.) FINAL CALL FOR PAPERS Ninth International Symposium on Functional and Logic Programming (FLOPS 2008) April 14-16, 2008 Ise, Japan Submission deadline (abstract): October 10, 2007 Submission deadline (full paper, extended!): October 17, 2007 Keynotes: Peter Dybjer, Naoki Kobayashi, and Torsten Schaub http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), and Fuji Susono (2006). TOPICS FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to): Declarative Pearls: new and excellent declarative programs with illustrative applications; Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing; Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems; Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism; Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings are expected to be published as an LNCS volume. The proceedings of the previous meeting (FLOPS2006) were published as LNCS 3945. INVITED SPEAKERS Peter Dybjer (Chalmers, Sweden) Naoki Kobayashi (Tohoku, Japan) Torsten Schaub (Potsdam, Germany) PC CO-CHAIRS Jacques Garrigue (Nagoya, Japan) Manuel Hermenegildo (Madrid, Spain and New Mexico, USA) PC MEMBERS Maria Alpuente (Valencia, Spain) Sergio Antoy (Portland, OR, USA) Matthias Blume (TTI, Chicago, USA) Tyng-Ruey Chuang (Academia Sinica, Taiwan) Zhenjiang Hu (Tokyo, Japan) Oleg Kiselyov (FNMOC, Monterey, USA) Herbert Kuchen (Muenster, Germany) Dale Miller (INRIA, Palaiseau, France) Atsushi Ohori (Tohoku, Japan) Enrico Pontelli (New Mexico, USA) Kristoffer Rose (IBM Watson, USA) Kazunori Ueda (Waseda, Japan) Peter Van Roy (Louvain-la-Neuve, Belgium) Benjamin Werner (INRIA, Palaiseau, France) LOCAL CHAIR Shoji Yuen (Nagoya, Japan) SUBMISSION Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Submission is Web-based. Please visit: http://www.easychair.org/FLOPS2008 IMPORTANT DATES Submission deadline (abstract): October 10, 2007 Submission deadline (full paper): October 17, 2007 Author notification: December 21, 2007 Camera-ready copy: January 21, 2008 Conference: April 14-16, 2008 PLACE Ise, Japan Previous FLOPS: FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/ FLOPS 2004, Nara: http://logic.cs.tsukuba.ac.jp/FLOPS2004/ FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/ FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/ SPONSOR Japan Society for Software Science and Technology (JSSST) SIG-PPL IN COOPERATION with Asian Association for Foundation of Software (AAFS) Association for Logic Programming (ALP) ACM SIGPLAN (pending) INQUIRIES to -- ------------------------------------------------------------------------------- Manuel Hermenegildo | Prof., C.S. Department Director, IMDEA-Software and CLIP Group | T.U. of Madrid (UPM) http://www.cliplab.org/herme | +34-91-336-7435 (W) -352-4819 (Fax) ------------------------------------------------------------------------------- From M.Kerber at cs.bham.ac.uk Thu Nov 1 06:40:12 2007 From: M.Kerber at cs.bham.ac.uk (Manfred Kerber) Date: Thu Nov 1 10:08:11 2007 Subject: [Webmath] 2nd CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007) Message-ID: <200711011040.lA1AeCdS005597@acws-0149.cs.bham.ac.uk> ------- Blind-Carbon-Copy To: M.Kerber@cs.bham.ac.uk Subject: 2nd CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007) Date: Thu, 01 Nov 2007 10:40:12 +0000 From: Manfred Kerber CALL FOR PAPERS FOR A SPECIAL ISSUE OF MATHEMATICS IN COMPUTER SCIENCE on MANAGEMENT OF MATHEMATICAL KNOWLEDGE http://www.cs.bham.ac.uk/~mmk/events/mcs/ Guest Editor: Manfred Kerber, University of Birmingham, England Following the very successful Sixth International Conference on Mathematical Knowledge Management at RISC in Hagenberg, Austria, in June 2007 we invite submissions to a special issue of Mathematics in Computer Science, a new journal launched by Birkhaeuser/Springer. We solicit for any high-quality original research paper that substantially extends ideas and topics presented at MKM07. Potential contributors may contact the guest editor to discuss the suitability of topics and papers. Typical relevant topics are: * Representation of mathematical knowledge * Repositories of formalized mathematics * Diagrammatic representations * Mathematical search and retrieval * Deduction systems * Math assistants, tutoring and assessment systems * Mathematical OCR * Inference of semantics for semi-formalized mathematics * Digital libraries * Authoring languages and tools * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics Submission Guidelines: A submission should contain the title and abstract of the paper in plain text, the name and e-mail address of the communicating author and a PDF or PostScript file as e-mail attachment and be sent to the guest editor with subject line "mcs-issue". If accepted LaTeX sources must be provided. While there is no strict page limit, papers are expected to be approximately 20 pages long. Contributions must be substantially extended compared to the work published in the MKM proceedings. For details follow the link on the web page of the special issue (see above). All submitted papers will be refereed according to the usual MCS refereeing process. To aid planning and organization, an early e-mail of intent to submit a paper (including author information, a tentative title and abstract, and an estimated number of pages) would be appreciated. Important Dates: Submission deadline: 15 December 2007 Notification of acceptance/rejection: 24 February 2008 Submission of revised versions: 15 March 2008 Delivery of camera-ready copies: 15 April 2008 Publication of special issue: July/August 2008 +---------------------------------------------------------------+ | Manfred Kerber URL: www.cs.bham.ac.uk/~mmk | | School of Computer Science e-mail: M.Kerber@cs.bham.ac.uk | | The University of Birmingham Tel.: (+44)-121-414-4787 | | Birmingham, B15 2TT, England Fax.: (+44)-121-414-4281 | +---------------------------------------------------------------+ ------- End of Blind-Carbon-Copy From Serge.Autexier at dfki.de Thu Nov 29 07:25:18 2007 From: Serge.Autexier at dfki.de (Serge Autexier) Date: Thu Nov 29 09:38:11 2007 Subject: [Webmath] MKM'08: First Call for Papers and Workshops Message-ID: <474eafae.zks8a80kZDtlBc1W%Serge.Autexier@dfki.de> [Please post - apologies for multiple copies] MKM 2008 The Seventh International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://events.cs.bham.ac.uk/cicm08/mkm08/ 28-30 July 2008 Birmingham, UK FIRST CALL FOR PAPERS AND WORKSHOPS Mathematical Knowledge Management is an innovative field at the intersection of mathematics, computer science, library science, and scientific publishing. Its development is driven by on the one hand new technological possibilities which computer science, the Internet, and intelligent knowledge processing offer, and on the other hand the increasing demand by engineers and scientists for new techniques for producing, transmitting, consuming, and managing sophisticated mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. Topics covered include, but are not limited to: Representations of mathematical knowledge Repositories of formalized mathematics Mathematical digital libraries Diagrammatic representations Multi-modal representations Mathematical OCR Mathematical search and retrieval Deduction systems Math assistants, tutoring and assessment systems Authoring languages and tools MathML, OpenMath, and other mathematical content standards Web presentation of mathematics Data mining, discovery, theory exploration Computer Algebra Systems Collaboration tools for mathematics Challenges and Solutions for Mathematical workflows PAPER SUBMISSIONS All papers submitted to the Conference will be reviewed. Submission is electronic in Postscript or PDF format via the EasyChair system (http://www.easychair.org/MKM08). Submitted papers must conform to the Springer LNCS style, preferably using LaTeX2e and the Springer llncs class files available at http://www.springer.com/lncs. Submitted papers should not exceed 15 pages, must be original and not submitted for publication. Submission website: http://www.easychair.org/MKM08 PROCEEDINGS The conference proceedings will be published in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI). WORKSHOPS The following workshops take place in conjunction with MKM 2008: * The "Mathematical User-Interfaces" Workshop 2008 (MathUI08), which is organized by Paul Libbrecht. * A Workshop "Towards Future Digital Mathematics Libraries", which is organized by Petr Sojka. If you are interested in organizing one, contact the co-chairs Serge Autexier and Masakazu Suzuki at mkm08@ags.uni-sb.de as soon as possible. IMPORTANT DATES Submission of title and abstract: March 7, 2008 Submission of full papers: March 14, 2008 Notification: May 2, 2008 Camera ready version: May 16, 2008 Conference in Birmingham: July 28-30, 2008 PROGRAM COMMITTEE Andrea Asperti University of Bologna, Italy Serge Autexier (Co-Chair) DFKI Saarbruecken & Saarland University., Germany Laurent Bernardin Maplesoft, Canada Thierry Bouche Universite de Grenoble I, France Paul Cairns University College London, England Olga Caprotti University of Helsinki, Finland Simon Colton Imperial College, London, England Mike Dewar NAG Ltd., England William Farmer McMaster University, Hamilton, Canada Herman Geuvers Radboud University Nijmegen, The Netherlands Eberhard Hilf Inst. for Science Networking Oldenburg, Germany Tetsuo Ida University of Tsukuba, Japan Mateja Jamnik University of Cambridge, England Fairouz Kamareddine Heriot-Watt University, Scotland Manfred Kerber University of Birmingham, England Michael Kohlhase Jacobs University Bremen, Germany Paul Libbrecht DFKI Saarbruecken, Germany Bruce Miller NIST, USA Robert Miner Design Science, Inc., USA Bengt Nordstroem Chalmers University of Technology, Sweden Eugenio Rocha University of Aveiro, Portugal Alan Sexton University of Birmingham, England Petr Sojka Masaryk University, Brno, CZ Volker Sorge University of Birmingham, England Masakazu Suzuki (Co-Chair) Kyushu University, Japan Andrzej Tryblec University of Bialystok, Poland Stephen Watt The University of Western Ontario, Canada Abdou Youssef George Washington University, Washington DC, USA CONFERENCE CHAIR Volker Sorge University of Birmingham, England RELATED LINKS MKM IG http://www.mkm-ig.org/ Calculemus'08 http://events.cs.bham.ac.uk/cicm08/calculemus08/ AISC'08 http://events.cs.bham.ac.uk/cicm08/aisc08/ CICM'08 http://events.cs.bham.ac.uk/cicm08 -- Serge Autexier Tel: +49-681-302-2133 DFKI GmbH & Fax: +49-681-302-5076 Informatics, Saarland University Email: autexier@dfki.de 66123 Saarbruecken WWW: www.dfki.de/~serge/ From M.Kerber at cs.bham.ac.uk Wed Dec 5 17:13:21 2007 From: M.Kerber at cs.bham.ac.uk (Manfred Kerber) Date: Thu Dec 6 16:24:38 2007 Subject: [Webmath] Final CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007) Message-ID: <200712052213.lB5MDLB1029469@acws-0149.cs.bham.ac.uk> ------- Blind-Carbon-Copy To: M.Kerber Subject: Final CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007) Date: Wed, 05 Dec 2007 22:13:21 +0000 From: Manfred Kerber FINAL CALL FOR PAPERS FOR A SPECIAL ISSUE OF MATHEMATICS IN COMPUTER SCIENCE on MANAGEMENT OF MATHEMATICAL KNOWLEDGE http://www.cs.bham.ac.uk/~mmk/events/mcs/ Guest Editor: Manfred Kerber, University of Birmingham, England Following the very successful Sixth International Conference on Mathematical Knowledge Management at RISC in Hagenberg, Austria, in June 2007 we invite submissions to a special issue of Mathematics in Computer Science, a new journal launched by Birkhaeuser/Springer. We solicit for any high-quality original research paper that substantially extends ideas and topics presented at MKM07. Potential contributors may contact the guest editor to discuss the suitability of topics and papers. Typical relevant topics are: * Representation of mathematical knowledge * Repositories of formalized mathematics * Diagrammatic representations * Mathematical search and retrieval * Deduction systems * Math assistants, tutoring and assessment systems * Mathematical OCR * Inference of semantics for semi-formalized mathematics * Digital libraries * Authoring languages and tools * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics Submission Guidelines: A submission should contain the title and abstract of the paper in plain text, the name and e-mail address of the communicating author and a PDF or PostScript file as e-mail attachment and be sent to the guest editor with subject line "mcs-issue". If accepted LaTeX sources must be provided. While there is no strict page limit, papers are expected to be approximately 20 pages long. Contributions must be substantially extended compared to the work published in the MKM proceedings. For details follow the link on the web page of the special issue (see above). All submitted papers will be refereed according to the usual MCS refereeing process. To aid planning and organization, an early e-mail of intent to submit a paper (including author information, a tentative title and abstract, and an estimated number of pages) would be appreciated. Important Dates: Submission deadline: 15 December 2007 Notification of acceptance/rejection: 24 February 2008 Submission of revised versions: 15 March 2008 Delivery of camera-ready copies: 15 April 2008 Publication of special issue: July/August 2008 +---------------------------------------------------------------+ | Manfred Kerber URL: www.cs.bham.ac.uk/~mmk | | School of Computer Science e-mail: M.Kerber@cs.bham.ac.uk | | The University of Birmingham Tel.: (+44)-121-414-4787 | | Birmingham, B15 2TT, England Fax.: (+44)-121-414-4281 | +---------------------------------------------------------------+ ------- End of Blind-Carbon-Copy