Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes
Michele Boreale
Topics & Concepts
PreconditionAlgebraic numberPolynomialMathematicsAlgebraic functionState (computer science)Real algebraic geometryDimension of an algebraic varietyDiscrete mathematicsComputer scienceAlgebra over a fieldAlgorithmPure mathematicsMathematical analysisProgramming languagePolynomial and algebraic computationFormal Methods in VerificationNumerical Methods and Algorithms