Computing combinatorial types of trajectories in Pfaffian dynamics
type: Item
instance of: scholarly article
title: Computing combinatorial types of trajectories in Pfaffian dynamics
zbMATH Open document ID: 1192.68450
author: M. V. Korovina
author: Nicolai Vorobjov
published in: The Journal of Logic and Algebraic Programming
publication date: 2009-12-18T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5650088
zbMATH Keywords: dynamical systems
zbMATH Keywords: o-minimality
zbMATH Keywords: Pfaffian functions
MaRDI profile type: Publication
full work available at URL: j.jlap.2009.02.004
OpenAlex ID: W2015070325
cites work: Viability theory
cites work: Algorithms in real algebraic geometry
cites work: Q4372496
cites work: Hybrid Systems: Computation and Control
cites work: Complexity of cylindrical decompositions of sub-Pfaffian
cites work: Betti numbers of semialgebraic sets defined by quantifier-free formulae
cites work: Q3999699
cites work: Computer Science Logic
cites work: Logical Approaches to Computational Barriers
cites work: O-minimal hybrid systems.
cites work: Q5692721
cites work: Q4392286
DOI: 10.1016/J.JLAP.2009.02.004
description: scientific article; zbMATH DE number 5650088