Welcome To eds.activemath.org

We are a community forum, inviting exchanges between developers, authors, editors, users and appreciators of ActiveMath, an interactive and user adaptive learning environment, which makes contents available and invites new contents to be created and shared.

People on our website post questions to the forum, chat, or blog. The discussion and the content are about how to use ActiveMath and its authoring tools.

Happy reading and happy contribution.

Recently, Bob Matthews posted a mathtype trick, something that was not new to me, but something that struck me this time: you can, now, copy-and-paste from Wikipedia, shown in a current browser, into MathType (so into Word or PowerPoint).

Could eds.activemath.org please consider and explore a Mathematical User Interface(MUI) enabled as a service, in order to facilitate a somewhat more seamless integration of being able to input Mathematical content into Drupal, the currently chosen communication medium, or otherwise?

This video follows the task ma-1.

This task describes the simple input of a polynomial within the formulæ, their preview in the web-browser, and the usage of their added value presentation

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
  • supports content reloading
  • improved error reporting for authors
• New languages for the user interface:
  • Français (French)
  • Magyar (Hungarian)
  • Čeština (Czech)
  • Nederlands (Dutch)
• Extended user help system
• Improved overall performance and stabilty

Paul,

Thank you very much for enabling the issue of LaTeX Into Active Math to take place at a LibreSource instantiation you have created.

The enhanced facilities you have made available will very well come in handy in the exploration of the issue.

Well done.

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/.

This tasks explains how to download an extasy exercise into one’s own collection.

The Main Idea

The Omega Mathematical Assistant System offers a module dubbed the "OmegaTutor". It is basically an automated proof construction/proof checking framework based on Omega's Assertion Application Mechanism, which allows to build a proof interactively and semi-automatically, such that intermediate steps in the proof construction can be supplied by the user, and the proof is automatically updated (and possible gaps are filled in automatically). This allows to check the correctness of the proof steps suggested by the user within a particular proof exercise, similar to the work of a human tutor who is checking a student's proof. Furthermore, a granularity analysis module can be employed which additionally judges whether the step size of the student's steps is appropriate (from a cognitive/didactic point of view).

I am currently discovering Libresource, a forge focussed on sharing a set of sources. A first experience has been made with a non-technical user on the tentative komma content collection… very positive!

This video demoes the introduction of a new language into an OQMath file.

This page describes approaches to integrate the Combien combinatorics exercise system with the ActiveMath learning environment platform.

There seem to be quite a few people who create exciting and beautiful Mathematical documents and presentations, using LaTeX.

How can ActiveMath be utilized to transmogrify the documents into self-directed, interactive and adaptive web-based learning opportunities?

Thanks to the recruits and volunteers in ISAW (Internet Studies And Webportfolio) at Saint-Maurice’s High School in North-Lanark, Scotland, for participating in an initial pilot in helping to stress-test communication features of the online community forum.

The results are encouraging.

… is finally working… I’m pretty proud of it… undoubtedly, it’s the way to stimulate discovery of math input.

The question of storage of OMDocs keeps coming… why the hell do you, in ActivMath, use your own storage solution for OMDoc fragments and not one of the classical SQL or XML databases? Below is a short answer, helped by Eliotte Rusty Harold.

This tasks explains how to enrich the trivial interactive exercise with metadata so that the successful result provokes a mastery boost indicated by the mastery-bullets.

This tasks explains how to create a static exercise and see it.

Below is an extract of The Wealth of Networks, a book trying to describe the mechanisms of “peer productions” with a very convincing analysis of why big projects such as Wikipedia or Open-Source-Software projects have managed to attract a large human investment. The extract follows the strong claim that an essential quality of high-involvement peer-production spaces is the possibility of small-grained human investments.

ActiveMath can be integrated into a Moodle server by the usage of a proxy with the Moodle’s Apache. This configuration includes single-sign-on as well as special linking facilities. We explain the set-up here.

Quite often, it is impossible for ActiveMath’s http port to be well accessible from the world. Firewalls, and other measures make the ActiveMath port 8080 inaccessible.

The Apache Web Server is the most used Web-server in the world, it is easy to deploy, is cross platform etc. This page explains how to use Apache’s mod_proxy to serve ActiveMath within the Apache space.

This chapter describes the various methods to deploy and install ActiveMath as part of a larger infrastructure, such as a school network, a firewall, or a learning management system.

As part of the ActiveMath-EU effort, integration into open-source LMS have to be considered. This time I am following a hack that find somewhat elegant to integrate into Moodle an ActiveMath that is “slaved by this Moodle”: both Moodle and ActiveMath share a domain, and Moodle’s Apache config is extended to proxy to ActiveMath all queries in a sub-path. In turn, ActiveMath can use this to read identity of the queries. Have a test on our test moodle

Now, this is a great day! SLuMB, the OMDoc file storage for ActiveMath supports <imports from="x" type="global"/>. This was a standard feature of OMDoc specification but was never supported. I finally understood that this is the clean-way to support the management of big files and I even successfully split a LeAM_calculus monster-file in two without breaking references.

First stab at a video presentation of choosing and applying a license can be seen.

The goal of this task is to choose a creative-commons license then apply it in the OMDoc file using jEditOQMath.

Notes about the ActiveMath Online Tutorial, May 24th, 2007, last of this first series of online tutorial.

Notes about the ActiveMath Online Tutorial, May 23rd, 2007

This task describes the identification of an appropriate symbol and declaring its notations for input in QMath.