Switch branches/tags
Nothing to show
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
README.md
example_1.kya
example_2.kya
example_3.kya
example_4.kya

README.md

Simple examples of differential ghosts.

See Nathan's blog post.

Note: All of these proofs can be done automatically using the ODE tactic.

  • example_1.kya is Example 1 in the blog post (ghosts for open sets)
  • example_2.kya is Example 2 in the blog post (ghosts for open sets)
  • example_3.kya is the Equilibrium point proof from the blog post. I just use ODE for the portions of the proof that are covered in previous examples.
  • example_4.kya is the >= example from the blog post. Again, I just use ODE for the potions of the proof that are covered in previous examples.

See also bifurcations/saddle-nodes/1D for another example of ghosts.