Minimal completely factorable annihilators
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Synthesis and Analysis of Sigma-Delta Modulators Employing Continuous-Time Filters
Analog Integrated Circuits and Signal Processing
ACM SIGSAM Bulletin
Design, implementation and testing of extended and mixed precision BLAS
ACM Transactions on Mathematical Software (TOMS)
Computing the minimal telescoper for sums of hypergeometric terms
ACM SIGSAM Bulletin
Graphs and enhancing Maple multiplication
Mathematics and Computer Education
An improved computation of component centers in the degree-n bifurcation set
The Korean Journal of Computational & Applied Mathematics
The Meaning of Infinity in Calculus and Computer Algebra Systems
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Gaussian elimination: a case study in efficient genericity with MetaOCaml
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
Accurate computation of component centers in the degree-n bifurcation set
Computers & Mathematics with Applications
Computer aided symbolic linear algebra
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Cleaning random d-regular graphs with brushes using a degree-greedy algorithm
CAAN'07 Proceedings of the 4th conference on Combinatorial and algorithmic aspects of networking
Hi-index | 0.00 |