Sciweavers

5510 search results - page 40 / 1102
» Mathematics
Sort
View
BSL
2008
92views more  BSL 2008»
14 years 9 months ago
Mathematical Fuzzy Logics
The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discus...
Siegfried Gottwald
CORR
2004
Springer
105views Education» more  CORR 2004»
14 years 9 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
MKM
2005
Springer
15 years 3 months ago
Engineering Mathematical Knowledge
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...
Achim Mahnke, Jan Scheffczyk
TEX
2004
Springer
207views Latex» more  TEX 2004»
15 years 3 months ago
Arabic Mathematical e-Documents
What problems do e-documents with mathematical expressions in an Arabic presentation present? In addition to the known difficulties of handling mathematical expressions based on L...
Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami
IWFM
1998
125views Formal Methods» more  IWFM 1998»
14 years 11 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh