### Archives

- December 2015
- November 2015
- September 2015
- May 2015
- April 2015
- January 2015
- December 2014
- November 2014
- September 2014
- August 2014
- July 2014
- June 2014
- May 2014
- April 2014
- March 2014
- February 2014
- January 2014
- December 2013
- November 2013
- October 2013
- September 2013
- August 2013
- July 2013
- May 2013
- April 2013
- March 2013
- February 2013
- January 2013
- December 2012
- November 2012
- October 2012
- September 2012
- August 2012
- July 2012
- June 2012
- May 2012
- April 2012
- March 2012
- February 2012
- January 2012
- December 2011
- November 2011
- October 2011
- September 2011
- August 2011
- July 2011
- May 2011
- April 2011
- March 2011
- February 2011
- January 2011
- December 2010
- November 2010
- October 2010
- September 2010
- August 2010
- July 2010
- June 2010
- May 2010
- April 2010
- August 2009
- July 2009
- June 2009
- May 2009
- April 2009
- March 2009
- August 2008
- July 2008
- June 2008
- May 2008
- April 2008
- March 2008
- February 2008
- January 2008
- December 2007
- November 2007
- October 2007
- September 2007
- August 2007
- July 2007
- June 2007
- May 2007
- April 2007
- December 2006
- November 2006
- October 2006
- September 2006

### Meta

# 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