Results 1  10
of
104
On the geometry and algebra of the point and line correspondences between N images
, 1995
"... We explore the geometric and algebraic relations that exist between correspondences of points and lines in an arbitrary number of images. We propose to use the formalism of the GrassmannCayley algebra as the simplest way to make both geometric and algebraic statements in a very synthetic and effect ..."
Abstract

Cited by 149 (6 self)
 Add to MetaCart
We explore the geometric and algebraic relations that exist between correspondences of points and lines in an arbitrary number of images. We propose to use the formalism of the GrassmannCayley algebra as the simplest way to make both geometric and algebraic statements in a very synthetic and effective way (i.e. allowing actual computation if needed). We have a fairly complete picture of the situation in the case of points: there are only three types of algebraic relations which are satisfied by the coordinates of the images of a 3D point: bilinear relations arising when we consider pairs of images among the N and which are the wellknown epipolar constraints, trilinear relations arising when we consider triples of images among the N , and quadrilinear relations arising when we consider fourtuples of images among the N . In the case of lines, we show how the traditional perspective projection equation can be suitably generalized and that in the case of three images there exist two in...
Cluster algebras II: Finite type classification, Invent
 Department of Mathematics, Northeastern University
"... 1.2. Basic definitions 3 1.3. Finite type classification 5 ..."
Abstract

Cited by 105 (16 self)
 Add to MetaCart
1.2. Basic definitions 3 1.3. Finite type classification 5
Affine Structure from Line Correspondences with Uncalibrated Affine Cameras
 IEEE Trans. Pattern Analysis and Machine Intelligence
, 1997
"... This paper presents a linear algorithm for recovering 3D affine shape and motion from line correspondences with uncalibrated affine cameras. The algorithm requires a minimum of seven line correspondences over three views. The key idea is the introduction of a onedimensional projective camera. This ..."
Abstract

Cited by 74 (9 self)
 Add to MetaCart
This paper presents a linear algorithm for recovering 3D affine shape and motion from line correspondences with uncalibrated affine cameras. The algorithm requires a minimum of seven line correspondences over three views. The key idea is the introduction of a onedimensional projective camera. This converts 3D affine reconstruction of "line directions" into 2D projective reconstruction of "points". In addition, a linebased factorisation method is also proposed to handle redundant views. Experimental results both on simulated and real image sequences validate the robustness and the accuracy of the algorithm.
Quantum Schubert Polynomials
 J. AMER. MATH. SOC
, 1997
"... We compute GromovWitten invariants of the flag manifold using a new combinatorial construction for its quantum cohomology ring. Our construction provides quantum analogues of the BernsteinGelfandGelfand results on the cohomology of the flag manifold, and the LascouxSchutzenberger theory of S ..."
Abstract

Cited by 67 (6 self)
 Add to MetaCart
We compute GromovWitten invariants of the flag manifold using a new combinatorial construction for its quantum cohomology ring. Our construction provides quantum analogues of the BernsteinGelfandGelfand results on the cohomology of the flag manifold, and the LascouxSchutzenberger theory of Schubert polynomials. We also derive the quantum Monk's formula.
A Survey on the Theorema Project
 In International Symposium on Symbolic and Algebraic Computation
, 1997
"... The Theorema project aims at extending current computer algebra systems by facilities for supporting mathematical proving. The present earlyprototype version of the Theorema software system is implemented in Mathematica 3.0. The system consists of a general higherorder predicate logic prover and ..."
Abstract

Cited by 47 (10 self)
 Add to MetaCart
