Nabble - ActiveMath Users

generalized metadata inheritance

2009-09-11T08:43:26Z

... is now up and running in ActiveMath and jEditOQMath:

http://eds.activemath.org/en/node/237

paul
_______________________________________________
Users@... mailing list
Users@...@activemath.org
http://www.dfki.de/mailman/cgi-bin/listinfo/users.activemath.org

Re: Metadata for ActiveMath

2009-08-29T09:06:36Z

Dear Ili Farhana Md Mahtar,

unfortunately I cannot answer your question for ActiveMath. I am one of the
developers of OMDoc, but our version of OMDoc and the version used by
ActiveMath have diverged years ago, also in terms of their metadata support.
Until recently, "our" OMDoc (version 1.2) did not have extensible metadata
either. However, we developed a solution that will be incorporated into the
upcoming version 1.3. Tool support in terms of editors is not yet there, but
in terms of extracting these extended metadata to an RDF representation for
easier querying.

See https://svn.omdoc.org/repos/omdoc/trunk/doc/blue/foaf/mkm09.pdf for
background. We basically integrated RDFa into OMDoc. RDFa allows for
adding arbitrary metadata to any XML language -- originally XHTML, but more
are coming; see http://rdfa.info.

Thus, if you already have an ontology for the metadata you need, you could
simply reference it from such RDFa markup. Otherwise, there is also the
possibility of writing your own ontology -- either in one of the ontology
languages known from the semantic web (RDFS or OWL), or in OMDoc itself.

If you are planning to process your additional metadata not within ActiveMath,
but with your own application/library, it might be possible to simply add them
to your OMDoc documents in an RDFa style, and hoping that ActiveMath will
gracefully ignore them.

Hope that helps,

Christoph

--
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
_______________________________________________
Users@... mailing list
Users@...@activemath.org
http://www.dfki.de/mailman/cgi-bin/listinfo/users.activemath.org

Metadata for ActiveMath

2009-08-25T05:50:55Z

Dear ActiveMath users,

I’ve read a paper titled 'Metadata for ActiveMath'. What I’m interested with is the specific metadata in the <extradata> tag. The paper described about difficulty, abstractness, learningcontext, field and verbosity elements. I think none of the elements above is suitable for my web, because I will develop a web that will adapt with the student learning style (whether the student prefers animated image+less text or plain image+more text). My question is, should I create my own metadata (learning style)? What tool do ActiveMath team used to create metadata?

Thanks

Share your memories online with anyone you want anyone you want.
_______________________________________________
Users@... mailing list
Users@...@activemath.org
http://www.dfki.de/mailman/cgi-bin/listinfo/users.activemath.org

Re: jEditOQMath

2008-08-19T23:09:19Z

Le 20-août-08 à 01:05, Salvatore Enrico Indiogine a écrit :
> I now have a directory called ActiveMath on my MacBook that mounts
> /usr/local/activemath-1.0.1
> I am now reading the jEdit help page "Creating a collection about
> free groups"

You could comment on the following pages:
http://eds.activemath.org/en/node/80

> I created the collection called free_groups
> I do not understand the tree of this collection. Where is it? It
> is not under /usr/local/activemath-1.0.1

Well, it will create it under <activemath-home>/content/ (with the
name of the directory be the name of the collection), maybe creating
content. are you sure you configured activemath-home to be the
directory containing conf? The directory content should be aside of
conf.

> there is no /usr/local/activemath-1.0.1/content directory. Maybe
> it is somewhere else?
> Do I need to create it manually?

You may need to do so.

paul

_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

smime.p7s (2K) Download Attachment

Re: jEditOQMath

2008-08-19T16:05:36Z

Paul:

I now have a directory called ActiveMath on my MacBook that mounts
/usr/local/activemath-1.0.1

I am now reading the jEdit help page "Creating a collection about free groups"

I created the collection called free_groups

I do not understand the tree of this collection. Where is it? It is
not under /usr/local/activemath-1.0.1

there is no /usr/local/activemath-1.0.1/content directory. Maybe it
is somewhere else? Do I need to create it manually?

Thanks,
Enrico

--
Enrico Indiogine

Mathematics Education
Texas A&M University
hindiogine@...
_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

Re: jEditOQMath

2008-08-19T15:44:31Z

Paul:

2008/8/19 Paul Libbrecht <paul@...>:
>> I have ActiveMath installed on a Linux (Ubuntu) server on my home LAN.
>> I have jEdit running from Java webstart on my MacBook OSX 10.4. So
>> far so good.
>
> That's a nice idea, it requires a bit of tweaks but has chances.

I was forced to so since I can not run jEditOQMath on my Linux
machine. Anyway, it makes sense, run ActiveMath on a Linux server and
jEditOQMath on a client computer where the coding is done.

