Computer Algebra: Past and Future
Journal of Symbolic Computation
A knowledge-based system for computer algebra
ACM SIGSAM Bulletin
Limitations to algorithm solvability: Galois methods and models of computation
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Edusym—educational symbolic manipulator on a microcomputer
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
Journal of Symbolic Computation
Compliant motion planning with geometric models
SCG '87 Proceedings of the third annual symposium on Computational geometry
The design of LINETOOL, a geometric editor
SCG '88 Proceedings of the fourth annual symposium on Computational geometry
Labeled trees and the efficient computation of derivations
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Advances and trends in the design and construction of algebraic manipulation systems
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A Critical-pair/completion based integration algorithm
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Hankel matrices and computer algebra
ACM SIGSAM Bulletin - Issue #93
A program for computing Puiseux expansions
ACM SIGSAM Bulletin - Issue #94
Using degrees of freedom analysis to solve geometric constraint systems
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Practical factorization of univariate polynomials over finite fields
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
A deductive database of the groups of order dividing 128
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Symbolic simplification of tensor expressions using symmetries, dummy indices and identities
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Noether's S-transformation simplifies curve singularities rationally: a local analysis
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Efficient algorithms for Hankel matrices over Z[x1,…,xr]
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Fast polynomial dispersion computation and its application to indefinite summation
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Symbolic mathematics system evaluators (extended abstract)
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Computing exact geometric predicates using modular arithmetic with single precision
SCG '97 Proceedings of the thirteenth annual symposium on Computational geometry
An intelligent tutor for high-school algebra
CSC '87 Proceedings of the 15th annual conference on Computer Science
Symbolic and numeric methods for exploiting structure in constructing resultant matrices
Journal of Symbolic Computation
Compatibility of Systems of Linear Constraints over the Set of Natural Numbers
Cybernetics and Systems Analysis
Algebraic Geometry and Computer Vision: Polynomial Systems, Real andComplex Roots
Journal of Mathematical Imaging and Vision
Requirement Oriented Programming
Selected Papers from the International Seminar on Generic Programming
Computer algebra handbook
An equational approach to theorem proving in first-order predicate calculus
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
A discussion and implementation of Brown's REX simplification algorithm
ACM SIGSAM Bulletin
Experiments with muMATH in Austrian high schools
ACM SIGSAM Bulletin
A radical proposal for computer algebra in education
ACM SIGSAM Bulletin
On improving approximate results of Buchberger's algorithm by Newton's method
ACM SIGSAM Bulletin
The predicates of the Apollonius diagram: algorithmic analysis and implementation
Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations
A VR-Human Interface for Assisting Human Input in Path Planning for Telerobots
Presence: Teleoperators and Virtual Environments
Exact and efficient 2D-arrangements of arbitrary algebraic curves
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
CRYPTO 2008 Proceedings of the 28th Annual conference on Cryptology: Advances in Cryptology
High order derivatives and decomposition of multivariate polynomials
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Cryptanalysis of the TRMS signature scheme of PKC'05
AFRICACRYPT'08 Proceedings of the Cryptology in Africa 1st international conference on Progress in cryptology
Total break of the l-IC signature scheme
PKC'08 Proceedings of the Practice and theory in public key cryptography, 11th international conference on Public key cryptography
Decomposition of generic multivariate polynomials
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Algebraic and numerical algorithms
Algorithms and theory of computation handbook
Applications of FFT and structured matrices
Algorithms and theory of computation handbook
Implicit reduced involutive forms and their application to engineering multibody systems
IWMM'04/GIAE'04 Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I
Computation of algebraic numbers and arithmetic operations over them with linear memory
Automation and Remote Control
CRYPTO'06 Proceedings of the 26th annual international conference on Advances in Cryptology
Polynomial equivalence problems: algorithmic and theoretical aspects
EUROCRYPT'06 Proceedings of the 24th annual international conference on The Theory and Applications of Cryptographic Techniques
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Hi-index | 0.00 |