Hi Grant, >Are you familiar with Michael Beeson's MathXpert (formerly MathPert)?
Yes, MathXpert-level mathematics is exactly what I had in mind when I was talking about "high school mathematics". The main difference between what MathXpert provides and what I was asking for, is that MathXpert is about simplifying expressions and solving equations, while what I was asking for is also to establish whether some statement (equation or inequality) follows from other statements. I seem to remember that Michael claimed to me at some time that MathXpert could do that kind of thing too without too much extra work, but I would have to see how that would turn out. Another way to characterize this kind of "high school mathematics" is reasoning about equationsa and inequalities that have been written using the operations that are standard in "Content MathML". Of course the development of MetiTarski is all about this issue too. Freek ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
