Blogs

Blogs and Wikis of the KWARC group

• The “KWARC was!” blog
• Michael Kohlhase's blog
• Octav Druta's Wyzbook blog
• The MathWeb wiki

Click on the [+] to see a preview of the a post. Click on the title of a post to go to the blog and read the whole post.

KWARC was!

• [+] What is an ontology? (Christine in “KWARC was!”, 20 Aug)
  
  Christoph recently send me this article and since I found it really helpful, I am posting it to the blog: Some great W3C explanations of basic ontology concepts Cheers, Christine
• [+] Do Mathematicians really need/ want/ use/ accept (Mathematical) Software? (Christine in “KWARC was!”, 30 Jul)
  
  Hypotheses: Mathematical Software needs MoC (well at least that was what I was going to show) Evidence: I am referring to software that helps finding a proof, that supports the iterative process of adding proving steps and deleting them again, that is the tedious process of slowly approaching the proof in a notation one is satisfied [...]
• [+] Message from Calculemus (Christine in “KWARC was!”, 30 Jul)
  
  James Davenport’s plea for providing more insights on the proof and how one got it done and … if a computer can’t solve it, is it really not provable. Shouldn’t it rather return “I can’t solve it”? An interesting comment wrt. to the fact that William Farmer and Alan Bundy pointed me to, that is that [...]
• [+] Message from MKM: Kantian Philosophy (Christine in “KWARC was!”, 30 Jul)
  
  Aaron Sloman: Talk is online. His work also emphasize the need of not enforcing representation and practice but taking existing evolutions and, in particular, philosophy into account. So is this a motivation for me to look at mathematical philosophy for understanding mathematical practice?
• [+] Message from MKM: Mathematical Exercises (Christine in “KWARC was!”, 30 Jul)
  
  There are multiple solution to a mathematical exercise: 8 ways for Three by One Different numbers of proving steps: see MKM: Specifying Strategies of Exercises
• [+] Message from MKM: Mathematical Units (Christine in “KWARC was!”, 29 Jul)
  
  James Davenport gave a talk on mathematical units in OpenMath. New to me was the discussion on whether and when CDs/ units/ notations are obsolete (e.g. out-of-date) OpenMath CD is obsolete if the definition in it are for archival purposes only. A unit is obsolete by formal change (e.g. liter_pre1964) and by usage. Or to distinguish relative and absolute [...]
• [+] Message from MKM: Mathematical Methodology (Christine in “KWARC was!”, 29 Jul)
  
  William Farmer pointed me to an interesting point that I have so far not considered: The way mathematicians present their work does not necessarily reflect the way the do math. These are two very different aspects of mathematical practice: The practice mathematicians (commonly) develop/ use to present their work and the practice they apply to do [...]
• [+] Message from MKM: Physics and Math (Christine in “KWARC was!”, 29 Jul)
  
  Joseph Collins presented a Mathematical Model of the Physics Modeling Process and discussed the representation of Physics. He emphasized that semantics of objects vary in math and physics: For example, a physical field versus a mathematical field See MKM 2008 proceedings “A mathematical type for physical variables”.
• [+] Message from MKM: Specifying Strategies of Exercises (Christine in “KWARC was!”, 29 Jul)
  
  Johan Jeuring presented me their tool for incrementally solving exercises. The system provides a progress bar, feedback, and hints as well as verifies each step (so providing immediate feedback to the students). For each assignment one has to find a problem domain i.e. “simplifying fractions” and define the respective mathematical domain and a strategy for [...]
• [+] Message from CICM: Tagging and Annotating Proofs (Christine in “KWARC was!”, 28 Jul)
  
  See MathUI paper. Annotea-Extension for Proof Documents.

MiKo

• [+] A MathSearch Competition (kohlhase in MiKo Blog, 27 Jul)
  
  In my last post I just learned about a new search engine. We should really have a competition and example library for Math Search Engines. We talked about this some years back but we really need to get our act together, probably for the next MKM. I can see three tasks that we have to accomplish [...]
