A constructive proof of the dense existence of nowhere-differentiable functions in C[0, 1].

Published in: Comput. (2020)

Keyphrases

objective function
theorem prover
database
databases
real world
case study
expert systems
loss function
image processing
website
search algorithm
evolutionary algorithm
theorem proving
mathematical proofs