On a modular algorithm for computing GCDs of polynomials over algebraic number fields
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Computational geometry: a retrospective
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
On the combinatorial and algebraic complexity of quantifier elimination
Journal of the ACM (JACM)
Groebner basis under composition II
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Gröbner Bases and Multidimensional FIR Multirate Systems
Multidimensional Systems and Signal Processing
A modular algorithm for computing greatest common right divisors of Ore polynomials
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
A subresultant theory for Ore polynomials with applications
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Geometric algorithms for trap design
SCG '99 Proceedings of the fifteenth annual symposium on Computational geometry
The complexity of resolvent resolved
SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms
An exact real algebraic arithmetic with equality determination
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Branch Points in One-Dimensional Gaussian Scale Space
Journal of Mathematical Imaging and Vision
Remarks on Gröbner basis for ideals under composition
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Triviality and Dimension of a System of Algebraic Differential Equations
Journal of Automated Reasoning
Algebraic Geometry and Computer Vision: Polynomial Systems, Real andComplex Roots
Journal of Mathematical Imaging and Vision
Normal parameterizations of algebraic plane curves
Journal of Symbolic Computation
How to Break Shamir's Asymmetric Basis
CRYPTO '95 Proceedings of the 15th Annual International Cryptology Conference on Advances in Cryptology
Polynomial Constants Are Decidable
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Complete Solution Classification for the Perspective-Three-Point Problem
IEEE Transactions on Pattern Analysis and Machine Intelligence
Computer algebra handbook
QEPCAD B: a program for computing with semi-algebraic sets using CADs
ACM SIGSAM Bulletin
An effective decision method for semidefinite polynomials
Journal of Symbolic Computation
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Graph compression and the zeros of polynomials
Information Processing Letters
Sum of roots with positive real parts
Proceedings of the 2005 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
On computing polynomial GCDs in alternate bases
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Uniform Gröbner bases for ideals generated by polynomials with parametric exponents
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
A note on implicitization and normal parametrization of rational curves
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
On the Probability of the Number of Solutions for the P4P Problem
Journal of Mathematical Imaging and Vision
Quantifier elimination for the reals with a predicate for the powers of two
Theoretical Computer Science
Real implicitization of curves and geometric extraneous components
Proceedings of the 2007 international workshop on Symbolic-numeric computation
Context Aware Calculation and Deduction
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Inclusion dynamics hybrid automata
Information and Computation
International Journal of Robotics Research
Structural models of algorithms in problems of applied programming. I. Formal algorithmic structures
Cybernetics and Systems Analysis
Computations modulo regular chains
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Algebraic systems biology: theses and hypotheses
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Algorithmic algebraic model checking IV: characterization of metabolic networks
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Cylinders through five points: complex and real enumerative geometry
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
On some decidable and undecidable problems related to q-difference equations with parameters
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Thomas decomposition of algebraic and differential systems
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
GiNaCRA: a C++ library for real algebraic computations
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Algorithms for computing triangular decompositions of polynomial systems
Proceedings of the 36th international symposium on Symbolic and algebraic computation
I-RiSC: an SMT-compliant solver for the existential fragment of real algebra
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Semi-algebraic description of the equilibria of dynamical systems
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Quantifier elimination for statistical problems
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Some necessary conditions on the number of solutions for the P4P problem
IWMM'04/GIAE'04 Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications
Algorithmic algebraic model checking i: challenges from systems biology
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Conditional independences in gaussian vectors and rings of polynomials
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Classification of direct kinematics to planar generalized Stewart platforms
Computational Geometry: Theory and Applications
Parameter identifiability of nonlinear systems: the role of initial conditions
Automatica (Journal of IFAC)
Algorithms for Rational Real Algebraic Curves
Fundamenta Informaticae
A symbiosis of interval constraint propagation and cylindrical algebraic decomposition
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Hi-index | 0.00 |