2741 search results - page 1 / 549 » Engineering Mathematical Knowledge |
AMCS
2011
12 years 12 months ago
2011
MKM
2007
Springer
13 years 11 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...
MKM
2005
Springer
13 years 10 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...
6
Voted
ICSE
2000
IEEE-ACM
13 years 8 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...
TYPES
2004
Springer
13 years 10 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 ...