Mechanical manipulation for a class of differential systems
- 31 August 1991
- journal article
- research article
- Published by Elsevier BV in Journal of Symbolic Computation
- Vol. 12 (2), 233-254
- https://doi.org/10.1016/s0747-7171(08)80127-7
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- BASIC PRINCIPLES OF MECHANICAL THEOREM PROVING IN ELEMENTARY GEOMETRIESPublished by World Scientific Pub Co Pte Ltd ,2008
- A class of cubic differential systems with 6-tuple focusJournal of Differential Equations, 1990
- REDUCE and the bifurcation of limit cyclesJournal of Symbolic Computation, 1990
- On the conditions of Kukles for the existence of a CentreBulletin of the London Mathematical Society, 1990
- A program for computing the Liapunov functions and Liapunov constants in scratchpad IIACM SIGSAM Bulletin, 1989
- Some cubic systems with several limit cyclesNonlinearity, 1988
- Basic principles of mechanical theorem proving in elementary geometriesJournal of Automated Reasoning, 1986
- Gröbner Bases: An Algorithmic Method in Polynomial Ideal TheoryPublished by Springer Science and Business Media LLC ,1985
- The number of limit cycles of certain polynomial differential equationsProceedings of the Royal Society of Edinburgh: Section A Mathematics, 1984
- Problems of present day mathematicsProceedings of Symposia in Pure Mathematics, 1976