Jim Woodcock

Z Mathematical Toolkit in Isabelle/HOL

by Simon Foster, Pedro Ribeiro, Frank Zeyda and Jim Woodcock

The Sigmoid Function and the Universal Approximation Theorem

by Dustin Bryant, Jim Woodcock and Simon Foster