Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations

First Author: Ghorbal K
Attributed to:  Automatic Proof Procedures for Polynomials and Special Functions funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-10936-7_10

Publication URI: http://dx.doi.org/10.1007/978-3-319-10936-7_10

Type: Book Chapter

Book Title: Static Analysis (2014)

Page Reference: 151-167

ISBN: 978-3-319-10935-0