There has been a great deal of success in the last twenty years with the use of cutting plane algorithms to solve specialized integer programming problems. Generally, these algori...
Abstract. Following Gaudry and G¨urel who extended Kedlaya’s point-counting algorithm to superelliptic curves, we introduce Harvey’s running time improvements for large enough...
Abstract. A competition between systems for doing exact real number computations was held in September 2000. We present the results obtained and give a short evaluation of the diï¬...
Traditionally, the introductory computer graphics course in computer science has focused on fundamental algorithms and techniques for creating images and animations. This was refl...
Abstract. Structural computing is a new paradigm for developing applications in new domains. One of its benefits is that adaptation of behavior--as a consequence of changes of the ...