|
|
|
In recent years, research groups all over the world have started to develop software for supporting the process of exploring mathematical theories in a structured way. (Other names for this area are: mathematical knowledge management, formal mathematics.) Progress in this area is based on advances in automated reasoning and improvements in software and web technology.
Research in this area has the potential to revolutionize the way how mathematical research, quality control in mathematics, archiving and dissemination of mathematical knowledge, application of mathematics and education in mathematics will be done in the future.
This session is a forum for reporting on