• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A simple and elementary proof of the non-conservativity theorem of Fang, Lin and Rotea.

Xian ZhangXiangyu GaoHaiyan Wu
Published in: IMA J. Math. Control. Inf. (2010)
Keyphrases
  • interactive theorem proving
  • neural network
  • special case
  • artificial intelligence
  • multimedia
  • clustering algorithm
  • objective function
  • preprocessing
  • lower bound
  • fixed point
  • highly reliable