scholarly journals Spectral sequences and parametric normal forms

2012 ◽  
Vol 252 (2) ◽  
pp. 1003-1031 ◽  
Author(s):  
Majid Gazor ◽  
Pei Yu
Author(s):  
V. I. Arnold ◽  
S. M. Gusein-Zade ◽  
A. N. Varchenko

2010 ◽  
Vol 20 (11) ◽  
pp. 3487-3515 ◽  
Author(s):  
MAJID GAZOR ◽  
PEI YU

We introduce a formal decomposition method for efficiently computing the parametric normal form of nonlinear dynamical systems with multiple parameters. Recently introduced notions of formal basis style and costyle are applied through formal decomposition method to obtain the simplest parametric normal form for degenerate nonlinear parametric center. The necessary formulas are derived and implemented using Maple to compute the simplest parametric normal form of degenerate and nondegenerate nonlinear centers. Our program computes the order of any planar parametric systems associated with this singularity.


Author(s):  
V. I. Arnold ◽  
S. M. Gusein-Zade ◽  
A. N. Varchenko

Author(s):  
N.I. Gdansky ◽  
◽  
A.A. Denisov ◽  

The article explores the satisfiability of conjunctive normal forms used in modeling systems.The problems of CNF preprocessing are considered.The analysis of particular methods for reducing this formulas, which have polynomial input complexity is given.


Vestnik MEI ◽  
2019 ◽  
Vol 6 ◽  
pp. 131-137
Author(s):  
Abdukhafiz A. Bobodzhanova ◽  
◽  
Valeriy F. Safonov ◽  

Sign in / Sign up

Export Citation Format

Share Document