The Theorema project aims at extending current computer algebra systems by facilities for supporting mathematical proving. The present earlyprototype version of the Theorema software system is implemented in Mathematica 3.0. The system consists of a general higherorder predicate logic prover and a collection of special provers that call each other depending on the particular proof situations. The individual provers imitate the proof style of human mathematicians and aim at producing humanreadable proofs in natural language presented in nested cells that facilitate studying the computergenerated proofs at various levels of detail. The special provers are intimately connected with the functors that build up the various mathematical domains. 1 The Objectives of the Theorema Project The Theorema project aims at providing a uniform (logic and software) frame for computing, solving, and proving. In a simplified view, given a "knowledge base" K of formulae (and a logical / computat...
Cyclic SelfDual Codes
, 1983
"... It is shown that if the automorphism group of a binary selfdual code satisfies a certain condition then the code contains words of weight congruent to 2 modulo 4. In particular, no cyclic binary selfdual code can have all its weights divisible by 4. The number of cyclic binary selfdual codes of l ..."
Abstract

Cited by 42 (5 self)
 Add to MetaCart
It is shown that if the automorphism group of a binary selfdual code satisfies a certain condition then the code contains words of weight congruent to 2 modulo 4. In particular, no cyclic binary selfdual code can have all its weights divisible by 4. The number of cyclic binary selfdual codes of length n is determined, and the shortest nontrivial code in this class is shown to have length 14. 1.
Computational Invariant Theory
 Encyclopaedia of Mathematical Sciences, SpringerVerlag
, 1998
"... This article is an expanded version of the material presented there. The main topic is the calculation of the invariant ring of a finite group acting on a polynomial ring by linear transformations of the indeterminates. By "calculation" I mean finding a finite system of generators for the invariant ..."
Abstract

Cited by 39 (1 self)
 Add to MetaCart
This article is an expanded version of the material presented there. The main topic is the calculation of the invariant ring of a finite group acting on a polynomial ring by linear transformations of the indeterminates. By "calculation" I mean finding a finite system of generators for the invariant ring, and (optionally) determining structural properties of it. In this exposition particular emphasis is placed on the case that the ground field has positive characteristic dividing the group order. We call this the modular case, and it is important for several reasons. First, many theoretical questions about the structure of modular invariant rings are still open. I will address the problems which I consider the most important or fascinating in the course of the paper. Thus it is very helpful to be able to compute modular invariant rings in order to gain experience, formulate or check conjectures, and gather some insight which in fortunate cases leads to proofs. Furthermore, the computation of modular invariant ring can be very useful for the study of cohomology of finite groups (see Adem and Milgram [1]). This exposition also treats the nonmodular case (characteristic zero or coprime to the group order), where computations are much easier and the theory is for the most part settled. There are also various applications in this case, such as the solution of algebraic equations or the study of dynamical systems with symmetries (see, for example, Gatermann [11], Worfolk [26]).
A Comparison of Projective Reconstruction Methods for Pairs of Views
, 1995
"... Recently, different approaches for uncalibrated stereo have been suggested which permit projective reconstructions from multiple views. These use weak calibration which is represented by the epipolar geometry, and so we require no knowledge of the intrinsic or extrinsic camera parameters. In this pa ..."
Abstract

Cited by 32 (5 self)
 Add to MetaCart
Recently, different approaches for uncalibrated stereo have been suggested which permit projective reconstructions from multiple views. These use weak calibration which is represented by the epipolar geometry, and so we require no knowledge of the intrinsic or extrinsic camera parameters. In this paper we consider projective reconstructions from pairs of views, and compare a number of the available methods. Projective stereo algorithms can be categorized by the way in which the 3D coordinates are computed. The first class is similar to traditional stereo algorithms in that the 3D world geometry is made explicit; the initial phase of the processing always involves the estimation of the camera matrices from which the 3D coordinates are computed. We show how the camera matrices can be computed either from point correspondences, or how they are constrained by the fundamental matrices. The second class of algorithms are based on implicit image measurements which are used to compute project...
Algebraic methods and arithmetic filtering for exact predicates on circle arcs
 Computational Geometry: Theory and Applications
"... The purpose of this paper is to present a new method to design exact geometric predicates in algorithms dealing with curved objects such as circular arcs. We focus on the comparison of the abscissae of two intersection points of circle arcs, which is known to be a difficult predicate involved in the ..."
Abstract

Cited by 28 (6 self)
 Add to MetaCart
The purpose of this paper is to present a new method to design exact geometric predicates in algorithms dealing with curved objects such as circular arcs. We focus on the comparison of the abscissae of two intersection points of circle arcs, which is known to be a difficult predicate involved in the computation of arrangements of circle arcs. We present an algorithm for deciding the xorder of intersections from the signs of the coefficients of a polynomial, obtained by a general approach based on resultants. This method allows the use of efficient arithmetic and filtering techniques leading to fast implementation as shown by the experimental results. 1