Sciweavers

2741 search results - page 5 / 549
» Engineering Mathematical Knowledge
Sort
View
DAS
2008
Springer
13 years 10 months ago
An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
Stephen M. Watt
AISC
2006
Springer
14 years 9 days ago
A Search Engine for Mathematical Formulae
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...
Michael Kohlhase, Ioan Sucan
JCO
2007
113views more  JCO 2007»
13 years 8 months ago
Recent progress in mathematics and engineering on optimal graph labellings with distance conditions
The problem of radio channel assignments with multiple levels of interference can be modelled using graph theory. The theory of integer vertex-labellings of graphs with distance c...
Jerrold R. Griggs, Xiaohua Teresa Jin
CORR
2004
Springer
105views Education» more  CORR 2004»
13 years 8 months ago
Mathematical knowledge management is needed
In this lecture I discuss some aspects of MKM, Mathematical Knowledge Management, with particuar emphasis on information storage and information retrieval. MSCS: 68P20, 68T30 Key w...
Michiel Hazewinkel
VMCAI
2005
Springer
14 years 2 months ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...