om3@openmath.org

5

replies

homework, describing a definition for n-ary plus

started 2014-06-05 20:47:02 UTC

2014-06-08 02:04:13 UTC

Lars Hellström

4

replies

Doodel for second OM3 F2F Meeting

started 2014-05-19 15:36:32 UTC

2014-06-06 16:38:11 UTC

Chris Rowley

0

replies

Theme suggestion for Thursday's F2F agenda

started 2014-06-03 15:30:38 UTC

2014-06-03 15:30:38 UTC

Lars Hellström

1

reply

[OpenMath] #150: CD-level properties (CMP and FMP)

started 2014-05-19 17:47:42 UTC

2014-06-02 16:34:00 UTC

OpenMath

5

replies

Reminder: second OM3 F2F today 14:00 CET (in ac 60 min).

started 2014-06-02 16:02:28 UTC

2014-06-02 16:07:05 UTC

James Davenport

0

replies

DefMP

started 2014-05-31 21:33:59 UTC

2014-05-31 21:33:59 UTC

James Davenport

4

replies

CD-content-issues… a guideline?

started 2014-05-20 13:14:35 UTC

2014-05-20 16:57:43 UTC

Lars Hellström

0

replies

Notes of today's discussion

started 2014-05-16 15:04:59 UTC

2014-05-16 15:04:59 UTC

James Davenport

2

replies

Attempt at an Agenda for today's meeting

started 2014-05-16 11:50:00 UTC

2014-05-16 14:08:11 UTC

James Davenport

0

replies

Attempt at an Agenda for today's meeting (now)

started 2014-05-16 13:01:16 UTC

2014-05-16 13:01:16 UTC

Michael Kohlhase

4

replies

Initializing OM3@2013 Process

started 2014-05-15 11:05:00 UTC

2014-05-16 12:36:27 UTC

Christoph LANGE

23

replies

Initializing OM3@2013 Process

started 2013-10-01 12:04:11 UTC

2014-05-16 10:54:29 UTC

Chris Rowley

0

replies

"OM3 Kickoff Meeting" Friday May 16. 10-12 CET

started 2014-05-02 17:57:58 UTC

2014-05-02 17:57:58 UTC

Michael Kohlhase

3

replies

The OM3 Process: resources

started 2014-04-25 18:19:41 UTC

2014-05-01 10:03:49 UTC

Michael Kohlhase

0

replies

Reminder: herlimenezes@gmail.com wants to follow you. Accept?

started 2012-09-29 16:48:17 UTC

2012-09-29 16:48:17 UTC

herlimenezes

7

replies

Project ideas

started 2011-10-09 20:20:11 UTC

2011-10-11 02:00:43 UTC

Professor James Davenport

1

reply

OM2+ process

started 2011-03-28 22:18:07 UTC

2011-03-28 22:59:50 UTC

Professor James Davenport

2

replies

Floats

started 2011-02-24 23:46:16 UTC

2011-02-25 19:35:23 UTC

Michael Kohlhase

1

reply

Arity of OMBIND. Procedural question

started 2011-02-24 23:25:27 UTC

2011-02-25 19:14:08 UTC

Michael Kohlhase

14

replies

Kicking off an OpenMath2+Process (Standard Enhancement)

started 2011-02-13 21:47:50 UTC

2011-02-25 13:15:15 UTC

Michael Kohlhase

1

reply

OpenMath 3 XSLT revival, and questions

started 2011-02-15 22:43:03 UTC

2011-02-15 23:03:15 UTC

David Carlisle

3

replies

Restoring stuff from 'OpenMath 3': ontology, XSLT, etc.

started 2011-02-15 20:33:25 UTC

2011-02-15 22:21:56 UTC

Michael Kohlhase

0

replies

[project-jomdoc] Brackets

started 2010-06-29 16:22:51 UTC

2010-06-29 16:22:51 UTC

Urs Holzer

1

reply

Newbie troubles...

started 2010-03-25 17:16:39 UTC

2010-03-26 00:54:43 UTC

Christoph LANGE

0

replies

[project-jomdoc] Real-time ntn rendering in the MathML editor Gemse

started 2010-02-02 04:34:45 UTC

2010-02-02 04:34:45 UTC

Christoph LANGE

4

replies

Complex Variables

started 2009-07-29 14:24:24 UTC

2009-07-30 19:06:31 UTC

Michael Kohlhase

0

replies

AfterOpenMath: a new proposal for extensible metadata in CDs

started 2009-07-16 17:09:41 UTC

2009-07-16 17:09:41 UTC

Christoph LANGE

3

replies

UnitsML

started 2009-04-15 20:26:50 UTC

2009-04-20 01:14:29 UTC

Paul Libbrecht

1

reply

[Fwd: Re: OpenMath 2.0 standard binary encoding error]

started 2009-04-14 21:06:36 UTC

2009-04-15 05:18:52 UTC

Paul Libbrecht

41

replies

Being pragmatic about the semantics of, eg, variables and functions

started 2009-03-23 01:19:21 UTC

2009-03-26 20:35:12 UTC

c.a.rowley