Hard to believe it's that time already...we are pleased to announce that the winner of the monthly Maple Mentors Award for June is Mario Lemelin (aka lemelin) .  Mario will receive a prize of his choice to thank him for his involvement with the MaplePrimes community.

Congratulations...and keep on posting!

We are happy to announce the latest product to the Maple line of software.  MapleSim is a high-performance multi-domain modeling and simulation tool which will revolutionize how you bring products to market.

We are pleased to announce that the winner of the monthly Maple Mentors Award for May is Dr. Aleksandrs Mihailovs (aka alec).  Dr. Mihailovs will receive a prize of his choice to thank him for his involvement with the MaplePrimes community.

Congratulations...and keep on posting!

Would you Try it...

http://www.mechofmat.com/examples/ex01/msetup.zip

Current Trial Serial Number
32FSXUT-BCTLFQ4-QEU3Z95-FE7ZM

We are pleased to announce that Maple 12 is now available.  It has some very cool new features - my personal favorites include the addition of polar plots, nifty new dials and gauges, a start-up code region, and the ability to use colour in table cells.  Check out our website to find out what’s new, to watch Maple 12 movies in the new Demo Center, for full details on upgrade specials and more.

We are pleased to announce that the winner of the monthly Maple Mentors Award for April is Axel Vogt. Axel will receive a prize of his choice to thank him for his involvement with the MaplePrimes community.

Gratuliere!!

We are pleased to announce that the winner of the quarterly Maple Mentor Award for Jan.-Mar. 2008 is Jacques Carette, and the recipient of March's monthly award is Prof. Alejandro Jakubi. Jacques and Alejandro will receive prizes of their choice to thank them for their involvement with the MaplePrimes community. Congratulations to our winners!

The e-mail notification feature that was previously available before the last update to the site has been re-enabled.

Please post any issues with this feature as comments on this blog entry. If you have comments about any other features, please add them to the MaplePrimes Suggestions forum

This workshop is focused on the intersection of programming languages (PL) and mechanized mathematics systems (MMS). The latter category subsumes present-day computer algebra systems (CAS), interactive proof assistants (PA), and automated theorem provers (ATP), all heading towards fully integrated mechanized mathematical assistants that are expected to emerge eventually (cf. the objective of Calculemus).

This is the second PLMMS workshop, with the first workshop held with Calculemus 2007 in Hagenberg, Austria.

We are pleased to announce that the winner of the monthly Maple Mentors Award for February is Joe Riel. Joe will receive a prize of his choice to thank him for his involvement with the MaplePrimes community.

Congratulations!!