Using Symbolic Computation to Find Algebraic Invariants

Daniel Keren

doi:10.1109/34.334397

Using Symbolic Computation to Find Algebraic Invariants

Research output: Contribution to journal › Article › peer-review

Abstract

Implicit polynomials have proved themselves as having excellent representation power for complicated objects, and there is growing use of them in computer vision, graphics, and CAD. A must for every system that tries to recognize objects based on their representation by implicit polynomials are invariants, which are quantities assigned to polynomials that do not change under coordinate transformations. In the recognition system developed at the Laboratory for Engineering Man-Machine Studies in Brown University (LEMS), it became necessary to use invariants which are explicit and simple functions of the polynomial coefficients. A method to find such invariants is described and the new invariants presented. This work addresses only the problem of finding the invariants; their stability is studied in another paper.

Original language	English
Pages (from-to)	1143-1149
Number of pages	7
Journal	IEEE Transactions on Pattern Analysis and Machine Intelligence
Volume	16
Issue number	11
DOIs	https://doi.org/10.1109/34.334397
State	Published - Nov 1994
Externally published	Yes

Bibliographical note

Funding Information:
Manuscript received September 11, 1992; revised January 24, 1994. Supported in part by NSF Grant #IRI-8715774 and NSF-DAIWA Grant #IRI-8905436. Recommended for acceptance by Associate Editor R. Nevatia. The author is with the Laboratory for Engineering Man/Machine Systems, Division of Engineering, Brown University, Providence, RI 02912 USA, e-mail: [email protected]. IEEE Log Number 9405787.

ASJC Scopus subject areas

Software
Computer Vision and Pattern Recognition
Computational Theory and Mathematics
Artificial Intelligence
Applied Mathematics

Access to Document

10.1109/34.334397

Cite this

@article{6c9f2fe25dab45cc84b55bd3f403d2d1,

title = "Using Symbolic Computation to Find Algebraic Invariants",

abstract = "Implicit polynomials have proved themselves as having excellent representation power for complicated objects, and there is growing use of them in computer vision, graphics, and CAD. A must for every system that tries to recognize objects based on their representation by implicit polynomials are invariants, which are quantities assigned to polynomials that do not change under coordinate transformations. In the recognition system developed at the Laboratory for Engineering Man-Machine Studies in Brown University (LEMS), it became necessary to use invariants which are explicit and simple functions of the polynomial coefficients. A method to find such invariants is described and the new invariants presented. This work addresses only the problem of finding the invariants; their stability is studied in another paper.",

author = "Daniel Keren",

note = "Funding Information: Manuscript received September 11, 1992; revised January 24, 1994. Supported in part by NSF Grant #IRI-8715774 and NSF-DAIWA Grant #IRI-8905436. Recommended for acceptance by Associate Editor R. Nevatia. The author is with the Laboratory for Engineering Man/Machine Systems, Division of Engineering, Brown University, Providence, RI 02912 USA, e-mail: [email protected]. IEEE Log Number 9405787.",

year = "1994",

month = nov,

doi = "10.1109/34.334397",

language = "English",

volume = "16",

pages = "1143--1149",

journal = "IEEE Transactions on Pattern Analysis and Machine Intelligence",

issn = "0162-8828",

publisher = "IEEE Computer Society",

number = "11",

}

TY - JOUR

T1 - Using Symbolic Computation to Find Algebraic Invariants

AU - Keren, Daniel

N1 - Funding Information: Manuscript received September 11, 1992; revised January 24, 1994. Supported in part by NSF Grant #IRI-8715774 and NSF-DAIWA Grant #IRI-8905436. Recommended for acceptance by Associate Editor R. Nevatia. The author is with the Laboratory for Engineering Man/Machine Systems, Division of Engineering, Brown University, Providence, RI 02912 USA, e-mail: [email protected]. IEEE Log Number 9405787.

PY - 1994/11

Y1 - 1994/11

N2 - Implicit polynomials have proved themselves as having excellent representation power for complicated objects, and there is growing use of them in computer vision, graphics, and CAD. A must for every system that tries to recognize objects based on their representation by implicit polynomials are invariants, which are quantities assigned to polynomials that do not change under coordinate transformations. In the recognition system developed at the Laboratory for Engineering Man-Machine Studies in Brown University (LEMS), it became necessary to use invariants which are explicit and simple functions of the polynomial coefficients. A method to find such invariants is described and the new invariants presented. This work addresses only the problem of finding the invariants; their stability is studied in another paper.

AB - Implicit polynomials have proved themselves as having excellent representation power for complicated objects, and there is growing use of them in computer vision, graphics, and CAD. A must for every system that tries to recognize objects based on their representation by implicit polynomials are invariants, which are quantities assigned to polynomials that do not change under coordinate transformations. In the recognition system developed at the Laboratory for Engineering Man-Machine Studies in Brown University (LEMS), it became necessary to use invariants which are explicit and simple functions of the polynomial coefficients. A method to find such invariants is described and the new invariants presented. This work addresses only the problem of finding the invariants; their stability is studied in another paper.

UR - http://www.scopus.com/inward/record.url?scp=0028546874&partnerID=8YFLogxK

U2 - 10.1109/34.334397

DO - 10.1109/34.334397

M3 - Article

AN - SCOPUS:0028546874

SN - 0162-8828

VL - 16

SP - 1143

EP - 1149

JO - IEEE Transactions on Pattern Analysis and Machine Intelligence

JF - IEEE Transactions on Pattern Analysis and Machine Intelligence

IS - 11

ER -

Using Symbolic Computation to Find Algebraic Invariants

Abstract

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this