Interactions Between PVS and Maple in Symbolic Analysis of Control Systems

  • Authors:

  • Ruth Hardy

  • Affiliations:

  • School of Computer Science, University of St Andrews, St Andrews, Scotland

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a decision procedure for problems relating polynomial and transcendental functions. The procedure applies to functions that are continuously differentiable with a finite number of points of inflection in a closed convex set. It decides questions of the form 'is f~0?', where ~@?{=,,