The symbolic computation of differential invariants of polynomial vector field systems using trees
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Algebraic Geometry and Computer Vision: Polynomial Systems, Real andComplex Roots
Journal of Mathematical Imaging and Vision
A Dynamic Scale–Space Paradigm
Journal of Mathematical Imaging and Vision
Using invariant image features for synchronization in spread spectrum image watermarking
EURASIP Journal on Applied Signal Processing - Image analysis for multimedia interactive services - part I
Towards Limit Computable Mathematics
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
Computing real inflection points of cubic algebraic curves
Computer Aided Geometric Design
The Classical Theory of Invariants and Object Recognition Using Algebraic Curve and Surfaces
Journal of Mathematical Imaging and Vision
How to Solve a Cubic Equation, Part 5: Back to Numerics
IEEE Computer Graphics and Applications
Using invariant image features for synchronization in spread spectrum image watermarking
EURASIP Journal on Applied Signal Processing
An automatic method for generating affine moment invariants
Pattern Recognition Letters
Can Proofs be Animated by Games?
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Extension of Moment Features' Invariance to Blur
Journal of Mathematical Imaging and Vision
A complete minimal system of covariants for the binary form of degree 7
Journal of Symbolic Computation
International Journal of Computer Vision
Some improvements to 4-descent on an elliptic curve
ANTS-VIII'08 Proceedings of the 8th international conference on Algorithmic number theory
Affine moment invariants generated by graph method
Pattern Recognition
Cantor's paradise regained: constructive mathematics from Brouwer to Kolmogorov to Gelfond
Logic programming, knowledge representation, and nonmonotonic reasoning
Testing equivalence of ternary cubics
ANTS'06 Proceedings of the 7th international conference on Algorithmic Number Theory
IWMM'04/GIAE'04 Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications
Can proofs be animated by games?
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Can Proofs be Animated by Games?
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
| Hi-index | 0.00 |