> why /conf ? It should just be /usr/local/activemath-1.0.1/
>
>> However, when I check "Apply" I get the following message:
>> This directory cannot be an activemath-home directory!
>> I guess I am doing something wrong here.
>
> The test there just checks for a lib folder with a file called
> activemath.jar, so changing the path should set it.

Yes, that works.

Thanks,
Enrico

--
Enrico Indiogine

Mathematics Education
Texas A&M University
hindiogine@...
_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

Re: jEditOQMath

2008-08-19T15:15:03Z

Hello Salvatore,

Le 19-août-08 à 23:53, Salvatore Enrico Indiogine a écrit :
> I have ActiveMath installed on a Linux (Ubuntu) server on my home LAN.
> I have jEdit running from Java webstart on my MacBook OSX 10.4. So
> far so good.

That's a nice idea, it requires a bit of tweaks but has chances.

> In jEdit:
> Options: Plugins: OQMath JEdit
> - URL of your ActiveMath:
> http://192.168.1.1:8080/ActiveMath2/ <- this works over the network

(to the Linux box I suppose, yes, that's good).

> Check Activate LibreSource update on Build <- do I need to check
> this?

No.

> Choose the directory containing ActiveMath (local run).
>
> /Users/salvatoreenricoindiogine/AMconf
>
> AMconf is an NFS export of /usr/local/activemath-1.0.1/conf directory
> on the Linux server that is mounted on the MacBook. The NFS mount
> works.

why /conf ? It should just be /usr/local/activemath-1.0.1/

> However, when I check "Apply" I get the following message:
> This directory cannot be an activemath-home directory!
> I guess I am doing something wrong here.

The test there just checks for a lib folder with a file called
activemath.jar, so changing the path should set it.

Since you're working over a shared server, there's no other work to do.
But if you want a looser coupling, you can use rsync scripts at upload
time, this is done in LeAM_calculus (if you have a special property).

paul

_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

smime.p7s (2K) Download Attachment

Re: jEditOQMath

2008-08-19T14:53:15Z

Greetings!

I have ActiveMath installed on a Linux (Ubuntu) server on my home LAN.
I have jEdit running from Java webstart on my MacBook OSX 10.4. So
far so good.

In jEdit:

Options: Plugins: OQMath JEdit

URL of your ActiveMath:

http://192.168.1.1:8080/ActiveMath2/ <- this works over the network

Check Activate LibreSource update on Build <- do I need to check this?

Choose the directory containing ActiveMath (local run).

/Users/salvatoreenricoindiogine/AMconf

AMconf is an NFS export of /usr/local/activemath-1.0.1/conf directory
on the Linux server that is mounted on the MacBook. The NFS mount
works.

However, when I check "Apply" I get the following message:

This directory cannot be an activemath-home directory!

I guess I am doing something wrong here.

Thanks,
Enrico

--
Enrico Indiogine

Mathematics Education
Texas A&M University
hindiogine@...
_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

Re: jEditOQMath

2008-08-13T15:11:40Z

Enrico,

this seems to be, again, a bug in the java web-start installation
which does not seem to be the sun one:
at
net
.sourceforge
.jnlp.services.XFileContents.getInputStream(XFileContents.java:68)
can it be the javaws command in the path is still the old one?

thanks

paul

Le 13-août-08 à 23:45, Salvatore Enrico Indiogine a écrit :

> Paul:
>
> 2008/8/12 Paul Libbrecht <paul@...>:
>>
>> It would be interesting to debug that but I acknowledge that Java
>> web start
>> on Linux tends to be picky. Try
>> javaws
>> http://dave.activemath.org/~ilo/jnlpDev/jEditOQMath/jnlps/jEditOQMath-over-jnlp-0.4-SNAPSHOT.jnlp
>
> I replaced OpenJDK with Sun JDK and ran the above command. Here is
> the error message:
>
> henk@bahji:~$ javaws
> http://dave.activemath.org/~ilo/jnlpDev/jEditOQMath/jnlps/jEditOQMath-over-jnlp-0.4-SNAPSHOT.jnlp
> Now launching WebstartJEditLauncher
> Trouble at single-instance-service:
> javax.jnlp.UnavailableServiceException:
> javax.jnlp.SingleInstanceService
> org.activemath.author.webstart.simpleinstaller.JNLPUtil
> $JNLPUtilException:
> Can't read muffin of path
> http://dave.activemath.org/~ilo/jnlpDev/jedit-home-install-witness.
> at
> org
> .activemath
> .author
> .webstart.simpleinstaller.JNLPUtil.getMuffinValue(JNLPUtil.java:122)
> at
> org
> .activemath
> .author
> .webstart
> .simpleinstaller.JNLPUtil.getInstalledDirectory(JNLPUtil.java:167)
> at
> org
> .activemath
> .author
> .webstartjedit
> .WebstartJEditLauncher
> .findjEditHomeFromJNLPUtil(WebstartJEditLauncher.java:223)
> at
> org
> .activemath
> .author
> .webstartjedit
> .WebstartJEditLauncher.ensureJEditHome(WebstartJEditLauncher.java:207)
> at
> org
> .activemath
> .author
> .webstartjedit.WebstartJEditLauncher.main(WebstartJEditLauncher.java:
> 91)
> at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
> at
> sun
> .reflect
> .NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
> at
> sun
> .reflect
> .DelegatingMethodAccessorImpl
> .invoke(DelegatingMethodAccessorImpl.java:43)
> at java.lang.reflect.Method.invoke(Method.java:616)
> at
> net.sourceforge.jnlp.Launcher.launchApplication(Launcher.java:328)
> at net.sourceforge.jnlp.Launcher$TgThread.run(Launcher.java:561)
> Caused by: java.lang.reflect.UndeclaredThrowableException
> at $Proxy8.getInputStream(Unknown Source)
> at
> org
> .activemath
> .author
> .webstart.simpleinstaller.JNLPUtil.getMuffinValue(JNLPUtil.java:109)
> ... 10 more
> Caused by: java.security.PrivilegedActionException:
> java.lang.reflect.InvocationTargetException
> at java.security.AccessController.doPrivileged(Native Method)
> at net.sourceforge.jnlp.services.ServiceUtil
> $PrivilegedHandler.invoke(ServiceUtil.java:162)
> ... 12 more
> Caused by: java.lang.reflect.InvocationTargetException
> at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
> at
> sun
> .reflect
> .NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
> at
> sun
> .reflect
> .DelegatingMethodAccessorImpl
> .invoke(DelegatingMethodAccessorImpl.java:43)
> at java.lang.reflect.Method.invoke(Method.java:616)
> at net.sourceforge.jnlp.services.ServiceUtil$PrivilegedHandler
> $1.run(ServiceUtil.java:158)
> ... 14 more
> Caused by: java.io.FileNotFoundException:
> /tmp/pcache/http/dave.activemath.org/~ilo/jnlpDev/jedit-home-install-
> witness
> (No such file or directory)
> at java.io.FileInputStream.open(Native Method)
> at java.io.FileInputStream.<init>(FileInputStream.java:137)
> at
> net
> .sourceforge
> .jnlp.services.XFileContents.getInputStream(XFileContents.java:68)
> ... 19 more
> Can't find jEdit-home from JNLP.
> jEdit home found: "null"
> java.lang.IllegalStateException: The jEdit-home found doesn't seem to
> match. Found at "null".
> at
> org
> .activemath
> .author
> .webstartjedit
> .WebstartJEditLauncher.ensureJEditHome(WebstartJEditLauncher.java:211)
> at
> org
> .activemath
> .author
> .webstartjedit.WebstartJEditLauncher.main(WebstartJEditLauncher.java:
> 91)
> at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
> at
> sun
> .reflect
> .NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
> at
> sun
> .reflect
> .DelegatingMethodAccessorImpl
> .invoke(DelegatingMethodAccessorImpl.java:43)
> at java.lang.reflect.Method.invoke(Method.java:616)
> at net.sourceforge.jnlp.Launcher.launchApplication(Launcher.java:328)
> at net.sourceforge.jnlp.Launcher$TgThread.run(Launcher.java:561)
>
>
>
>
>
>
> --
> Enrico Indiogine
>
> Mathematics Education
> Texas A&M University
> hindiogine@...
> _______________________________________________
> Users@... mailing list
> Users@...@dfki.de
> http://www.dfki.de/mailman/listinfo/users.activemath.org

_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

smime.p7s (2K) Download Attachment

Re: jEditOQMath

2008-08-13T14:45:27Z

Paul:

2008/8/12 Paul Libbrecht <paul@...>:
>
> It would be interesting to debug that but I acknowledge that Java web start
> on Linux tends to be picky. Try
> javaws
> http://dave.activemath.org/~ilo/jnlpDev/jEditOQMath/jnlps/jEditOQMath-over-jnlp-0.4-SNAPSHOT.jnlp

I replaced OpenJDK with Sun JDK and ran the above command. Here is
the error message:

henk@bahji:~$ javaws
http://dave.activemath.org/~ilo/jnlpDev/jEditOQMath/jnlps/jEditOQMath-over-jnlp-0.4-SNAPSHOT.jnlp
Now launching WebstartJEditLauncher
Trouble at single-instance-service:
javax.jnlp.UnavailableServiceException:
javax.jnlp.SingleInstanceService
org.activemath.author.webstart.simpleinstaller.JNLPUtil$JNLPUtilException:
Can't read muffin of path
http://dave.activemath.org/~ilo/jnlpDev/jedit-home-install-witness.
at org.activemath.author.webstart.simpleinstaller.JNLPUtil.getMuffinValue(JNLPUtil.java:122)
at org.activemath.author.webstart.simpleinstaller.JNLPUtil.getInstalledDirectory(JNLPUtil.java:167)
at org.activemath.author.webstartjedit.WebstartJEditLauncher.findjEditHomeFromJNLPUtil(WebstartJEditLauncher.java:223)
at org.activemath.author.webstartjedit.WebstartJEditLauncher.ensureJEditHome(WebstartJEditLauncher.java:207)
at org.activemath.author.webstartjedit.WebstartJEditLauncher.main(WebstartJEditLauncher.java:91)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:616)
at net.sourceforge.jnlp.Launcher.launchApplication(Launcher.java:328)
at net.sourceforge.jnlp.Launcher$TgThread.run(Launcher.java:561)
Caused by: java.lang.reflect.UndeclaredThrowableException
at $Proxy8.getInputStream(Unknown Source)
at org.activemath.author.webstart.simpleinstaller.JNLPUtil.getMuffinValue(JNLPUtil.java:109)
... 10 more
Caused by: java.security.PrivilegedActionException:
java.lang.reflect.InvocationTargetException
at java.security.AccessController.doPrivileged(Native Method)
at net.sourceforge.jnlp.services.ServiceUtil$PrivilegedHandler.invoke(ServiceUtil.java:162)
... 12 more
Caused by: java.lang.reflect.InvocationTargetException
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:616)
at net.sourceforge.jnlp.services.ServiceUtil$PrivilegedHandler$1.run(ServiceUtil.java:158)
... 14 more
Caused by: java.io.FileNotFoundException:
/tmp/pcache/http/dave.activemath.org/~ilo/jnlpDev/jedit-home-install-witness
(No such file or directory)
at java.io.FileInputStream.open(Native Method)
at java.io.FileInputStream.<init>(FileInputStream.java:137)
at net.sourceforge.jnlp.services.XFileContents.getInputStream(XFileContents.java:68)
... 19 more
Can't find jEdit-home from JNLP.
jEdit home found: "null"
java.lang.IllegalStateException: The jEdit-home found doesn't seem to
match. Found at "null".
at org.activemath.author.webstartjedit.WebstartJEditLauncher.ensureJEditHome(WebstartJEditLauncher.java:211)
at org.activemath.author.webstartjedit.WebstartJEditLauncher.main(WebstartJEditLauncher.java:91)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:616)
at net.sourceforge.jnlp.Launcher.launchApplication(Launcher.java:328)
at net.sourceforge.jnlp.Launcher$TgThread.run(Launcher.java:561)

