Author of the publication

The geometry of algebraic systems and their exact solving using Grobner bases.

, , and . Comput. Sci. Eng., 6 (2): 76-79 (2004)

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.

 

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 computer algebra approach to verification and deduction in many-valued knowledge systems., , , and . Soft Comput., 3 (1): 7-19 (1999)An algebraic approach to Parkinson disease diagnosis., and . Expert Syst. Appl., 37 (12): 7997-8005 (2010)The geometry of algebraic systems and their exact solving using Grobner bases., , and . Comput. Sci. Eng., 6 (2): 76-79 (2004)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)A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria., , , , and . ISMDA, volume 1933 of Lecture Notes in Computer Science, page 212-217. Springer, (2000)A Rule-Based Knowledge System for Diagnosis of Mental Retardation., , , , and . ISBMDA, volume 3337 of Lecture Notes in Computer Science, page 67-78. Springer, (2004)Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems., , and . CASC, page 349-363. Springer, (1999)A Computational Approach to George Boole's Discovery of Mathematical Logic., , , and . Artif. Intell., 91 (2): 281-307 (1997)