23 search results - page 2 / 5 » mkm 2009 |
MKM
2009
Springer
14 years 2 months ago
2009
Springer
Mathematical Knowledge Management (MKM), as a field, has seen tremendous growth in the last few years. This period was one where many research threads were started and the field ...
MKM
2009
Springer
14 years 4 min ago
2009
Springer
Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direc...
MKM
2009
Springer
14 years 12 min ago
2009
Springer
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of ...
MKM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic han...
MKM
2009
Springer
14 years 2 months ago
2009
Springer
Representation theory is a branch of algebra that allows the study of groups through linear applications, i.e. matrices. Thus problems in abstract groups can be reduced to problems...