Abstract

This project creates foundations for an automatic system that combines the reliability and speed of a computer with the ability to perform at the level of a good mathematics student. The acronym MATHRESS abbreviating the project title, which may be pronounced “mattress”, indicates that the project serves to provide a good, comfortable foundation for the development of an automatic mathematical research system. The MATHRESS project creates the MATHRESS system that will itself be the foundation on which people will rely for mathematical support. VISION and OBJECTIVES. The ambitious long-term vision for our project is the creation of an expert system that supports mathematicians and scientists dealing with mathematics in: – checking their own work for correctness; – improving the quality of their presentations; – decreasing the time needed for routine work in the preparation of publications; – quickly and reliably reminding them of work done by others; – producing multiple language versions of their manuscripts; – quickly disseminating partially checked results to other users of the system; – intelligently searching a universal database of mathematical knowledge; – learning like a student from the experience accumulated during interaction with the user.

Citations