
Third Workshop onCompact Computer AlgebraCICM 2010July 6, 2010. Paris, FranceList of TalksAbstractsThe State of Computer Algebra on Compact DevicesMitsushi FujimotoDepartment of Mathematics, Fukuoka University of EducationI presented about the implementation of AsirPad, a computer algebra system with a handwriting interface on Linux PDA Zaurus, at the first workshop on Compact Computer Algebra in 2008. In order to implement a computer algebra system on compact devices, not only a CAS engine but GUI, a communication mechanism with the CAS engine and an internal form for mathematical expressions are needed. I used Risa/Asir, a handwriting interface by Qt, OpenXM protocol and Infty XML respectively for AsirPad. This implementation method is suitable for UNIXbased full CASs. Most of CASs provide a programming language. We can extend functions in the system using it. I added a function that can check whether a chemical/ionic equation with coefficients and indices has a contradiction or not to AsirPad. The mainstream of the current mobile devices is shifting to smartphones such as iPhone and Android, or slate computers such as iPad. At present, some computer algebra systems for these platforms are developed using the above method by me or other groups. For example, Risa/Asir on iPad, Yacas on Android/iPhone, etc. In the talk I would like to explain the current state of these computer algebra systems on compact devices. The Nesting Habits of RadicalsDavid Jeffrey^{*} and Albert Rich^{*}Department of Applied Mathematics, University of Western Ontario, CanadaTBA Compensating the Computational Bias of SpreadsheetsMichael KohlhaseJacobs University, GermanyTBA MathPASS: A Remedial Mathematics System with Automated Answer CheckingWei Su ^{*}, Paul S. Wang^{**} and Lian Li^{*}^{*}Department of Computer Science, LanZhou University, China ^{**} Institute for Computational Mathematics (ICM/Kent), Kent State UniversityThe application of computer technology in education has become increasingly important as we move into the information age. In particular, a computer aided assessment (CAA) system can be very useful for teachers and students. The paper introduces a Webbased intelligent mathematics assessment system, MathPASS, developed jointly at Lanzhou University (LZU) and Kent State University (KSU). MathPASS is a drillandpractice system which has been applied in remedial mathematics courses at KSU. In the Spring 2010 semester, users of MathPASS include 5900 students and 100 teachers. MathPASS can generate random mathematical test questions based on predetermined question prototypes, let users enter their answers in either a WYSIWYG or a characterstring input environment, and check user answers with the help of a computer algebra system (CAS). More than 400 question prototypes have been created in MathPASS by the combined efforts of mathematics teachers and mathematics education experts at KSU. A question prototype is a mathematical question template for a specific question pattern containing random parameters satisfying welldefined mathematical conditions. The different question instances of one question prototype are generated onthefly for each test, quiz, or homework. A guiding principle in the design of question prototypes is to split a test topic into a range of separate cases constituting significantly different experiences for a learner whose development in that topic is still at an early stage. MathPASS employs MathEdit, a Webbased mathematical expression editor, to let users enter answers. With MathEdit, students can enter their answers via WYSIWYG editing or commandline editing mode in MathPASS. In WYSIWYG editing mode, students can create and edit mathematical expressions with a convenient and intuitive graphical user interface (GUI). In commandline editing mode, students can enter mathematical expressions with characterstring input. As a part of MathPASS, LZU and KSU are jointly designing and developing a mathematics answer checking protocol (MACP). MACP is an access protocol for communication between MACP service and its client. MACP service is a Web service for checking answers and grading questions to mathematics of middleschool and college. The MACP service aims to grade user answers through verifying the equivalence of expressions and checking expression forms of the answers. The implementation of MACP is based on Representational State Transfer (REST). A MACP service uses a serverside computer algebra system to verify equivalence of expressions and compute standard answers. The service may also judge whether a student answer is in a simplest or a required form. [full paper (PDF 325KB) ] DEMO: MathEdit, a Webbased visual editor for mathematical expressionWei Su ^{*}, Paul S. Wang^{**} and Lian Li^{*}^{*}Department of Computer Science, LanZhou University, China ^{**} Institute for Computational Mathematics (ICM/Kent), Kent State UniversityThe demonstration will address MathEdit, a Webbased visual interactive editor for mathematical expressions. Developed by Lanzhou University and Kent State University cooperatively, MathEdit aims to provide a solution and environment of online creating and editing mathematical expression for Web applications such as Webbased education system, scientic computing system, and mathrelevant communication system. Abundant mathematical templates and customizable graphical user interface are oered in MathEdit for users to enter various mathematical expressions intuitively. Visual navigation allows users to jump to and select apropos subexpression by mouse clicking as well as by key pressing. MathEdit provides two editing modes: WYSIWYG editing mode and characterstring editing mode. The output format of MathEdit includes MathML Content, MathML Presentation, OpenMath, LaTex, Inx, Braille, image (PNG, GIF and BMP) and PDF. Portable API can be used for programmers to embed MathEdit easily into their Webbased application systems. Implemented in JavaScript, MathEdit is a totally Webbased system, which can run both on IE and Firefox browser. MathEdit is available on http://mathedit.lzu.edu.cn. The following lists the main contents of the demonstration:
Elena Smirnova^{*}, Stephen Watt^{**}^{*} Education Technology, Texas Instruments^{**}Computer Science Department, University of Western Ontario Staring with a question what defines a CAS as a compact system and what makes it different from a CAS in its classical understanding, we try come up with a list of basic properties as well as nicetohave features for such kind of "small" systems. We argue, that the items to be included in this list should be driven more by the targeted application subset, rather than by performance capacities of the hosting devices and environments. Let us make a wishlist for potential "clients" for such lightweight Computer Algebra systems and depart from there. To start, we name a few:



Page maintained by Elena Smirnova