( en | de | ru )

 

Disambiguation of "Roanes-Lozano, Eugenio"

Author of the publication

copydeleteadd this publication to your clipboard
A Computer Algebra Approach to Relational Systems Using Gröbner Bases.

, , , , and . RelMiCS, volume 2561 of Lecture Notes in Computer Science, page 124-133. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Eugenio Rivera

Eugenio Fava

Eugenio Amato

Enrique Lozano

Enrique Lozano

 

Other publications of authors with the same name

A Computer Algebra Approach to Relational Systems Using Gröbner Bases., , , , and . RelMiCS, volume 2561 of Lecture Notes in Computer Science, page 124-133. Springer, (2001)A Simple GUI for Developing Applications That Use Mathematical Software Systems., and . AISC, volume 8884 of Lecture Notes in Computer Science, page 99-119. Springer, (2014)Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem., and . AISC, volume 1930 of Lecture Notes in Computer Science, page 157-173. Springer, (2000)An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra., , and . IEA/AIE (Vol. 2), volume 1416 of Lecture Notes in Computer Science, page 687-696. Springer, (1998)A Method of Logic Deduction and Verification in KBS Using Positive Integers., , and . CASC, page 461-475. Springer Berlin Heidelberg, (2001)Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System.. CASC, volume 12291 of Lecture Notes in Computer Science, page 528-542. Springer, (2020)Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria., , , and . EUROVAV, page 53-65. Kluwer, (1999)A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry., and . Automated Deduction in Geometry, volume 4869 of Lecture Notes in Computer Science, page 171-188. Springer, (2006)A Methodology for Constructing Expert Systems for Medical Diagnosis., , , , , and . ISMDA, volume 2199 of Lecture Notes in Computer Science, page 146-152. Springer, (2001)A Rule-Based Expert System for Vaginal Cytology Diagnosis., , and . AISC, volume 8884 of Lecture Notes in Computer Science, page 34-48. Springer, (2014)