--
Enrico Indiogine

Mathematics Education
Texas A&M University
hindiogine@...
_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

Re: jEditOQMath

2008-08-13T13:09:10Z

Enrico,

believe me
http://www.activemath.org/projects/downloads/jEditOQMath/
(with the trailing slash) does respond a directory list with the
following content:
Index of /projects/downloads/jEditOQMath
• Parent Directory
• jEditOQMath-0.4-SNAPSHOT.tar.gz
• jEditOQMath-0.4-SNAPSHOT.zip
where the two links are:
http://www.activemath.org/projects/downloads/jEditOQMath/jEditOQMath-0.4-SNAPSHOT.tar.gz
http://www.activemath.org/projects/downloads/jEditOQMath/jEditOQMath-0.4-SNAPSHOT.zip

It's just the front proxy which does not relay to the right place if a
directory and not with slash.

paul

Le 13-août-08 à 18:22, Salvatore Enrico Indiogine a écrit :

> Paul:
>
> 2008/8/12 Paul Libbrecht <paul@...>:
>>
>> Sorry, it should go to:
>> http://www.activemath.org/projects/downloads/jEditOQMath/
>> (note the trailing slash)
>
> Sorry, but this does not work. http://www.activemath.org/projects
> exists, but not
> http://www.activemath.org/projects/downloads/jEditOQMath
>
> Enrico
>
>
>
>
> --
> Enrico Indiogine
>
> Mathematics Education
> Texas A&M University
> hindiogine@...
> _______________________________________________
> Users@... mailing list
> Users@...@dfki.de
> http://www.dfki.de/mailman/listinfo/users.activemath.org

