Algorithms in invariant theory

Algebraic geometry and group theory in geometric constraint satisfaction

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation

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

Implicitization of parametric curves and surfaces by using symmetric functions

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation

Computing radical expressions for roots of unity

ACM SIGSAM Bulletin

Double Circulant Codes over Z\!Z_{\bf 4}and Even Unimodular Lattices

Journal of Algebraic Combinatorics: An International Journal

Invariants of Families of Coplanar Conics and Their Applicationsto Object Recognition

Journal of Mathematical Imaging and Vision

A survey of the Theorema project

ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation

Differential and Numerically Invariant Signature Curves Applied to Object Recognition

International Journal of Computer Vision

Finite-Memory Systems

Multidimensional Systems and Signal Processing

Model-Based Recognition of 3D Curves From One View

Journal of Mathematical Imaging and Vision

Algebraic methods and arithmetic filtering for exact predicates on circle arcs

Proceedings of the sixteenth annual symposium on Computational geometry

Model-Based Recognition of 3D Objects from Single Images

IEEE Transactions on Pattern Analysis and Machine Intelligence

Rankin-Cohen Brackets and Invariant Theory

Journal of Algebraic Combinatorics: An International Journal

algebraic invariants of graphs: a computer aided study

ACM SIGSAM Bulletin

Reduction of permutation-invariant polynomials

Information and Computation

Vectorial Equations Solving for Mechanical Geometry Theorem Proving

Journal of Automated Reasoning

Jacobi Polynomials, Type II Codes, and Designs

Designs, Codes and Cryptography

Homogeneous Bent Functions, Invariants, and Designs

Designs, Codes and Cryptography

Calculating Generators for Invariant Fields of Linear Algebraic Groups

AAECC-13 Proceedings of the 13th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Fast Rewriting of Symmetric Polynomials

RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications

Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method

ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry

On Homogeneous Bent Functions

AAECC-14 Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

The Sibirsky component of the center variety of polynomial differential systems

Journal of Symbolic Computation - Special issue: Algebra and computer analysis

About the correspondences of points between N image

VSR '95 Proceedings of the IEEE Workshop on Representation of Visual Scenes

Fourth order linear differential equations with imprimitive group

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation

Higher weights and graded rings for binary self-dual codes

Discrete Applied Mathematics - Special issue: International workshop on coding and cryptography (WCC 2001)

An algorithm for computing invariants of linear actions of algebraic groups up to a given degree

Journal of Symbolic Computation

Cited References

Computer algebra handbook

The Classical Theory of Invariants and Object Recognition Using Algebraic Curve and Surfaces

Journal of Mathematical Imaging and Vision

Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. incidence geometry

Journal of Symbolic Computation

Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. conic geometry

Journal of Symbolic Computation

Symbolic computation in the homogeneous geometric model with clifford algebra

ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation

On the Covering Radius of Ternary Extremal Self-Dual Codes

Designs, Codes and Cryptography

Single view based measurement on space planes

Journal of Computer Science and Technology

Higher Weights for Ternary and Quaternary Self-Dual Codes*

Designs, Codes and Cryptography

The predicates of the Apollonius diagram: algorithmic analysis and implementation

Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations

Geometric constraints solving: some tracks

Proceedings of the 2006 ACM symposium on Solid and physical modeling

Camera Calibration and Direct Reconstruction from Plane with Brackets

Journal of Mathematical Imaging and Vision

Using Cayley-Menger determinants for geometric constraint solving

SM '04 Proceedings of the ninth ACM symposium on Solid modeling and applications

Note on curve and surface energies

Computer Aided Geometric Design

The largest group of invariance for Markov bases and toric ideals

Journal of Symbolic Computation

A symbolic approach to polyhedral scene analysis by parametric calotte propagation*

Robotica

Efficient Applications of Invariants to Harmonic Balance Equation Using Gröbner Base

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

Punctured plane partitions and the q-deformed Knizhnik--Zamolodchikov and Hirota equations

Journal of Combinatorial Theory Series A

Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases

Proceedings of the 2009 international symposium on Symbolic and algebraic computation

The predicates of the Apollonius diagram: Algorithmic analysis and implementation

Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations

Eigenvalues of a real supersymmetric tensor

Journal of Symbolic Computation

On algorithmically checking whether a Hilbert series comes from a complete intersection

Journal of Symbolic Computation

Tensor algebra: a combinatorial approach to the projective geometry of figures

IWCIA'04 Proceedings of the 10th international conference on Combinatorial Image Analysis

Invariants for the computation of intransitive and transitive Galois groups

Journal of Symbolic Computation

Testing equivalence of ternary cubics

ANTS'06 Proceedings of the 7th international conference on Algorithmic Number Theory

Classification of genus 3 curves in special strata of the moduli space

ANTS'06 Proceedings of the 7th international conference on Algorithmic Number Theory

On miquel's five-circle theorem

IWMM'04/GIAE'04 Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications

A unified and complete framework of invariance for six points

IWMM'04/GIAE'04 Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications

nD polyhedral scene reconstruction from single 2D line drawing by local propagation

ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry

Cancellation patterns in automatic geometric theorem proving

ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry

A formalization of grassmann-cayley algebra in COQ and its application to theorem proving in projective geometry

ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry

On decomposable semigroups and applications

Journal of Symbolic Computation