Sciweavers

652 search results - page 3 / 131
» Mathematical knowledge management is needed
Sort
View
MKM
2009
Springer
14 years 1 months ago
A Linear Grammar Approach to Mathematical Formula Recognition from PDF
Many approaches have been proposed over the years for the recognition of mathematical formulae from scanned documents. More recently a need has arisen to recognise formulae from PD...
Josef B. Baker, Alan P. Sexton, Volker Sorge
MKM
2007
Springer
14 years 1 months ago
Revisions as an Essential Tool to Maintain Mathematical Repositories
One major goal of Mathematical Knowledge Management is building extensive repositories, in which the mathematical knowledge has been verified. It appears, however, that maintainin...
Adam Grabowski, Christoph Schwarzweller
IRI
2006
IEEE
14 years 1 months ago
Provide relevant knowledge to specify product design project needs
1 In many of today’s industry, knowledge is considered a strategic tool; however, knowledge is involved in so many services with so many facets that it is very complex to effecti...
Fabrice Alizon, Steven B. Shooter, Timothy W. Simp...
MKM
2004
Springer
14 years 22 days ago
Copyright Issues for MKM
Abstract. We present an overview of the current situation and recent and expected future developments in areas of copyright law and economics relevant to Mathematical Knowledge Man...
Andrew A. Adams, James H. Davenport
MKM
2005
Springer
14 years 26 days ago
An Exploration in the Space of Mathematical Knowledge
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
Andrea Kohlhase, Michael Kohlhase