_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

smime.p7s (2K) Download Attachment

Re: jEditOQMath

2008-08-13T09:22:39Z

Paul:

2008/8/12 Paul Libbrecht <paul@...>:
>
> Sorry, it should go to:
> http://www.activemath.org/projects/downloads/jEditOQMath/
> (note the trailing slash)

Sorry, but this does not work. http://www.activemath.org/projects
exists, but not
http://www.activemath.org/projects/downloads/jEditOQMath

Enrico

--
Enrico Indiogine

Mathematics Education
Texas A&M University
hindiogine@...
_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

Re: jEditOQMath

2008-08-13T06:32:18Z

Paul:

2008/8/12 Paul Libbrecht <paul@...>:
>> netx:
>> /tmp/cache/http/dave.activemath.org/~ilo/jnlpDev/jEditOQMath-over-jnlp-0.4-SNAPSHOT.jnkp
>> (No such file or directory)
>
> That tastes likes the worst javaws I've ever heard, is it java-web-start of
> sun?
> You can download the file then javaws <thei-file>.

It is actually the openjdk. I could install the Sun JDK and see it
that works better. I will let you know.

Danke,
Enrico

--
Enrico Indiogine

Mathematics Education
Texas A&M University
hindiogine@...
_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

Re: jEditOQMath

