Category Archives: mkm2007

Chemistry in MathML and CML – comments?

[warning – WordPress is not very math/chem friendly so forgive formatting] Michael Kohlhase and I are trying to come up with a synthesis of MathML and CML for representing the numerical aspects fo chemistry. By chance we have started with … Continue reading

Posted in chemistry, mkm2007, programming for scientists, XML | 2 Comments

MathML and CML communities

I was delighted to meet old friends from the MathML/OpenMath community last week at Mathematical Knowledge Management 2007 – Patrick Ion, Robert Miner, James Davenport and Michael Kohlhase (apologies to any I have omitted). OpenMath (1993) was one of the … Continue reading

Posted in chemistry, mkm2007, programming for scientists, XML | Leave a comment

Blogging in science and mathematics

In a splendid post – reproduced in full (indented) – Kyle Finchsigmate highlights the difference between chemistry and other sciences. WTF is up with the Science blogosphere? 15:11 30/06/2007, Kyle Finchsigmate, sciency politics, The Chem Blog I [i.e. KF] was … Continue reading

Posted in "virtual communities", blueobelisk, mkm2007, open issues, www2007 | 3 Comments

Stochastic hyperslide at MKM2007

I have just given my presentation at Mathematical Knowledge Management 2007 for which I wrote an abstract about 2-3 months ago : Mathematics and scientific markup. I knew that in the intervevning time I would find something new to get … Continue reading

Posted in general, mkm2007 | 2 Comments

Synergy between "MKM"-math and "CML"

In this post I am using the context of the Mathematical Knowledge Management 2007 conference to try to construct similarities in the MathML and CML communities and their thought processes. I’ll show this list in my presentation tomorrow – I … Continue reading

Posted in chemistry, mkm2007, programming for scientists | Leave a comment

The Handbook of Integer Sequences

I am at the Mathematical Knowledge Management 2007 and having a wonderful time. At present Neil Sloane is talking about his marvellous On-Line Encyclopedia of Integer Sequences a collection of every known (and voluntarily communicated) sequence. e.g. what is next … Continue reading

Posted in mkm2007 | Leave a comment

OpenMath/MathML, CML and communities of practice

James Davenport – one of the originators of OpenMath is presenting the current status. (OpenMath and MathML are converging and although they are distinct I shall confalte them here). What is the formal semantics? OM has 4 flags: official experimental … Continue reading

Posted in chemistry, mkm2007 | Leave a comment

Towards Mechanized Mathematical Assistants (and the Scientist's Amanuensis)

I’m now at MKM2007 whose book[1] has the splendid title: Towards Mechanized Mathematical Assistants the vision that computers can work together with humans to enhance the the understanding of both parties. This vision has much in common with our own … Continue reading

Posted in mkm2007 | Leave a comment

Top-down or bottom-up ontologies?

I am working out some of the ideas I want to talk about at Mathematical Knowledge Management 2007 – and in this post I explore how a knowledge framework might be constructed, and also how it can be represented in … Continue reading

Posted in mkm2007 | Leave a comment

Mathematical Knowledge Management 2007

I have been invited to give a lecture at the Mathematical Knowledge Management 2007 meeting next week in Hagenberg, Austria. My talk is entitled Mathematics and scientific markup. I am both excited and apprehensive about this – what is a … Continue reading

Posted in mkm2007, semanticWeb | Leave a comment