Login / Signup

Existence of solutions for first order PBVPs with impulses on time scales.

Zongyi WangPeixuan Weng
Published in: Comput. Math. Appl. (2008)
Keyphrases
  • higher order
  • optimal solution
  • benchmark problems
  • first order logic
  • solution space
  • search algorithm
  • quantifier elimination