2008-08-12T12:36:42Z

Le 12-août-08 à 18:08, Salvatore Enrico Indiogine a écrit :

> Hi Paul!
>
> 2008/8/12 Paul Libbrecht <paul@...>:
>> It would be interesting to debug that but I acknowledge that Java
>> web start
>> on Linux tends to be picky. Try
>> javaws
>> http://dave.activemath.org/~ilo/jnlpDev/jEditOQMath/jnlps/jEditOQMath-over-jnlp-0.4-SNAPSHOT.jnlp
>
> Did not work. The error message is:
>
> netx: /tmp/cache/http/dave.activemath.org/~ilo/jnlpDev/jEditOQMath-
> over-jnlp-0.4-SNAPSHOT.jnkp
> (No such file or directory)

That tastes likes the worst javaws I've ever heard, is it java-web-
start of sun?
You can download the file then javaws <thei-file>.

>> On the jEditOQMath page, there's a download link which gives you a
>> zip with
>> all the jars. Please note that jEditOQMath (as also included there)
>> contains
>> a few more tweaks than just he plugins, in particular wrt copy-and-
>> paste and
>> the jE button.
>
> The dowload link does not work. Firefox times out.

Sorry, it should go to:
http://www.activemath.org/projects/downloads/jEditOQMath/
(note the trailing slash)
We had several such issues since the move to a CMS.

I'll fix this for next site-upload.

paul

_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

smime.p7s (2K) Download Attachment

Re: jEditOQMath

2008-08-12T09:08:07Z

Hi Paul!

2008/8/12 Paul Libbrecht <paul@...>:
> It would be interesting to debug that but I acknowledge that Java web start
> on Linux tends to be picky. Try
> javaws
> http://dave.activemath.org/~ilo/jnlpDev/jEditOQMath/jnlps/jEditOQMath-over-jnlp-0.4-SNAPSHOT.jnlp

Did not work. The error message is:

netx: /tmp/cache/http/dave.activemath.org/~ilo/jnlpDev/jEditOQMath-over-jnlp-0.4-SNAPSHOT.jnkp
(No such file or directory)

> On the jEditOQMath page, there's a download link which gives you a zip with
> all the jars. Please note that jEditOQMath (as also included there) contains
> a few more tweaks than just he plugins, in particular wrt copy-and-paste and
> the jE button.

The dowload link does not work. Firefox times out.

Gruessen und danke,

Enrico

--
Enrico Indiogine

Mathematics Education
Texas A&M University
hindiogine@...
_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

Re: jEditOQMath

2008-08-11T22:53:02Z

Hello Enrico,

beware that using a different email address triggers moderation... so
it took me till this morning to allow yout mail.

Le 12-août-08 à 05:53, Salvatore Enrico Indiogine a écrit :
> I have installed ActiveMath on a Ubuntu PC. I have jEdit-OQMath
> running on a Mac using Java Webstart.

> I am not able to run
> jEdit-OQMath from Java Webstart on he Ubuntu PC. I receive an
> UnavailableServiceException error when I start jEdit-OQMath using
> webstart on Ubuntu.

It would be interesting to debug that but I acknowledge that Java web
start on Linux tends to be picky. Try
javaws http://dave.activemath.org/~ilo/jnlpDev/jEditOQMath/jnlps/jEditOQMath-over-jnlp-0.4-SNAPSHOT.jnlp

> However, I am able to install jEdit on Ubuntu and have installed all
> the plugins that jEdit-OQMath has except the following:
> OQMath, Templates, Jelly Plugin, and OMPEditor.
> Is it possible to obtain these plugins and install them on my Ubuntu
> PC?

On the jEditOQMath page, there's a download link which gives you a zip
with all the jars. Please note that jEditOQMath (as also included
there) contains a few more tweaks than just he plugins, in particular
wrt copy-and-paste and the jE button.

hope it helps

paul

_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

smime.p7s (2K) Download Attachment

jEditOQMath

2008-08-11T20:53:04Z

Greetings!

I have installed ActiveMath on a Ubuntu PC. I have jEdit-OQMath
running on a Mac using Java Webstart. I am not able to run
jEdit-OQMath from Java Webstart on he Ubuntu PC. I receive an
UnavailableServiceException error when I start jEdit-OQMath using
webstart on Ubuntu.

However, I am able to install jEdit on Ubuntu and have installed all
the plugins that jEdit-OQMath has except the following:

OQMath, Templates, Jelly Plugin, and OMPEditor.

Is it possible to obtain these plugins and install them on my Ubuntu PC?

Thanks,
Enrico

