5510 search results - page 144 / 1102 » Mathematics |
159
click to vote
MKM
2005
Springer
15 years 12 months ago
2005
Springer
Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropri...
308
click to vote
ACMMPC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective ...
116
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
A digitization project in progress carried out by the Mathematical Institute of the Serbian Academy of Sciences, Belgrade (http://www.mi.sanu.ac.yu) and the Faculty of Mathematics...
157
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
177
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...