MPG.eBooks - Search Results

121

Using Sophisticated Models in Resolution Theorem Proving

by Sandford, David
Published 1980

Springer

Read Now

122

Reaction Kinetics: Exercises, Programs and Theorems : Mathematica for Deterministic and Stochastic Kinetics

by Tóth, János, Nagy, Attila László, Papp, Dávid
Published 2018

Springer New York

Read Now

123

Completeness Theorems and Characteristic Matrix Functions : Applications to Integral and Differential Operators

by Kaashoek, Marinus A., Verduyn Lunel, Sjoerd M.
Published 2022

Birkhäuser

Read Now

124

Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... scheme for Nuprl -- Verifying a garbage collection algorithm -- Hot: A concurrent automated theorem...”

Read Now

125

Notes on the Brown-Douglas-Fillmore theorem

by Chavan, Sameer, Misra, Gadadhar
Published 2021

Cambridge University Press

“... is an excellent resource providing the complete proof of the Brown-Douglas-Fillmore theorem. The book starts...”

Read Now

126

Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings

Published 1996

Springer Berlin Heidelberg

Table of Contents: “... categorical coherence theorem -- Modeling a hardware synthesis methodology in isabelle -- Inference rules...”

Read Now

127

Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “...Error Analysis of Digital Filters Using Theorem Proving -- Verifying Uniqueness in a Logical...”

Read Now

128

13 Lectures on Fermat's Last Theorem

by Ribenboim, Paulo
Published 1979

Springer New York

Table of Contents: “... On the Generation of the Class Group of the Cyclotomic Field -- 4 Kummer’s Congruences -- 5 Kummer’s Theorem for a...”

Read Now

129

Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... -- Formal Verification of IA-64 Division Algorithms -- Fast Tactic-Based Theorem Proving -- Implementing a...”

Read Now

130

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... in Theorem Proving -- Proof Automation II -- A Coverage Checking Algorithm for LF -- Automatic Generation...”

Read Now

131

Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Table of Contents: “...An Isabelle-based theorem prover for VDM-SL -- Executing formal specifications by translation...”

Read Now

132

Extension of Positive Operators and Korovkin Theorems

by Donner, K.
Published 1982

Springer Berlin Heidelberg

Table of Contents: “...Cone embeddings for vector lattices -- A vector-valued Hahn-Banach theorem -- Bisublinear...”

Read Now

133

The Carleson-Hunt Theorem on Fourier Series

by Jorsboe, Ole G., Mejlbro, Leif
Published 1982

Springer Berlin Heidelberg

Read Now

134

Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... Theorem Proving: Integrating Maple and PVS -- An Irrational Construction of ? from ? -- HELM...”

Read Now

135

Multiparameter Eigenvalue Problems and Expansion Theorems

by Volkmer, Hans
Published 1988

Springer Berlin Heidelberg

Table of Contents: “... expansion theorems for hermitian matrices -- Multiparameter expansion theorems for bounded operators...”

Read Now

136

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Table of Contents: “...Recent Advancements in Hardware Verification — How to Make Theorem Proving Fit for an Industrial...”

Read Now

137

Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Table of Contents: “...Invited Papers -- Twenty Years of Theorem Proving for HOLs Past, Present and Future...”

Read Now

138

Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... -- Source-Level Proof Reconstruction for Interactive Theorem Proving -- Proof Pearl: The Power of Higher...”

Read Now

139

Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

“...This book constitutes the refereed proceedings of the 22nd International Conference on Theorem...”

Read Now

140

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

by Basin, David
Published 2003

Springer Berlin Heidelberg

Narrow Search