--
Enrico Indiogine

Mathematics Education
Texas A&M University
hindiogine@...
_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

Re: Annoucement: LaTeX2OQMath

2008-06-27T06:24:30Z

Dear Eric,

this is nice to see such an announcement. Could you also post an OQMath
and OMDoc version of your test data on the web site?

From the code I could not really see how the system works. But there is
one way, where we can help you; we have a LaTeXML web service running at
http://tex2xml.kwarc.info (well actually, it seems to be down just now,
but we will restart it soon :-)). You could just integrate the curl
expression in the docu into your web script.

The background for this web service is the arXMLiv project, which
extends the set of LaTeXML bindings (and thus the packages you can use
in your LaTeX sources. On http://arXMLiv.kwarc.info, you can find the
project and over 200000 LaTeX papers and their xhtml+mathml form you
could test your conversion.

Michael

Eric Andres wrote:

> Dear ActiveMath users,
>
> We have implemented a working prototype of a conversion tool
> transforming LaTeX to OQMath.
> For more information and downloads, please visit
> http://www.activemath.org/~eandres/l2o.php
>
> Best,
>
> Eric Andrès
> _______________________________________________
> Users@... mailing list
> Users@...@dfki.de
> http://www.dfki.de/mailman/listinfo/users.activemath.org
>

--
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62
Professor of Computer Science Campus Ring 12,
School of Engineering & Science D-28759 Bremen, Germany
Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140
m.kohlhase@... http://kwarc.info/kohlhase
skype: m.kohlhase * International University Bremen until Feb. 2007
----------------------------------------------------------------------

_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

Annoucement: LaTeX2OQMath

2008-06-27T05:07:16Z

Dear ActiveMath users,

We have implemented a working prototype of a conversion tool
transforming LaTeX to OQMath.
For more information and downloads, please visit http://www.activemath.org/~eandres/l2o.php

Best,

Eric Andrès
_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

Re: enhanced access to users@activemath.org

2008-04-25T04:58:36Z

Oh, I should have invested a few more minutes. You can also access the forum
via Nabble's web site at:

http://www.nabble.com/ActiveMath-Users-f32974.html

It's advantage is that the forum uses the full window width.

Happy discussion!
MH

>
> Dear Members of the ActiveMath Users mailing-list,
>
> I am happy to announce a slightly enhanced version of our mailing-list
> archive thanks to the usage of the Nabble Forum service.
>
> On:
>
> http://www.activemath.org/projects/maillists/users
>
> you now find a browsable archive of our mailing-list.
>
> This mail is also to invite you to raise the usage of this list for
> any technical question, also authoring questions instead of direct
> mailing to individual developers of ActiveMath.
>
> thanks in advance
>
> paul
> ------------------------------------------------------------------------
>
> _______________________________________________
> Users@... mailing list
> Users@...@dfki.de
> http://www.dfki.de/mailman/listinfo/users.activemath.org
>

_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

Re: enhanced access to users@activemath.org

2008-04-25T04:50:38Z

Is there a link to the Nabbles Discussion Forum? Or is the forum completely
hosted at activemath.org?

MH

> Dear Members of the ActiveMath Users mailing-list,
>
> I am happy to announce a slightly enhanced version of our mailing-list
> archive thanks to the usage of the Nabble Forum service.
>
> On:
>
> http://www.activemath.org/projects/maillists/users
>
> you now find a browsable archive of our mailing-list.
>
> This mail is also to invite you to raise the usage of this list for
> any technical question, also authoring questions instead of direct
> mailing to individual developers of ActiveMath.
>
> thanks in advance
>
> paul
> ------------------------------------------------------------------------
>
> _______________________________________________
> Users@... mailing list
> Users@...@dfki.de
> http://www.dfki.de/mailman/listinfo/users.activemath.org
>

_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

enhanced access to users@activemath.org

2008-04-25T04:11:55Z

Dear Members of the ActiveMath Users mailing-list,

I am happy to announce a slightly enhanced version of our mailing-
list archive thanks to the usage of the Nabble Forum service.

On:

http://www.activemath.org/projects/maillists/users

you now find a browsable archive of our mailing-list.

This mail is also to invite you to raise the usage of this list for
any technical question, also authoring questions instead of direct
mailing to individual developers of ActiveMath.

thanks in advance

paul

_______________________________________________
Users@... mailing list
Users@...@dfki.de
http://www.dfki.de/mailman/listinfo/users.activemath.org

smime.p7s (2K) Download Attachment

ActiveMath Release 1.0 available

2008-02-01T05:21:55Z

We are pleased to announce that release 1.0 of ActiveMath is finally
available.

ActiveMath 1.0 is a stabilization of years of ActiveMath development and
a polish of most of its features. The highlights of this release are:

* New learner model SLM (Simple Learner Model)
* Slumb is now the default MBase
o supports content reloading
o improved error reporting for authors
* New languages for the user interface:
o Français (French)
o Magyar (Hungarian)
o Čeština (Czech)
o Nederlands (Dutch)
* Extended user help system
* Improved overall performance and stabilty
* Now licencsed under the d-fsl (German Free Software License)

ActiveMath is a web-based platform for creation of Mathematics learning
environments. It supports the user by integrated semantic mathematical
input and output, by interactive exercises, by learner-modelling and
course generation. More information about ActiveMath can be found at
<http://www.activemath.org>.

ActiveMath 1.0 is licensed under the d-fsl (German Free Software
License). You can download and install the server application from
<http://www.activemath.org/downloads>.

An installation of ActiveMath 1.0 is currently running under the
preliminary address <http://am-preview.activemath.org>, and will soon
be installed on our regular demo server <http://demo.activemath.org>.

Enjoy!

Paul, Stefan and the whole ActiveMath group

ActiveMath 1.0 release candidate 1

2007-12-21T02:26:52Z

ActiveMath 1.0 release candidate 1
ActiveMath 1.0 is nearing completion and we are happy to announce the availability of the release candidate 1. It can be seen at: http://am-preview.activemath.org/.
ActiveMath is a web-based platform for creation Mathematics learning environments. It supports the user by integrated semantic mathematical input and output, by interactive exercises, by learner-modelling and course generation. More information about ActiveMath can be read at http://www.activemath.org.
ActiveMath 1.0 is a stabilization of the ActiveMath development and a polish of most of its features. We would be looking forward to all interested parties to ActiveMath to actually give a spin at testing this installation and tracking any issue encountered.
What has changed ? Lots since the LeActiveMath releases… among others the addition of languages (now ActiveMath speaks 9 languages), the support for several computer-algebra-systems, and the maturation of most components. Detailed changes can be seen on the jira detailed release notes.
If all goes well, the release 1.0 should happen early in January.
Enjoy!
Stefan, Paul, and the whole ActiveMath Group

smime.p7s (2K) Download Attachment

Announce: ActiveMath Authoring Online Tutorial | eds.activemath.org

2007-03-30T14:12:46Z

Announce: First ActiveMath Authoring Online Tutorial

We are starting a series of online tutorials for authoring ActiveMath content. The first series will be on April 20th and May 4th, 11th, 18th, and 25th. The goal of these tutorials is to introduce practically to the current concepts and tools to create content for the ActiveMath learning environment using a computer that authors are familiar with.

Participants are expected to attend using a computer with at least 1Gb of RAM and 1GHz of CPU as well as a high-speed internet connection (at least 512kb/s).

A familiarity with web-browsing and source-authoring is exptected. Participants’ visions for the usage of the ActiveMath server will be requested to be presented.

Registrations should be done to Paul Libbrecht paul@... providing details of their machines’ environment. They will be requested to install all needed components as a first shot and we shall verify this installation the week before the first tutorial using remote computer control methods. Participants will be expected to experiment the authoring activities in the weeks between the tutorials.

We look forward to your participation.

Note that the number of participants is limited to 8.

paul (and the other trainers)

(this announce is on the web and more details will be posted there).

ActiveMath Authoring and Discovery Tutorial Jan 30th - Feb 1st 2007

2006-12-19T20:57:52Z

Dear ActiveMath interested,

our group will be organizing an ActiveMath authoring and discovery
tutorial on January 30th and Feb 1st 2007 at DFKI in Saarbrücken, Germany.

This workshop will feature a strong authoring tutorial but will be based
on an active dialogue: expectations of each participants about the
ActiveMath learning environment will be discussed and approaches to
realize them in ActiveMath will be introduced and realized concretely.

It will provide participants with strong insights on the
usage and capabilities of ActiveMath as well as the authoring tools that
exist for it.

It is aimed at persons comfortable with the usage of web-browsers and
text-editors.

The workshop will start at 10:00AM on January 30th (with preliminary
set-ups) and end on Feb 1st at 15:00 after a presentation of the results.

It will be lead by members of the ActiveMath group with an
active involvement of each participant. The participation is free of
charge, in exchange, we expect this participation to be logged and
analyzed for evaluation purposes.

The participants are expected to:

1. send us a mail of pre-registration until Jan 10th indicating their
names and relevant capabilities (please include experience and
names of relevant XML, text, html, TeX, Wikis, word-processing,
RDF, concept-mapping, adaptive hypermedia, LMS, CMS tools)
2. send us until Jan 15th about a page describing the content they
wish be realized in ActiveMath, with the most amount of references
and URLs, along with pointers to two e-learning environment demoes
they find good.
3. participate to the tutorial actively with concrete realizations
and critiques of others' projects
4. bring a laptop which is capable of running ActiveMath server (min.
1GHz, and 512 Mb of RAM) with wifi card, having Mozilla 1.5 or
later and a java development environment version 1.4 or later
pre-installed

Linux desktops, with KDE environment, can be arranged to accomodate for
expectation 4).

