Type theory, computer algebra & dynamical systems

2004 ◽  
Author(s):  
A.V. Flegontov ◽  
S.V. Soloviev
Keyword(s):  
Dynamical Systems ◽  
Computer Algebra ◽  
Type Theory

scholarly journals Computer Algebra Tests on Identifiability of Nonlinear Implicit Dynamical Systems

PAMM ◽  
2005 ◽  
Vol 5 (1) ◽  
pp. 191-192
Author(s):  
Kurt Zehetleitner ◽  
Kurt Schlacher
Keyword(s):  
Dynamical Systems ◽  
Computer Algebra

Extended Lorenz Models and Time Dependent First Integrals

1994 ◽  
Vol 49 (7-8) ◽  
pp. 751-753
Author(s):  
W.-H. Steeb
Keyword(s):  
Dynamical Systems ◽  
Computer Algebra ◽  
First Integrals ◽  
Time Dependent ◽  
Dissipative Dynamical Systems

Abstract We show how computer algebra can be used to find time dependent first integrals of dissipative dynamical systems. Extended Lorenz models are studied as examples.

An Application of Computer Algebra and Dynamical Systems

2019 ◽  
pp. 225-236
Author(s):  
Predrag S. Stanimirović ◽  
Yimin Wei ◽  
Dejan Kolundžija ◽  
Juan Rafael Sendra ◽  
Juana Sendra
Keyword(s):  
Dynamical Systems ◽  
Computer Algebra
Sign in / Sign up

Export Citation Format

Share Document