Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ((proving finite) or (using finite))
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
proving finite »
proving definite
,
proving infinite
,
moving finite
Showing
1
-
20
of
344
Search:
'((proving finite) or (using finite))'
,
query time: 0.69s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Finite
Fields : Normal Bases and Completely Free Elements
by
Hachenberger, Dirk
Published 1997
Springer US
Table of Contents:
“
... Basis Theorem -- 3. Preliminaries on
Finite
Fields -- 4. A Reduction Theorem -- 5. Particular Extensions...
”
Read Now
2
On Characters of
Finite
Groups
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...
”
Read Now
3
Classical
Finite
Transformation Semigroups : An Introduction
by
Ganyushkin, Olexandr
,
Mazorchuk, Volodymyr
Published 2009
Springer London
“
... looking for an introduction to the theory of transformation semigroups, but should also
prove
useful
...
”
Read Now
4
The Mathematical Theory of
Finite
Element Methods
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...
”
Read Now
5
Hypergraphs : combinatorics of finite sets
by
Berge, Claude
Published 1989
North Holland
Table of Contents:
“
...Front Cover; Hypergraphs: Combinatorics of
Finite
Sets; Copyright Page; Table of Contents; Chapter...
”
Call Number:
QA166.23
Read Now
6
Local representation theory : modular representations as an introduction to the local representation theory of finite groups
by
Alperin, J. L.
Published 1986
Cambridge University Press
Subjects:
“
...
Finite
groups...
”
Call Number:
QA174.2
Read Now
7
Automatic Verification Methods for
Finite
State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
...-checking for
finite
linear temporal logic specifications -- Timing assumptions and verification of
finite
...
”
Read Now
8
The theory of fusion systems : an algebraic approach
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...
”
Call Number:
QA177
Read Now
9
Cherlin’s Conjecture for
Finite
Primitive Binary Permutation Groups
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...
”
Read Now
10
Fourier Transforms of Invariant Functions on
Finite
Reductive Lie Algebras
by
Letellier, Emmanuel
Published 2005
Springer Berlin Heidelberg
“
...The study of Fourier transforms of invariant functions on
finite
reductive Lie algebras has been...
”
Read Now
11
Nonlinear Stability of
Finite
Volume Methods for Hyperbolic Conservation Laws : and Well-Balanced Schemes for Sources
by
Bouchut, François
Published 2004
Birkhäuser Basel
Table of Contents:
“
.... Source terms -- 4. Nonconservative schemes -- 5. Multidimensional
finite
volumes with sources -- 6...
”
Read Now
12
Discrete Series of GLn Over a
Finite
Field. (AM-81)
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...
”
Read Now
13
Introductory Functional Analysis : With Applications to Boundary Value Problems and Finite Elements
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
...
”
Read Now
14
The
Finite
Element Method in Thin Shell Theory: Application to Arch Dam Simulations
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...
”
Read Now
15
Gravity : Geoscience Applications, Industrial Technology and Quantum Aspect
by
Zouaghi, Taher
Published 2018
IntechOpen
Subjects:
“
...gravity anomaly, water, heat transfer, imaging, groundwater,
finite
element method...
”
Read Now
16
Computational Fluid Dynamics : Finite Difference Method and Lattice Boltzmann Method
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...
”
Read Now
17
Reading, Writing, and
Proving
: A Closer Look at Mathematics
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...
”
Read Now
18
Reading, Writing, and
Proving
: A Closer Look at Mathematics
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...
”
Read Now
19
Interactive Theorem
Proving
...
Published 2014
Springer International Publishing
Table of Contents:
“
...Hypermap Specification and Certified Linked Implementation
Using
Orbits -- A Verified Generate-Test...
”
Read Now
20
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:
“
...Invited Talks -- JavaCard Program Verification -- View from the Fringe of the Fringe --
Using
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
67
005 - Computer programming, programs & data
52
006 - Special computer methods
40
512 - Algebra
30
511 - General principles of mathematics
25
519 - Probabilities & applied mathematics
25
more ...
515 - Analysis
20
621 - Applied physics
12
003 - Systems
9
516 - Geometry
9
629 - Other branches of engineering
8
510 - Mathematics
7
518 - Numerical analysis
7
530 - Physics
6
620 - Engineering & allied operations
6
670 - Manufacturing
5
160 - Logic
3
514 - Topology
3
658 - General management
3
001 - Knowledge
2
300 - Social sciences
2
531 - Classical mechanics; solid mechanics
2
541 - Physical chemistry
2
610 - Medicine & health
2
210 - Philosophy & theory of religion
1
330 - Economics
1
331 - Labor economics
1
414 - Phonology & phonetics
1
500 - Natural sciences & mathematics
1
534 - Sound & related vibrations
1
536 - Heat
1
537 - Electricity & electronics
1
551 - Geology, hydrology & meteorology
1
616 - Diseases
1
630 - Agriculture & related technologies
1
690 - Buildings
1
see all ...
less ...
Language
English
344
Collection
Springer Book Archives -2004
196
Springer eBooks 2005-
119
Cambridge Books Online
11
Elsevier eBook collection Mathematics
6
O'Reilly
6
DeGruyter MPG Collection
4
more ...
Directory of Open Access Books
1
JSTOR Books
1
see all ...
less ...
Author
Voronkov, Andrei
5
Dongarra, Jack
3
Furbach, Ulrich
3
Nerode, Anil
3
Shparlinski, Igor
3
Börger, Egon
2
more ...
Campbell, John A.
2
Cassez, Franck
2
Comon, Hubert
2
Daepp, Ulrich
2
Gorkin, Pamela
2
Halbeisen, Lorenz J.
2
Higashino, Teruo
2
Kirchner, Helene
2
Kleine Büning, Hans
2
Kropf, Thomas
2
Lang, Serge
2
Little, John
2
McAllester, David
2
Nielsen, Mogens
2
Nipkow, Tobias
2
Palamidessi, Catuscia
2
Pichler, Franz
2
Ras, Zbigniew W.
2
Richter, Michael M.
2
Rusinowitch, Michael
2
Schiehlen, Werner
2
Wirsing, Martin
2
Xing, Chaoping
2
Zaslavski, Alexander J.
2
Abderazek, Ben Abadallah
1
Abe, H.
1
Abramsky, S.
1
Adámek, Jiří
1
Afanasiev, G.N.
1
Ahmadian, Ali
1
Akehurst, David
1
Alagar, V.S.
1
Alam, M. Shahria
1
Albrecht, Rudolf
1
Allahviranloo, Tofigh
1
Alperin, J. L.
1
Apt, Krzysztof R.
1
Arbib, M.A.
1
Arkowitz, M.
1
Aroca, José Manuel
1
Artemov, Sergei
1
Association for Symbolic Logic
1
Autexier, Serge
1
Baier, Christel
1
Bain, Alan
1
Bakker, J. W. de
1
Banabic, Dorel
1
Baniasadi, Pouya
1
Barua, Rana
1
Basin, David
1
Bass, Hyman
1
Bauchau, O. A.
1
Baumgartner, Peter
1
Bautista, R.
1
Bellassoued, Mourad
1
Benes, Viktor
1
Berge, Claude
1
Bergeron, Nicolas
1
Bergé, Jean-Michel
1
Bernardou
1
Berry, Gerard
1
Bertoni, Alberto
1
Bestaoui Sebbane, Yasmina
1
Bhosri, Wisuwat
1
Birman, M. Sh
1
Bitsch, Friedemann
1
Blakely, G.R.
1
Bode, Arndt
1
Boisserie
1
Bonacina, Maria Paola
1
Book, Ronald V.
1
Borisov, Vladimir F.
1
Borovkov, A. A.
1
Borovkov, K. A.
1
Borovkova, O. B.
1
Bouajjani, Ahmed
1
Bouchut, François
1
Boulton, Richard J.
1
Boyarsky, Abraham
1
Bradfield, J.C.
1
Bradley, R.
1
Brandt, Jens
1
Brenner, Susanne
1
Breshears, Clay
1
Bridges, Douglas S.
1
Bro Miltersen, Peter
1
Broué, Michel
1
Bruynooghe, Maurice
1
Bryc, Wlodzimierz
1
Brzev, Svetlana
1
Buchberger, Bruno
1
Buell, Duncan
1
Buhler, Joe P.
1
Bundy, Alan
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%28%28proving+finite%29+or+%28using+finite%29%29&type=AllFields
Send by Email
×
Loading...