Registration will only be accepted after the expectations 1) and 2) are
met. Doing this enables us to make sure that the system is ready to
accomodate such wishes. It has been our training experience that caring
for such in advance guarantees that small glitches are ironned out,
permitting, e.g., a new file-type to be properly served.

More details about the tutorial will be posted on:
http://eds.activemath.org/?q=en/AuthTrain-Jan2007
Questions can be addressed to Paul Libbrecht, by email at
paul@....
Please contact our secretaries, Irmtraud Stein or Astrid Thönes, for
help in finding accomodations in Saabruecken: stein@... or
Sek-DMAS@....

paul

smime.p7s (4K) Download Attachment

announcing eds.activemath.org

2006-10-17T07:08:35Z

Hello,

I wanted to drop a line about the ongoing construction of
http://eds.activemath.org
meant to become the online community of ActiveMath authors, users, and
other enjoyers.

As a wiki, this content-management-system is open for everyone to
register and may be used with a plain-text input syntax (called textile).
This system does a bit more though and allows the input for complete
HTML if wished, or using a visual html editor, it supports various forms
and provides forum and chat communication channels.
Many actions will be, in the future, doable by mail even, thus making it
possible to have the comfort of a (well archived) mailing-list.
By doing this, I hope to bring to a more visible space the very many
fruitful exchanges I had with many authors and lead them faster to
tangible results.
Get there, have a look, play around, ask questions, make blog or a
profile...

