I also dream of similar ideas from time to time - and I think Sympy is one of possible sollutions
http://groups.google.com/group/sympy/browse_thread/thread/51ee431301b0c0b Other similar topics: http://groups.google.com/group/sympy/browse_thread/thread/929ab3e56555b6e5 (links to http://mathomatic.org/math/adv.html ) and Yacas has some features for defining steps http://yacas.sourceforge.net/essayschapter1.html#c1s4 > The way I plan to solve the problem of having a system that is both > powerful and easy to write problems in is by combining an education- > oriented CAS (MathPiper) with a professional-level CAS (Reduce). > Reduce is similar in power to CASs like Maple and Maxima and here is > an example of what Reduce code looks like: > > http://206.21.94.61/misc/khan-academy/khan_academy_rational.mpw.html > > > >>I could have written problems that I liked, from scratch, in MapleTA in less >>time >>than it took me to cull through all the problem libraries to only find >>that many of the questions weren't going to work the way I wanted them to. > > Although I have not used MapleTA before, from what I have read about > it on the Internet, it appears to be close to what I have in mind for > version 1 of the system I will be building. Most general-purpose CASs > are able to determine if two expressions are equivalent or not and it > looks like MapleTA makes heavy use of this capability. However, my > understanding is that MapleTA is not able to automatically determine > the steps that a human would typically take to solve a given problem. > > Most general-purpose CASs are not able to show steps like this because > they use more advanced mathematical techniques than humans do. The > research I have been doing indicates that only a CAS that has been > specifically designed to perform mathematics like a human typically > does is able to show these steps. > > After version 1 of the system I will be building is operational, my > goal is to give MathPiper the ability to perform mathematics the way > that a human typically does so that it can provide students with more > detailed information about the problems they are solving. > > > Anyway, I can handle most of the programming that will be needed to > build this system. However, since I am not a mathematics teacher, what > I need help with is: determining how the system should operate from > the user’s point of view, what kinds of problems it should support, > what kind of feedback it should provide, testing, etc. > > If you (or anyone else on this list) is interested in helping me build > this system, that would be great. > > Ted > > -- > You received this message because you are subscribed to the Google Groups > "sage-edu" group. > To post to this group, send email to sage-edu@googlegroups.com. > To unsubscribe from this group, send email to > sage-edu+unsubscr...@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/sage-edu?hl=en. > -- Jurgis Pralgauskis tel: 8-616 77613; Don't worry, be happy and make things better ;) http://kompiuterija.pasimokom.lt -- You received this message because you are subscribed to the Google Groups "sage-edu" group. To post to this group, send email to sage-edu@googlegroups.com. To unsubscribe from this group, send email to sage-edu+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-edu?hl=en.