2741 search results - page 1 / 549 » Engineering Mathematical Knowledge |
155
Voted
AMCS
2011
14 years 4 months ago
2011
84
Voted
MKM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
66
Voted
MKM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Although we do not profess to be capable of defining a `roadmap' for the foundations of SE over the next ten years, we can discern some important steps that would be extremel...
82
Voted
TYPES
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...