paul

smime.p7s (4K) Download Attachment

Re: AM-use workshop on usages of ActiveMath

2006-04-05T05:50:22Z

Unfortunately, we shall not make this workshop happen this year.
Better chances for next year.

paul

Paul Libbrecht wrote:

> The ActiveMath Group is currently planning a workshop to discuss the
> many facets of using the ActiveMath environment.
> It would happen in Saarbrücken either the 6-7th of July or 24-25th of
> August of this year.
>
> Would you consider taking part ?
> Would you present a vision or experience ?
> Which dates would suit you ?
>
> thank you in advance
>
> Paul Libbrecht, George Goguadze, and the ActiveMath Group
>

Re: AM-use workshop on usages of ActiveMath

2006-03-08T00:11:20Z

Paul Libbrecht wrote:
> It would happen in Saarbrücken either the 6-7th of July or 24-25th of
> August of this year.

am 6-7 Juli soll auch das LeAM Projektmeeting stattfinden (wurde so in
Malaga beschlossen), oder?

Carsten

--
Carsten Ullrich
Deutsches Forschungszentrum für Künstliche Intelligenz/
German Research Center for Artificial Intelligence
Stuhlsatzenhausweg 3
D-66123 Saarbrücken
Germany
Tel: +49-(0)681-302-5370
Fax: +49-(0)681-302-2235
http://www.activemath.org/~cullrich
vcard: http://www.activemath.org/~cullrich/cullrich.vcf

Re: AM-use workshop on usages of ActiveMath

2006-03-07T23:53:47Z

I would consider taking part, both dates are OK for me.

Michael

Paul Libbrecht wrote:

> Hello,
>
> The ActiveMath Group is currently planning a workshop to discuss the
> many facets of using the ActiveMath environment.
> It would happen in Saarbrücken either the 6-7th of July or 24-25th of
> August of this year.
>
> Would you consider taking part ?
> Would you present a vision or experience ?
> Which dates would suit you ?
>
> thank you in advance
>
> Paul Libbrecht, George Goguadze, and the ActiveMath Group
>
> PS: Depending on demand the workshop could preceded or followed by an
> authoring and maybe a user tutorial.
>
>
> _______________________________________________
> Users@... mailing list
> Users@...@dfki.de
> http://www.dfki.de/mailman/listinfo/users.activemath.org
>

--
-------------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62
Professor for Computer Science Campus Ring 12,
School of Engineering & Science D-28758 Bremen, Germany
International University Bremen tel/fax: +49 421 200-3140/-493140
http://www.faculty.iu-bremen.de/mkohlhase <m.kohlhase@...>
--------------------------------------------------------------------------

[m.kohlhase.vcf]

begin:vcard fn:Michael Kohlhase n:Kohlhase;Michael email;internet:m.kohlhase@... tel;work:+49 421 200 3140 tel;fax:+49 421 200 493140 x-mozilla-html:TRUE version:2.1 end:vcard

AM-use workshop on usages of ActiveMath

2006-03-07T23:47:31Z

Hello,

The ActiveMath Group is currently planning a workshop to discuss the
many facets of using the ActiveMath environment.
It would happen in Saarbrücken either the 6-7th of July or 24-25th of
August of this year.

Would you consider taking part ?
Would you present a vision or experience ?
Which dates would suit you ?

thank you in advance

Paul Libbrecht, George Goguadze, and the ActiveMath Group

PS: Depending on demand the workshop could preceded or followed by an
authoring and maybe a user tutorial.