scientific article; zbMATH DE number 1953891

MaRDI QIDQ4415076zbMATH OpenFDO

Authors Luis M. Laita, Luis de Ledesma, Tomasa Calvo, L. Gozález-Sotos, Eugenio Roanes-Lozano

Publication date 28 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2561/25610124.htm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Some applications of matrix - and computer algebra in relation theory
• Relation-algebraic computation of fixed points with applications
• Comprehensive Gröbner bases in a Java computer algebra system
• Comprehensive Gröbner bases in a Java computer algebra system
• On computation complexity problems concerning relation algebras
• Relational and algebraic methods in computer science
• Relational and algebraic methods in computer science
• Relational and algebraic methods in computer science
• An implementation method of Boolean Gröbner bases and comprehensive Boolean Gröbner bases on general computer algebra systems
• A computational model of relational algebra

Cited in

(3)

• An algebraic approach to DC railway electrification verification
• Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView
• Computer Algebra in Scientific Computing

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4415076)