An algorithm to describe the solution set of any tropical linear system
β Scribed by E. Lorenzo; M.J. de la Puente
- Publisher
- Elsevier Science
- Year
- 2011
- Tongue
- English
- Weight
- 281 KB
- Volume
- 435
- Category
- Article
- ISSN
- 0024-3795
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We propose a method for computing the regular singular formal solutions of a linear differential system in the neighbourhood of a singular point. This algorithm avoids the use of cyclic vectors and has been implemented β in the computer algebra system Maple.
We describe a (finite) algorithm to determine the set of characteristics of a system of polynomial equations with integer coefficients by using the theory of GrΓΆbner bases. This gives us a proof that the set of characteristics must be either finite and not containing zero, or containing zero and cof