om  

Messages by Thread

• [Om] AISC'10: First Call for Papers Serge Autexier
• [Om] Reminder, Abstract submission, 3rd Chaotic Modeling and Simulation International Conference SecretariatCHAOS2010Conference
• Re: [Om] [Content.math-bridge.org] Synergize Notations DB & CD Links? Paul Libbrecht
• [Om] links from CD pages Paul Libbrecht
  • Re: [Om] links from CD pages Christoph LANGE
  • Re: [Om] links from CD pages David Carlisle
  • Re: [Om] links from CD pages Paul Libbrecht
  • Re: [Om] links from CD pages David Carlisle
  • Re: [Om] links from CD pages David Carlisle
  • Re: [Om] links from CD pages Paul Libbrecht
  • Re: [Om] links from CD pages David Carlisle
• [Om] Announcing the Notation Census Paul Libbrecht
  • Re: [Om] Announcing the Notation Census Christoph LANGE
• [Om] wiki.openmath.org back online Christoph LANGE
• [Om] Memocode 2010 First Call for Papers Barbara Jobstmann
• [Om] range & image in fns1 Bruce Miller
  • Re: [Om] range & image in fns1 Arjeh Cohen
  • [Om] Consistency in ring1, field1 Andrew Robbins
  • Re: [Om] Consistency in ring1, field1 Michael Kohlhase
  • Re: [Om] Consistency in ring1, field1 Andrew Robbins
  • Re: [Om] Consistency in ring1, field1 Peter Horn
• Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Professor James Davenport
  • [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Jónathan Heras
• [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Professor James Davenport
  • Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Christoph LANGE
  • Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Professor James Davenport
  • Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Paul Libbrecht
  • Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Michael Kohlhase
  • Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Professor James Davenport
  • Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Christoph LANGE
  • Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Alberto González Palomo
• [Om] TMFCS-10 Call for papers John Edward
  • [Om] TMFCS-10 Call for papers John Edward
• [Om] An OpenMath Content Dictionary editor Jónathan Heras Vicente
• [Om] CAV 2010 Call for Papers Tayssir Touili
• [Om] Subversion log to RSS Christoph LANGE
  • Re: [Om] Subversion log to RSS Paul Libbrecht
  • Re: [Om] Subversion log to RSS Christoph LANGE
• [Om] Notation bug in the wiki: partly fixed Christoph LANGE
• [Om] Third Announcement of ASCM-MACIS 2009 YANAMI Hitoshi
• [Om] ASCM-MACIS 2009: Submission Deadline Extended to September 25, 2009 YANAMI Hitoshi
• [Om] invisible times and invisible plus Jan Willem Knopper
  • Re: [Om] invisible times and invisible plus Paul Libbrecht
  • Re: [Om] invisible times and invisible plus Jan Willem Knopper
  • Re: [Om] invisible times and invisible plus Christoph LANGE
  • Re: [Om] invisible times and invisible plus Professor James Davenport
  • Re: [Om] invisible times and invisible plus Christoph LANGE
  • Re: [Om] invisible times and invisible plus Paul Libbrecht
  • Re: [Om] invisible times and invisible plus Professor James Davenport
• [Om] Second Announcement of ASCM-MACIS 2009 YANAMI Hitoshi
• [Om] E-mail notification enabled for wiki discussions Christoph LANGE
• [Om] Queries over the OpenMath CD database Christoph LANGE
  • Re: [Om] Queries over the OpenMath CD database Paul Libbrecht
• [Om] CfPart: ICTAC'09 Martin Leucker
• [Om] [Ppdp09] PPDP'09 - Call for Participation António Porto
• [Om] CFPart: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th dml2009
• [Om] OpenMath 2009 Workshop: programme published Professor James Davenport
• [Om] SWEET ontology Professor James Davenport
  • Re: [Om] SWEET ontology Christoph Lange
  • [Om] ontolog Professor James Davenport
• [Om] Ontolog panel session "Towards A Quantities and Units of Measure Ontology-based Standard" Christoph LANGE
  • Re: [Om] Ontolog panel session "Towards A Quantities and Units of Measure Ontology-based Standard" Professor James Davenport
• [Om] announcing new CDs? Paul Libbrecht
  • Re: [Om] announcing new CDs? Christoph LANGE
  • Re: [Om] announcing new CDs? Paul Libbrecht
  • Re: [Om] announcing new CDs? Christoph LANGE
  • Re: [Om] announcing new CDs? Professor James Davenport
  • Re: [Om] announcing new CDs? Paul Libbrecht
  • Re: [Om] announcing new CDs? Christoph LANGE
• [Om] Binder arguments Lars Hellström
  • Re: [Om] Binder arguments Professor James Davenport
  • Re: [Om] Binder arguments Lars Hellström
  • Re: [Om] Binder arguments David Carlisle
  • Re: [Om] Binder arguments Lars Hellström
• [Om] Graph1 Content Dict Andrew Robbins
  • Re: [Om] Graph1 Content Dict Professor James Davenport
• [Om] OpenMath 2009 Workshop Professor James Davenport
• [Om] Multistep "equation" symbol? Lars Hellström
  • Re: [Om] Multistep "equation" symbol? Professor James Davenport
  • Re: [Om] Multistep "equation" symbol? Alberto González Palomo
  • Re: [Om] Multistep "equation" symbol? Alberto González Palomo
  • Re: [Om] Multistep "equation" symbol? Lars Hellström
  • Re: [Om] Multistep "equation" symbol? Professor James Davenport
  • Re: [Om] Multistep "equation" symbol? Michael Kohlhase
  • Re: [Om] Multistep "equation" symbol? Jan Willem Knopper
  • Re: [Om] Multistep "equation" symbol? Michael Kohlhase
  • Re: [Om] Multistep "equation" symbol? David Carlisle
  • Re: [Om] Multistep "equation" symbol? Professor James Davenport
  • Re: [Om] Multistep "equation" symbol? Professor James Davenport
  • Re: [Om] Multistep "equation" symbol? Michael Kohlhase
  • Re: [Om] Multistep "equation" symbol? Professor James Davenport
  • Re: [Om] Multistep "equation" symbol? Lars Hellström
  • Re: [Om] Multistep "equation" symbol? Lars Hellström
  • Re: [Om] Multistep "equation" symbol? Bryce L Nordgren
  • Re: [Om] Multistep "equation" symbol? Arjeh Cohen
  • Re: [Om] Multistep "equation" symbol? Professor James Davenport
  • Re: [Om] Multistep "equation" symbol? Bruce Miller
  • Re: [Om] Multistep "equation" symbol? Lars Hellström
  • Re: [Om] Multistep "equation" symbol? Bruce Miller
  • Re: [Om] Multistep "equation" symbol? Peter Horn
  • Re: [Om] Multistep "equation" symbol? Christoph LANGE
  • Re: [Om] Multistep "equation" symbol? Professor James Davenport
  • Re: [Om] Multistep "equation" symbol? Peter Horn
  • Re: [Om] Multistep "equation" symbol? Professor James Davenport
• [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Christoph LANGE
  • Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Professor James Davenport
  • Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Christoph LANGE
  • Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) David Carlisle
  • Re: [Om] Accessing arguments of an n-ary operator as indexe d list items (in a definition) Christoph LANGE
  • Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Professor James Davenport
  • Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Christoph LANGE
  • Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Professor James Davenport
  • Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Christoph LANGE
  • Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Arjeh Cohen
  • Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Christoph LANGE
  • Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Arjeh Cohen
  • Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Professor James Davenport
• [Om] [Ppdp09] PPDP'09 - EXTENDED DEADLINES António Porto
• [Om] [Ppdp09] PPDP'09 - last CfP António Porto
• [Om] OM 2009: full paper deadline extended Professor James Davenport
• [Om] Conferences on Intelligent Computer Mathematics CICM 2009, Call for Participation Ilias Kotsireas
• [Om] Last CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th dml2009
• [Om] Reminder: OM 2009 Professor James Davenport
• [Om] Extended draft paper submission: MULTICONF-09 call for papers dawnwatson13
  • [Om] Extended draft paper submission: MULTICONF-09 call for papers Edward Mellon
• [Om] Extended draft paper submission: TMFCS-09 call for papers John Edward
  • [Om] Extended draft paper submission: TMFCS-09 call for papers John Edward
• [Om] PPDP'09 - 2nd CfP António Porto
• [Om] 2nd CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th dml2009
• [Om] Calculemus 2009 - Emerging Trends track CFP Jacques Carette
• [Om] Final CfP: ICTAC'09 - Last Chance Martin Leucker
• [Om] IICAI-09 Call for papers Ed
• [Om] maple to mathematica translator Eddie Rowe
  • Re: [Om] maple to mathematica translator Arjeh Cohen
  • Re: [Om] maple to mathematica translator Jacques Carette
  • Re: [Om] maple to mathematica translator Professor James Davenport
  • Re: [Om] maple to mathematica translator Richard Fateman
  • Re: [Om] maple to mathematica translator Paul Libbrecht
  • Re: [Om] maple to mathematica translator Jacques Carette
  • Re: [Om] maple to mathematica translator Paul Libbrecht
• [Om] CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th dml2009
• [Om] PPDP'09 - 1st CfP António Porto
• [Om] OpenMath and Axiom root
• [Om] Announcement: Java Library for SCSCP and OpenMath Dan Roozemond
• [Om] March 20th Deadline Reminder: MKM 2009 Ilias Kotsireas
• [Om] Draft paper submission deadline extended (will not be extended further): TMFCS-09 John Edward
• [Om] Draft paper submission is extended (will not be extended further): MULTICONF-09 Edward Mellon
• [Om] Hello Monika Machunik
  • Re: [Om] Hello Alberto González Palomo
  • Re: [Om] Hello Jan Willem Knopper
• [Om] Deadline Reminder: MKM 2009 Ilias Kotsireas
• [Om] 2nd CfP: ICTAC'09 Martin Leucker
• [Om] OpenMath Workshop 2009 Professor James Davenport
  • Re: [Om] [MKM-IG] OpenMath Workshop 2009 Chris A Rowley
  • Re: [Om] [MKM-IG] OpenMath Workshop 2009 Professor James Davenport
• [Om] svn.openmath.org down Christoph LANGE
  • Re: [Om] svn.openmath.org down Paul Libbrecht
  • Re: [Om] svn.openmath.org down Christoph LANGE
  • Re: [Om] svn.openmath.org down Paul Libbrecht
  • [Om] Trac [Re: svn.openmath.org down] Christoph LANGE
  • Re: [Om] svn.openmath.org down Paul Libbrecht
  • Re: [Om] svn.openmath.org down Paul Libbrecht
• [Om] Math Domain for DITA Bryce L Nordgren
• [Om] Questions about representing units Christoph LANGE
  • Re: [Om] Questions about representing units Professor James Davenport
  • Re: [Om] Questions about representing units Jonathan Stratford
  • Re: [Om] Questions about representing units Professor James Davenport
  • Re: [Om] Questions about representing units Christoph LANGE
  • Re: [Om] Questions about representing units Jonathan Stratford
  • Re: [Om] Questions about representing units Christoph LANGE
  • Re: [Om] Questions about representing units mdt22
  • Re: [Om] Questions about representing units Christoph LANGE
  • Re: [Om] Questions about representing units Professor James Davenport
  • Re: [Om] Questions about representing units Bryce L Nordgren
  • Re: [Om] Questions about representing units Professor James Davenport
  • Re: [Om] Questions about representing units Christoph LANGE
  • Re: [Om] Questions about representing units Professor James Davenport
  • [Om] Abbreviating units [Re: Questions about representing units] Christoph LANGE
  • Re: [Om] Abbreviating units [Re: Questions about representing units] Professor James Davenport
  • Re: [Om] Abbreviating units [Re: Questions about representing units] Christoph LANGE
  • Re: [Om] Abbreviating units [Re: Questions about representing units] Professor James Davenport
  • Re: [Om] Abbreviated symbols (was Re: Questions about representing units) Paul Libbrecht
  • Re: [Om] Abbreviated symbols (was Re: Questions about representing units) Professor James Davenport
• [Om] Binary Encoding in org.symcomp.openmath Peter Horn
  • Re: [Om] Binary Encoding in org.symcomp.openmath David Carlisle
  • Re: [Om] Binary Encoding in org.symcomp.openmath Peter Horn
  • Re: [Om] Binary Encoding in org.symcomp.openmath Richard Fateman
  • Re: [Om] Binary Encoding in org.symcomp.openmath Michael Kohlhase
  • Re: [Om] Binary Encoding in org.symcomp.openmath Richard Fateman
  • Re: [Om] Binary Encoding in org.symcomp.openmath Michael Kohlhase
• [Om] Draft paper submission deadline extended: TMFCS-09 John Edward
  • [Om] Draft paper submission deadline extended: TMFCS-09 John Edward
• [Om] Job-Openings in e-learning Joerg Siekmann
• [Om] OpenMath on the Semantic Web? Paul Libbrecht
  • Re: [Om] OpenMath on the Semantic Web? Juergen Zimmer
  • Re: [Om] OpenMath on the Semantic Web? Professor James Davenport
  • Re: [Om] OpenMath on the Semantic Web? David Carlisle
  • Re: [Om] OpenMath on the Semantic Web? Christoph LANGE
  • Re: [Om] OpenMath on the Semantic Web? David Carlisle
  • Re: [Om] OpenMath on the Semantic Web? Paul Libbrecht

• Earlier messages
• Later messages