Search alternatives:
proving infinite » proving infinitude, proving definite, proving finite

61
by Graham, C. C., McGehee, O. C.
Published 1979
Springer New York
Table of Contents: ... -- 6.2 Measures on Algebraically Scattered Sets -- 6.3 Measures on Dissociate Sets -- 6.4 Infinite...

62
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... -- Symbolic Computation Software Composability -- Using Coq to Prove Properties of the Cache Level of a...

63
by Fraïssé, Roland
Published 2000
Elsevier
...This allows us, for each statement, to specify if it is proved only from ZF axioms of choice...

64
by Deimling, Klaus
Published 1985
Springer Berlin Heidelberg
Table of Contents: ...1. Topological Degree in Finite Dimensions -- § 1. Uniqueness of the Degree -- § 2. Construction...

65
Published 1999
Springer Netherlands
... higher dimensional systems, either finite (networks and localised vibrations on them) or infinite, like...

66
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... for Computing Primary Decomposition of Polynomial Ideals -- An Automated Confluence Proof for an Infinite...

67
by Zelikin, Michail I., Borisov, Vladimir F.
Published 1994
Birkhäuser
... proves to be piecewise analytic, having a finite number of jumps (called switches) on any finite-time...

68
by Gilʹ, M. I.
Published 2007
Elsevier
Table of Contents: ...Preface -- 1. Definitions and Preliminaries -- 2. Classes of Operators -- 3. Functions of Finite...

69
by Seligman, Erik
Published 2016
Apress, Distributed to the book trade worldwide by Springer Science+Business Media
Table of Contents: ...From Math Mutation podcast 75Chapter 2: Into the Infinite; Too Infinite for Me; From Math Mutation...

70
by Bryc, Wlodzimierz
Published 1995
Springer New York
Table of Contents: ... -- 4.1 Spherically symmetric vectors -- 4.2 Rotation invariant absolute moments -- 4.3 Infinite...

71
Published 1981
Springer Netherlands
Table of Contents: ... -- Arithmetic -- Automata -- Automata, finite -- Categorial grammar -- Classes, theory of -- Combinatory logic...

72
by Birman, M. Sh
Published 1967
Springer US
... of the solution of the inverse seismic problem at finite depth proved. The fourth paper gives a detailed account...

73
Published 1997
Birkhäuser
Table of Contents: ... Constructions of Ergodic Theory -- 3.7 Infinite and Finite Invariant Measures -- Problems for Chapter 3 -- 4...

74
by Zaslavski, Alexander J.
Published 2022
Springer International Publishing
... working in optimization. It also can be useful in preparation courses for graduate students. The main...

75
by Ferraro, John R., Ziomek, Joseph S.
Published 1969
Springer US
Table of Contents: ... Elementary Mathematics -- 3-1. Definition of a Group -- 3-2. Finite and Infinite Groups -- 3-3. Subgroups...

76
by Aroca, José Manuel, Hironaka, Heisuke, Vicente, José Luis
Published 2018
Springer Japan
... of the ambient space. This taming proves by an induction on the dimension that there exist finite sequences...

77
by Bass, Hyman, Lubotzky, Alexander
Published 2001
Birkhäuser
Table of Contents: ... horospheres infinite -- 9.14 A bounded degree example -- 9.15 Tree lattices that are simple groups must...

78
by Giaquinta, Mariano, Modica, Giuseppe
Published 2004
Birkhäuser
... of infinitesimal calcu­ lus, has become more and more relevant with the use of computers. The volume is suitably...

79
by Katz, M. B.
Published 1978
Springer Berlin Heidelberg
Table of Contents: ... in Chapter VIII -- IX A Special Case: Improving the EMI Head Scanner -- The Use of Purposefully Displaced...

80
by Soifer, Alexander
Published 2010
Springer New York
... the infinite pigeon hole principle (infinitely many pigeons, finitely many holes) is used to prove theorems...