Some applications of gröbner bases

Computing in Science and Engineering

Volumn 6, Issue 3, 2004, Pages 56-60

  Roanes Lozano, Eugenio ^a   Roanes Macías, Eugenio ^a   Laita, Luis M ^b  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

^b UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC SYSTEMS; GRÖBNER BASES; KNOWLEDGE EXTRACTION; POLYNOMIAL EQUATION;

COMPUTATIONAL GEOMETRY; DECISION MAKING; EXPERT SYSTEMS; INTERLOCKING SIGNALS; KNOWLEDGE ACQUISITION; LINEAR SYSTEMS; POLYNOMIALS; PROBLEM SOLVING; THEOREM PROVING; TOPOLOGY; VECTORS;

COMPUTATIONAL METHODS;

EID: 2342636377     PISSN: 15219615     EISSN: None     Source Type: Journal    
DOI: 10.1109/MCISE.2004.1289309     Document Type: Review

References (6)

1. D. Cox, J. Little, and D. O'Shea, Ideals, Varieties, and Algorithms, Springer-Verlag, 1992.
2. L. González-Vega, "Computer Aided Design and Modeling," Computer Algebra Handbook, J. Grabmeier, E. Kaltofen, and V. Weispfenning, eds., Springer-Verlag, 2003, pp. 234-242.
3. B. Buchberger, "Applications of Gröbner Bases in Non-Linear Computational Geometry," Mathematical Aspects of Scientific Software, vol. 14, J.R. Rice, ed., Springer-Verlag, 1988, pp. 60-87.
4. E. Roanes-Lozano et al., "A Polynomial Model for Multi-Valued Logics with a Touch of Algebraic Geometry and Computer Algebra," Mathematics and Computers in Simulation, vol. 45, nos. 1-2, 1998, pp. 83-99.
5. E. Roanes-Lozano and L.M. Laita, "Railway Interlocking Systems and Gröbner Bases," Mathematics and Computers in Simulation, vol. 51, no. 5, 2000, pp. 473-481.
6. L. González-Vega and J.R. Sendra, "Algebraic-Geometric Methods for the Manipulation of Curves and Surfaces," Actas del 7° Encuentro de Álgebra Computacional y Aplicaciones (EACA'2001), J. Rubio, ed., Universidad de La Rioja, 2001, pp. 45-60.