Sciweavers

5510 search results - page 112 / 1102
» Mathematics
Sort
View
BIRTHDAY
2005
Springer
15 years 5 months ago
Bridging Theorem Proving and Mathematical Knowledge Retrieval
Christoph Benzmüller, Andreas Meier, Volker S...
97
Voted
ESWS
2008
Springer
15 years 5 months ago
SWiM - A Semantic Wiki for Mathematical Knowledge Management
Christoph Lange 0002
118
Voted
MASCOTS
2008
15 years 5 months ago
Optimal Layered Multicast with Network Coding: Mathematical Model and Empirical Studies
Abstract--Recent advances in network coding research dramatically changed the underlying structure of optimal multicast routing algorithms and made them efficiently computable. Whi...
Ajay Gopinathan, Zongpeng Li
CSC
2006
15 years 5 months ago
Analysis of the Computer-Mathematics Research System ELIMINO
This paper presents an analysis of ELIMINO, a computer-mathematics research system that has been developed at the Chinese Academy of Sciences. Also presented are ideas to improve ...
Iyad A. Ajwa