3 search results - page 1 / 1 » Analysis of the Computer-Mathematics Research System ELIMINO |
CSC
2006
13 years 6 months ago
2006
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 ...
CSB
2003
IEEE
13 years 10 months ago
2003
IEEE
Genomes to Life (GTL), the U.S. Department of Energy Office of Science’s systems biology program, focuses on environmental microbiology. Over the next 10 to 20 years, GTL’s ke...
PLDI
2009
ACM
14 years 5 days ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...