Understanding expression simplification
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Application of Wu's method to symbolic model checking
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Equivalence verification of arithmetic datapaths with multiple word-length operands
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Hybrid symbolic-numeric computation
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
On the design of a Java computer algebra system
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
A case study of Grid Computing and computer algebra: parallel Gröbner Bases and Characteristic Sets
The Journal of Supercomputing
Component-level parallelization of triangular decompositions
Proceedings of the 2007 international workshop on Parallel symbolic computation
ACM Communications in Computer Algebra
Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
On a Java computer algebra system, its performance and applications
Science of Computer Programming
Evaluation of a Java Computer Algebra System
Computer Mathematics
Nearest multivariate system with given root multiplicities
Journal of Symbolic Computation
The number of decomposable univariate polynomials. extended abstract
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
FAW'10 Proceedings of the 4th international conference on Frontiers in algorithmics
Unique factorization domains in the java computer algebra system
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Algebraic structures as typed objects
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
A maple package for conditional event algebras
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
GCD of multivariate approximate polynomials using beautification with the subtractive algorithm
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Lower bounds for decomposable univariate wild polynomials
Journal of Symbolic Computation
Knowledge Bases Over Algebraic Models: Some Notes About Informational Equivalence
International Journal of Knowledge Management
| Hi-index | 0.00 |