scientific article; zbMATH DE number 1953891

zbMATH Open1027.68983MaRDI QIDQ4415076FDOQ4415076

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

Title of this publication is not available (Why is that?)

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

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)

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)