5510 search results - page 144 / 1102 » Mathematics |
127
click to vote
MKM
2005
Springer
15 years 9 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...
262
click to vote
ACMMPC
2000
Springer
15 years 8 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 ...
ELPUB
2007
ACM
15 years 7 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...
120
click to vote
ITP
2010
15 years 7 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 ...
138
Voted
ENTCS
2006
15 years 3 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...