|
Comparing approaches to the exploration of the domain of residue classes: ghosts consensus method Meier A., Pollet M., Sorge V. Journal of Symbolic Computation 34(4): 287-306, 2002. Type: Article
This paper was published in a special issue of this journal that was dedicated to the application of automated reasoning to different algebraic domains and problems, and to the integration of computer algebra systems (CASs). The author...
|
Jul 10 2003 |