• [+] Stephen Watt’s talk on analyzing subject areas by symbol frequencies (kohlhase in MiKo Blog, 27 Jul)
  
  Stephen Watt proposing to automate subject classification from the document content. He says we should belive the document more than the classifiers. I think this is potentially very useful for our KWARC work, in particular to aid in large-scale analysis of documents, e.g. in the arXiv. For instance in notation understanding (@Christine are you listening?). [...]
• [+] egomath search engine talk at DML Workshop (kohlhase in MiKo Blog, 27 Jul)
  
  I am sitting in the DML (Digital Mathematical Libraries) workshop in Birmingham listening on Jozef Misutka’s talk on his search engine. It is surprising how many math search engines are out there; this project has been started in 2004, and I had not really know about it. Jozef also uses an existing search engine for indexing, [...]
• [+] CodeML competitors (or hopefuls) (kohlhase in MiKo Blog, 24 Mar)
  
  I have just stumbled upon another justification (as in people having problems with the currenct state of the art) of our CodeML project: integrating code with syntax highlighting into presentations (and web pages, …), i.e. into situations, where we do not have a suitable parser at hand, but still want to change the appearance of [...]
• [+] Submitting content to OMBase and logging (kohlhase in MiKo Blog, 24 Mar)
  
  While I was reading up on the REST papers in my last post, I stunbled upon the following best practice for making sure that material is only submitted once to a RESTful application. This is something we should adopt in OMBase as well, just to be safe. Another thing that we should think of in this  [...]
• [+] Integrating Presentation into OMBase (kohlhase in MiKo Blog, 24 Mar)
  
  I have just been reading up on REST again, since I found a very palatable pair of articles (REST intro, and  practices). This got me thinking about the state of OMBase, and the integration of our presentation pipeline into the OMBase interface. It is RESTful, since we have MMT addressing via URIs implemented. You [...]
• [+] MathML Support in Firefox 3 beta 4. (kohlhase in MiKo Blog, 16 Mar)
  
  I have just installed the new firefox 3 beta 4. I have been using betas of Firefox3 for a while, and have been enthusiastic about the release, but always had to keep a Firefox 2 copy around for viewing MathML.  Without having tested this extensively, I would say that in beta 4, the level of [...]
• [+] Ontology repair in Physics (kohlhase in MiKo Blog, 21 Feb)
  
  I am just sitting the CIAO workshop and Alan Bundy and Michael Chan are talking about a very nice topic: the evolution of ontologies in Physics. They are applying this to historical examples like the latent heat problem and the MOND theory that is hot in Physics at the moment. The idea is that when [...]
• [+] Success Rates in the arXMLiv project (kohlhase in MiKo Blog, 9 Dec)
  
  I have been silent for a long time, since the semester and various papers have kept me busy. But the semester is over, now… We have been making some progress on the conversion of the arXiv  collection from LaTeX to XHTML+MathML (see the arXMLiv project at KWARC), and I have announced that we have over 50% [...]
• [+] More Scoop Musing (kohlhase in MiKo Blog, 30 Aug)
  
  In the second invited talk, Toby White is talking about SciSpace an experiment of social-software-mediated collaborative scientific research. The main thrust of the intro is that there is a new kind of scientific practice is emerging, e.g. in the environmental sciences. This involves massive cross-institutional collaboration of scientists and programs. The problem in collaboration is [...]

A feed could not be found at http://www.kwarc.info/wyzbook/feed/

MathWeb

