Login / Signup
Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem.
Cezary Kaliszyk
Henk Barendregt
Published in:
CPP (2011)
Keyphrases
</>
fixed point theorem
fixed point
boundary value problem
boundary conditions
theorem prover
continuous functions
differential equations
neural network
multi agent systems
theoretical analysis