Search alternatives:
proving infinite » proving infinitude, proving definite, proving finite
using infinite » using finite, solving infinite
Cover Image
Read Now

1
by Aliprantis, Charalambos D., Border, Kim C.
Published 1994
Springer Berlin Heidelberg
“... to understand modern economic theory, but may yet prove useful in future research...”
Cover Image
Read Now

2
by Da Prato, Giuseppe
Published 2006
Springer Berlin Heidelberg
“... of infinite dimension. Starting from the definition of Gaussian measures in Hilbert spaces, concepts...”
Cover Image
Read Now

3
by Kuksin, Sergej B.
Published 1993
Springer Berlin Heidelberg
“... equations. For such equations a KAM-like theorem is proved, stating that solutions of the unperturbed...”
Cover Image
Read Now

4
by Zaslavski, Alexander J.
Published 2019
Springer International Publishing
“... for the turnpike phenomenon in infinite dimensional spaces. The semigroup approach is employed in the discussion...”
Cover Image
Read Now

5
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... system transfer functions -- Stabilization and regulation of infinite-dimensional systems using coprime...”
Cover Image
Read Now

6
by Grindal, Martin
Published 1741
Printed for T. Read, in Dogwell-Court, White Fryers, Fleet-street
Subjects: “...Beer / Therapeutic use / England / London / Early works to 1800...”
Cover Image
Read Now

7
by Milne, Stephen C.
Published 2002
Springer US
“... groups. His results (in Theorem 5.19) generalize to separate infinite families each of the 21 of Jacobi...”
Cover Image
Read Now

8
by Daepp, Ulrich, Gorkin, Pamela
Published 2003
Springer New York
Table of Contents: “... -- Equivalent Sets -- Finite Sets and an Infinite Set -- Countable and Uncountable Sets -- Metric Spaces...”
Cover Image
Read Now

9
by Daepp, Ulrich, Gorkin, Pamela
Published 2011
Springer New York
Table of Contents: “... -- 21. Equivalent Sets -- 22. Finite Sets and an Infinite Set -- 23. Countable and Uncountable Sets...”
Cover Image
Read Now

11
by Bertot, Yves, Castéran, Pierre
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Case Study -- 12 * The Module System -- 13 ** Infinite Objects and Proofs -- 14 ** Foundations...”
Cover Image
Read Now

12
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... to higher order logic programming -- Human-style theorem proving using PVS -- A hybrid approach to verifying...”
Cover Image
Read Now

13
by Maruhn, Jan H.
Published 2009
De Gruyter
Subjects: “...Semi-infinite Optimization...”
Cover Image
Read Now

14
by Morazán, Marco T.
Published 2024
Springer Nature Switzerland
“..., relations, and reasoning about infinite sets. Part II starts the study of formal languages and automata...”
Cover Image
Read Now

15
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- On the use of the constructive omega-rule within automated deduction -- OR-parallel theorem proving...”
Cover Image
Read Now

16
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Verification of Advanced Out-of-Order Microprocessors -- Theorem Proving Using Lazy Proof Explication...”
Cover Image
Read Now

17
by Bradfield, J.C.
Published 1992
Birkhäuser
Table of Contents: “...1. Introduction -- 1.1 Infinite state model-checking -- 1.2 Background -- 1.3 Local model-checking...”
Cover Image
Read Now

18
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... of Correctness of a Processor with Reorder Buffer Using the Completion Functions Approach -- Verifying Safety...”
Cover Image
Read Now

19
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Structures with Nonstably Infinite Theories Using Many-Sorted Logic -- On a Rewriting Approach...”
Cover Image
Read Now

20
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Net Unfoldings -- State Space Reduction by Proving Confluence -- Fair Simulation Minimization...”