A general constructive intermediate value theorem. Bridges, D. S. 35:433–435, 1989.
bibtex   
@ARTICLE{Bri89,
  author = {Bridges, Douglas S.},
  title = {A general constructive intermediate value theorem},
  journal = ZMLG,
  year = {1989},
  volume = {35},
  pages = {433--435},
  keywords = {bib,con}
}

Downloads: 0