Details:
Title | Derivation of specific conditions with Comprehensive Groebner Systems | Author(s) | Katsusuke Nabeshima, hiroshi Yoshida | Type | Technical Report, Misc | Abstract | Here we present an efficient calculation of comprehensive Groebner systems to derive specific conditions for neural circuits as well as electric circuits. Comprehensive Groebner systems (CGS) have been applied to problems with a small number of parameters such as the automatic geometric theorem proving and the inverse kinematics problem of a robot arm. In CGS, however, a larger number of parameters make its calculation less tractable. Therefore, we take `not-equal' conditions into account during CGS calculation, resulting in a reduced format of CGS of parametric systems even though many parameters exist. Using our implemented CGS, we derive specific conditions such as resonant conditions that play an important role in physical, mechanical, and biological phenomena. The obtained conditions lead to analysis of realistic neural circuits having many parameters, and provide us with a possibility of positive CGS. | Keywords | |
URL |
http://hdl.handle.net/2324/16764 |
Language | English | Year | 2010 | Month | March | Translation |
No | Refereed |
No | Institution |
Faculty of Mathematics, Kyushu University |
|