The One-Dimensional Version of Peixoto's Structural Stability Theorem: A Calculus-Based Proof.

Aminur Rahman Denis Blackmore

Published in: SIAM Rev. (2023)

Keyphrases

interactive theorem proving
proof search
natural deduction
automated theorem proving
provably correct
proof procedure
theorem prover
structural information
linear logic
sequent calculus
von neumann
stability analysis
theorem proving
database
multi dimensional
computer algebra
real time