• [+] MathML (Frederic wang in MathWeb - Recent changes [en], 3 Sep)
  

  MathML implementations: - improvement in Firefox 3

  ←Older revision		Revision as of 09:27, 3 September 2008
  Line 9:		Line 9:
  	More and more softwares support MathML. Here is a short overview :		More and more softwares support MathML. Here is a short overview :
  -	;browser:The two most used browsers are [[Firefox]] and [[Internet Explorer]]. Firefox support MathML, but as there is currently no set of free mathematical fonts, it uses proprietary fonts that can't be directly installed with Firefox. About Internet Explorer you have to install the [http://www.dessci.com/en/products/mathplayer/ MathPlayer plugin], but there is a lot of problems : you can't zoom, you can't load xml document, you have to add a stylesheet... Also, note that the [http://my.opera.com/desktopteam/blog/2008/02/01/new-snapshot last version of Opera] has a MathML support.	+	;browser:The two most used browsers are [[Firefox]] and [[Internet Explorer]]. Firefox has a native MathML support and it is even possible to embed formulae in SVG diagrams. About Internet Explorer you have to install the [http://www.dessci.com/en/products/mathplayer/ MathPlayer plugin], but there is a lot of problems : you can't zoom, you can't load xml document, you have to add a stylesheet... Also, note that the [http://my.opera.com/desktopteam/blog/2008/02/01/new-snapshot last version of Opera] has a MathML support.
  	;editor:As indicated in MathML recommandation, editors are important as, because of its complexity, it is difficult to directly edit source code of MathML. [[Amaya]] allows to edit presentation markup of MathML thanks to a Wysiwyg mode : more than one hundred predefined constructions are available. You can both create a single formula (mml) or integrate formulae in a XHTML document. Word processors like [[Abiword]], [[Kformula]] or [[OpenOffice]] have an import option (mml files). Among the three, Abiword seems to have the better MathML implementation. It is more limited for OpenOffice : it only supports MathML 1.0 and have to insert his own code in the xml source to reload files. [http://www.mozilla.org./projects/mathml/authoring.html Authoring MathML for Mozilla]		;editor:As indicated in MathML recommandation, editors are important as, because of its complexity, it is difficult to directly edit source code of MathML. [[Amaya]] allows to edit presentation markup of MathML thanks to a Wysiwyg mode : more than one hundred predefined constructions are available. You can both create a single formula (mml) or integrate formulae in a XHTML document. Word processors like [[Abiword]], [[Kformula]] or [[OpenOffice]] have an import option (mml files). Among the three, Abiword seems to have the better MathML implementation. It is more limited for OpenOffice : it only supports MathML 1.0 and have to insert his own code in the xml source to reload files. [http://www.mozilla.org./projects/mathml/authoring.html Authoring MathML for Mozilla]

• [+] Category:Formula editor (Clange in MathWeb - Recent changes [en], 1 Sep)
  

  mailing list

  ←Older revision		Revision as of 14:49, 1 September 2008
  Line 13:		Line 13:
  	| ?has visual preview#✓, =vis. preview}}		| ?has visual preview#✓, =vis. preview}}
  	Use [[Template:Formula editor]] to add a new page about a formula editor.		Use [[Template:Formula editor]] to add a new page about a formula editor.
  		+
  		+	== Resources ==
  		+
  		+	* Mailing lists: {{Mailinglist|project-math-editors@jacobs-university.de|{{iublists}}/project-math-editors}}
  		+
  	[[Category:Editor]]		[[Category:Editor]]

• [+] Scientific Word family (Clange in MathWeb - Recent changes [en], 1 Sep)
  

  created reusable template from LaTeX macro (thanks, Barry!)

  ←Older revision		Revision as of 14:29, 1 September 2008
  Line 2:		Line 2:
  	<ul>		<ul>
  	<li>''Scientific Word''[http://www.mackichan.com/products/sw.html]		<li>''Scientific Word''[http://www.mackichan.com/products/sw.html]
  -	<p>With Scientific Word, you compose mathematical, scientific, and technical documents at the keyboard using natural mathematical notation. You can choose whether to publish your document on the Web using HTML or PDF or print it with or without <span	+	<p>With Scientific Word, you compose mathematical, scientific, and technical documents at the keyboard using natural mathematical notation. You can choose whether to publish your document on the Web using HTML or PDF or print it with or without {{LaTeX}} typesetting. When you typeset, {{LaTeX}} automatically generates footnotes, indexes, bibliographies, tables of contents, and cross-references.</p>
  -	background: #cfc; color:black; font-size: smaller;">
  -	margin-right: -0.125em; font-size: 1em;">E</sub>X</span> typesetting. When you typeset, <span	+
  -	background: #cfc; color:black; font-size: smaller;">
  -	margin-right: -0.125em; font-size: 1em;">E</sub>X</span> automatically generates footnotes, indexes, bibliographies, tables of contents, and cross-references.</p>	+
  -	<p>This typesetting power comes without your having to learn <span	+	<p>This typesetting power comes without your having to learn {{LaTeX}}. Many of the more than 150 document shells have been designed to meet the typesetting requirements of specific professional journals and institutions. Scientific Word automatically saves your documents as {{LaTeX}} files. You can concentrate on writing a correct paper; Scientific Word makes it a beautiful one. </p></li>
  -	background: #cfc; color:black; font-size: smaller;">
  -	margin-right: -0.125em; font-size: 1em;">E</sub>X</span>. Many of the more than 150 document shells have been designed to meet the typesetting requirements of specific professional journals and institutions. Scientific Word automatically saves your documents as <span	+
  -	background: #cfc; color:black; font-size: smaller;">
  -	margin-right: -0.125em; font-size: 1em;">E</sub>X</span> files. You can concentrate on writing a correct paper; Scientific Word makes it a beautiful one. </p></li>	+
  	<li>''Scientific WorkPlace''[http://www.mackichan.com/products/swp.html]		<li>''Scientific WorkPlace''[http://www.mackichan.com/products/swp.html]
  	<p>Scientific WorkPlace adds an integrated computer algebra system (MuPAD) to Scientific Word, providing a convenient workplace for all professionals who use mathematics. The capabilities include over 175 computational operations including numeric and symbolic solving of polynomial, transcendental, and differential equations, plotting (animated and static) in a variety of coordinate systems, simplification, factoring, and many matrix operations.		<p>Scientific WorkPlace adds an integrated computer algebra system (MuPAD) to Scientific Word, providing a convenient workplace for all professionals who use mathematics. The capabilities include over 175 computational operations including numeric and symbolic solving of polynomial, transcendental, and differential equations, plotting (animated and static) in a variety of coordinate systems, simplification, factoring, and many matrix operations.
  Line 18:		Line 10:
  	</li>		</li>
  	<li><p>''Scientific Notebook''[http://www.mackichan.com/products/snb.html]</p><p>		<li><p>''Scientific Notebook''[http://www.mackichan.com/products/snb.html]</p><p>
  -	Scientific Notebook is priced so undergraduate students can afford it. It lacks the <span	+	Scientific Notebook is priced so undergraduate students can afford it. It lacks the {{LaTeX}} typesetting capabilities, but it contains the same editing and computational capabilities as Scientific WorkPlace
  -	background: #cfc; color:black; font-size: smaller;">
  -	margin-right: -0.125em; font-size: 1em;">E</sub>X</span> typesetting capabilities, but it contains the same editing and computational capabilities as Scientific WorkPlace	+
  	</p>		</p>
  	</li>		</li>

• [+] Template:LaTeX (Clange in MathWeb - Recent changes [en], 1 Sep)
  

  linking

  New page

  [[LaTeX|<span
  >E</sub>X</span>]]
• [+] Scientific Word family (BarryMacKichan in MathWeb - Recent changes [en], 29 Aug)
  

  ←Older revision		Revision as of 17:59, 29 August 2008
  Line 2:		Line 2:
  	<ul>		<ul>
  	<li>''Scientific Word''[http://www.mackichan.com/products/sw.html]		<li>''Scientific Word''[http://www.mackichan.com/products/sw.html]
  -	<p>With Scientific Word, you compose mathematical, scientific, and technical documents at the keyboard using natural mathematical notation. You can choose whether to publish your document on the Web using HTML or PDF or print it with or without LaTeX typesetting. When you typeset, LaTeX automatically generates footnotes, indexes, bibliographies, tables of contents, and cross-references.</p>	+	<p>With Scientific Word, you compose mathematical, scientific, and technical documents at the keyboard using natural mathematical notation. You can choose whether to publish your document on the Web using HTML or PDF or print it with or without <span
  		+	2">	+	margin-right: -0.125em; font-size: 1em;">E</sub>X</span> typesetting. When you typeset, <span
  		+	2">	+	margin-right: -0.125em; font-size: 1em;">E</sub>X</span> automatically generates footnotes, indexes, bibliographies, tables of contents, and cross-references.</p>
  -	<p>This typesetting power comes without your having to learn LaTeX. Many of the more than 150 document shells have been designed to meet the typesetting requirements of specific professional journals and institutions. Scientific Word automatically saves your documents as LaTeX files. You can concentrate on writing a correct paper; Scientific Word makes it a beautiful one. </p></li>	+	<p>This typesetting power comes without your having to learn <span
  		+	2">	+	margin-right: -0.125em; font-size: 1em;">E</sub>X</span>. Many of the more than 150 document shells have been designed to meet the typesetting requirements of specific professional journals and institutions. Scientific Word automatically saves your documents as <span
  		+	2">	+	margin-right: -0.125em; font-size: 1em;">E</sub>X</span> files. You can concentrate on writing a correct paper; Scientific Word makes it a beautiful one. </p></li>
  	<li>''Scientific WorkPlace''[http://www.mackichan.com/products/swp.html]		<li>''Scientific WorkPlace''[http://www.mackichan.com/products/swp.html]
  	<p>Scientific WorkPlace adds an integrated computer algebra system (MuPAD) to Scientific Word, providing a convenient workplace for all professionals who use mathematics. The capabilities include over 175 computational operations including numeric and symbolic solving of polynomial, transcendental, and differential equations, plotting (animated and static) in a variety of coordinate systems, simplification, factoring, and many matrix operations.		<p>Scientific WorkPlace adds an integrated computer algebra system (MuPAD) to Scientific Word, providing a convenient workplace for all professionals who use mathematics. The capabilities include over 175 computational operations including numeric and symbolic solving of polynomial, transcendental, and differential equations, plotting (animated and static) in a variety of coordinate systems, simplification, factoring, and many matrix operations.
  Line 10:		Line 18:
  	</li>		</li>
  	<li><p>''Scientific Notebook''[http://www.mackichan.com/products/snb.html]</p><p>		<li><p>''Scientific Notebook''[http://www.mackichan.com/products/snb.html]</p><p>
  -	Scientific Notebook is priced so undergraduate students can afford it. It lacks the LaTeX typesetting capabilities, but it contains the same editing and computational capabilities as Scientific WorkPlace	+	Scientific Notebook is priced so undergraduate students can afford it. It lacks the <span
  		+	2">	+	margin-right: -0.125em; font-size: 1em;">E</sub>X</span> typesetting capabilities, but it contains the same editing and computational capabilities as Scientific WorkPlace
  	</p>		</p>
  	</li>		</li>

• [+] MathDox Formulaeditor (Clange in MathWeb - Recent changes [en], 27 Aug)
  

  formatting

  ←Older revision		Revision as of 13:57, 27 August 2008
  Line 20:		Line 20:
  	The MathDox formula editor is a web-based editor for mathematical formulas. It is currently being developed at the Technische Universiteit Eindhoven as a means for students to enter formulas in an e-learning environment. Its main features are listed below.		The MathDox formula editor is a web-based editor for mathematical formulas. It is currently being developed at the Technische Universiteit Eindhoven as a means for students to enter formulas in an e-learning environment. Its main features are listed below.
  -	* It has a two-dimensional WYSIWYG interface.	+	* It has a two-dimensional WYSIWYG interface.
  -	* It can produce a semantic representation of the formula.	+	* It can produce a semantic representation of the formula.
  -	* No plugins need to be installed in the browser to use the editor.	+	* No plugins need to be installed in the browser to use the editor.
  -	* It can be easily integrated into existing HTML pages.	+	* It can be easily integrated into existing HTML pages.
  -	* It is available under an open source license.	+	* It is available under an open source license.
  	The editor is written in Javascript and uses the HTML5 canvas element in combination with jsMath sprite fonts to render mathematics.		The editor is written in Javascript and uses the HTML5 canvas element in combination with jsMath sprite fonts to render mathematics.
  	Any questions or comments about the editor are welcome and can be directed at info at mathdox dot org.		Any questions or comments about the editor are welcome and can be directed at info at mathdox dot org.

• [+] User talk:Jwk (Clange in MathWeb - Recent changes [en], 27 Aug)
  

  Hello, World!

  New page

  Dear {{PAGENAME}},<br/>
  welcome to the [[MathWeb:About|MathWeb]] community! For your first steps in this wiki, you may want to have a look at our [[Help:Contents|help page]] or just start [[Special:Browse/OMDoc|browsing from a central topic]]. You are invited to contribute content about your fields of interest or your projects, and don't hesitate to ask questions – for example, on my “discussion” page, or on the discussion page of any topic you are interested in.<br/>
  Best regards, [[User:Clange|Christoph]] 13:50, 27 August 2008 (UTC)<br/>
  … and thanks a lot for contributing a page about the MathDox formula editor!
• [+] Special:Log/delete (Clange in MathWeb - Recent changes [en], 27 Aug)
  

  deleted "MathDox Editor": Author request: content before blanking was: '{{Formula Editor | Name=MathDox Formulaeditor | Homepage=mathdox.org/formulaeditor | Homepage label=Short text for homepage, if URL is too long| | Author=Jan Willem Knopper, M

• [+] User:Jwk (Jwk in MathWeb - Recent changes [en], 27 Aug)
  

  New page

  Hi,
  
  I am [[realname:=Jan Willem Knopper]], working as IT Developer at [[member of::Technische Universiteit Eindhoven]] in the Netherlands on the [http://mathdox.org MathDox software].
  
  [[Category:Person]]
• [+] MathDox Formulaeditor (Jwk in MathWeb - Recent changes [en], 27 Aug)
  

  New page

  {{Formula Editor
  | Name=MathDox Formulaeditor
  | Homepage=mathdox.org/formulaeditor
  | Homepage label=Short text for homepage, if URL is too long|
  | Author=Jan Willem Knopper, Mark Spanbroek
  | Affiliation=MathDox/RIACA
  | Version=ongoing
  | Release=
  | License=LGPL
  | ContentInput=yes
  | PresentationInput=yes
  | ContentOutput=yes
  | PresentationOutput=yes
  | LinearEditing=no
  | SymbolPalette=yes
  | VisualEditing=yes
  | VisualPreview=yes
  }}
  
  The MathDox formula editor is a web-based editor for mathematical formulas. It is currently being developed at the Technische Universiteit Eindhoven as a means for students to enter formulas in an e-learning environment. Its main features are listed below.
  
  * It has a two-dimensional WYSIWYG interface.
  * It can produce a semantic representation of the formula.
  * No plugins need to be installed in the browser to use the editor.
  * It can be easily integrated into existing HTML pages.
  * It is available under an open source license.
  
  The editor is written in Javascript and uses the HTML5 canvas element in combination with jsMath sprite fonts to render mathematics.
  
  Any questions or comments about the editor are welcome and can be directed at info at mathdox dot org.