Cover Image
Read Now

21
by Parthasarathy, T.
Published 1983
Springer Berlin Heidelberg
Cover Image
Read Now

22
by Phelps, Robert R.
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...The Krein-Milman theorem as an integral representation theorem -- Application of the Krein-Milman...”
Cover Image
Read Now

24
Published 2018
Springer International Publishing
Cover Image
Read Now

25
by Krantz, Steven G., Parks, Harold R.
Published 2013
Birkhäuser
Table of Contents: “...Preface -- Introduction to the Implicit Function Theorem -- History -- Basic Ideas -- Applications...”
Cover Image
Read Now

26
by Phelps, Robert R
Published 2001
Springer Berlin Heidelberg
Cover Image
Read Now

27
Published 2011
Springer Berlin Heidelberg
“... on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised...”
Cover Image
Read Now

28
by Ríos, Eduardo
Published 2012
Henry Stewart Talks
Cover Image
Read Now

29
Published 2015
Springer International Publishing
“...This book constitutes the proceedings of the 6th International Conference on Interactive Theorem...”
Cover Image
Read Now

30
Published 2016
Springer International Publishing
“... Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers...”
Cover Image
Read Now

31
by Jabri, Youssef
Published 2003
Cambridge University Press
Subjects: “...Mountain pass theorem...”
Cover Image
Read Now

32
by Smith, Peter
Published 2013
Cambridge University Press
“...In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us...”
Cover Image
Read Now

33
by Smith, Peter
Published 2007
Cambridge University Press
Table of Contents: “...What Godel's theorems say -- Decidability and enumerability -- Axiomatized formal theories...”
Cover Image
Read Now

34
Published 2017
Springer International Publishing
Table of Contents: “...Whitebox Automation -- Automated Theory Exploration for Interactive Theorem Proving...”
Cover Image
Read Now

35
by Harte, Robin
Published 2014
Springer International Publishing
“... theorem in one, several and many variables. The basic algebraic systems – semigroups, rings and linear...”
Cover Image
Read Now

36
by Lin Zhengyan, Lu Zhuarong
Published 1992
Springer Netherlands
Cover Image
Read Now

37
Published 2014
Springer International Publishing
Table of Contents: “... Theorem Prover Is Sound (Down to the Machine Code That Runs It) -- Balancing Lists: A Proof Pearl...”
Cover Image
Read Now

38
by Walker, Peter
Published 2004
Springer London
Table of Contents: “... Theorems and Estimation -- 3.5 More on Iteration -- 3.6 Optimisation -- Exercises -- 4. Constructive...”
Cover Image
Read Now

39
by Newborn, Monty
Published 2001
Springer New York
Table of Contents: “... and theorems -- COMPILE: transforming well-formed formulas to clauses -- Inference procedures -- Proving...”
Cover Image
Read Now

40
by Krantz, Steven G., Parks, Harold R.
Published 2003
Birkhäuser
Table of Contents: “...1 Introduction to the Implicit Function Theorem -- 1.1 Implicit Functions -- 1.2 An Informal...”