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

1
by Hachenberger, Dirk
Published 1997
Springer US
Table of Contents: ... Basis Theorem -- 3. Preliminaries on Finite Fields -- 4. A Reduction Theorem -- 5. Particular Extensions...

2
by Broué, Michel
Published 2017
Springer Nature Singapore
Table of Contents: ... -- Drinfeld Double -- Appendix A. Basics on Finite Groups -- Appendix B. Assumed results on Galois theory...

3
by Ganyushkin, Olexandr, Mazorchuk, Volodymyr
Published 2009
Springer London
... looking for an introduction to the theory of transformation semigroups, but should also prove useful...

4
by Brenner, Susanne, Scott, Ridgway
Published 2008
Springer New York
Table of Contents: ... -- The Construction of a Finite Element Space -- Polynomial Approximation Theory in Sobolev Spaces -- n-Dimensional...

5
by Berge, Claude
Published 1989
North Holland
Table of Contents: ...Front Cover; Hypergraphs: Combinatorics of Finite Sets; Copyright Page; Table of Contents; Chapter...

6
by Alperin, J. L.
Published 1986
Cambridge University Press
Subjects: ...Finite groups...

7
Published 1990
Springer Berlin Heidelberg
Table of Contents: ...-checking for finite linear temporal logic specifications -- Timing assumptions and verification of finite...

8
by Craven, David A.
Published 2011
Cambridge University Press
Table of Contents: ...Machine generated contents note: Preface; Part I. Motivation: 1. Fusion in finite groups; 2. Fusion...

9
by Gill, Nick, Liebeck, Martin W., Spiga, Pablo
Published 2022
Springer International Publishing
... all the key ideas that have been used in the literature to prove some of its special cases. The second...

10
by Letellier, Emmanuel
Published 2005
Springer Berlin Heidelberg
...The study of Fourier transforms of invariant functions on finite reductive Lie algebras has been...

11
by Bouchut, François
Published 2004
Birkhäuser Basel
Table of Contents: .... Source terms -- 4. Nonconservative schemes -- 5. Multidimensional finite volumes with sources -- 6...

12
by Lusztig, George
Published 2016
Princeton University Press
..., the use of cohomology of buildings and related complexes.The book gives an explicit construction of one...

13
by Reddy, B.D.
Published 1998
Springer New York
Table of Contents: ... of numbers -- Rn and its subsets -- Relations, equivalence classes and Zorn's lemma -- Theorem-proving...

14
by Bernardou, Boisserie
Published 1982
Birkhäuser
...~his Monograph has two objectives : to analyze a f inite e l e m en t m e th o d useful for solving...

15
by Zouaghi, Taher
Published 2018
IntechOpen
Subjects: ...gravity anomaly, water, heat transfer, imaging, groundwater, finite element method...

16
by Hou, Guoxiang, Chen, Caikan, Qin, Shenglei, Gao, Yuan
Published 2024
Springer Nature Singapore
Table of Contents: ...1. Finite Difference Method -- 2. The Compatibility, Convergence and Stability of difference...

17
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...

18
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...

19
Published 2014
Springer International Publishing
Table of Contents: ...Hypermap Specification and Certified Linked Implementation Using Orbits -- A Verified Generate-Test...

20
Published 2001
Springer Berlin Heidelberg
Table of Contents: ...Invited Talks -- JavaCard Program Verification -- View from the Fringe of the Fringe -- Using...