Welcome to the special session on
Human-Computer Algebra Interaction
of the conference Applications of Computer Algebra 2015!

This session explores how humans interact with computer algebra software to solve problems in applications and research.
The topics for presentations include software to support cooperative work in computer algebra, mathematical experimentation,
specialized user interfaces and hardware to increase productivity, such as software wizards, mobile devices, and pen-based input,
and applications to artificial intelligence.
The session intersects with the 2009 session on Applications of Math Software to Mathematical Research and the 2005 session
on Pen-Based Mathematical Computing.

- Manfred Minimair
- Department of Mathematics and Computer Science
- Seton Hall University
__Contact__: minimair@shu.edu- Stephen M. Watt
- Computer Science Department
- The University of Western Ontario
__Contact__: watt@uwo.ca

- Tetsuo Fukui, S. Shirai: Predictive Algorithm from Linear String to Mathematical Formulae for Math Input Method
- Hans-Gert Gräbe, Albert Heinle, Simon Johannig: Symbolic Data, Computer Algebra and the Web 2.0
- Joris van der Hoeven, Grégoire Lecerf, Denis Raux: Preserving Syntactic Correctness While Editing Mathematical Formulas
- Manfred Minimair: Collaborative Computer Algebra: Review of Foundations
- Manfred Minimair: Modelling Inductive Reasoning in Collaborative Computer Algebra
- Elena Smirnova: CAS wonderland: A journey from user interfaces to user-friendly interfaces
- Laurence Ruiz Ugalde: Cooperative development and human interface of a computer algebra system with the Fōrmulæ framework
- Stephen M. Watt: Browser-based Collaboration with InkChat