MPG.eBooks - Search Results - ((thomas theorem) OR (thomason theorem))

1

Brooks' Theorem : Graph Coloring and Critical Graphs

by Stiebitz, Michael, Schweser, Thomas, Toft, Bjarne
Published 2024

Springer Nature Switzerland

“...Brooks' Theorem (1941) is one of the most famous and fundamental theorems in graph theory...”

Read Now

2

Character theory for the odd order theorem

by Peterfalvi, Thomas
Published 2000

Cambridge University Press

Subjects: “...Feit-Thompson theorem...”

Read Now

3

What Is Bayes Theorem in 3 Minutes?

by Nield, Thomas
Published 2024

O'Reilly Media, Inc.

“... become easier to grasp as well. Topics include Bayes Theorem, probability distributions, mathematical...”

Read Now

4

Theorem Provers in Circuit Design...

by Kropf, Thomas
Published 1995

Springer

Read Now

5

Philosophical Logic and Artificial Intelligence

Published 1989

Springer Netherlands

“... to be rather shallow in comparison with mathematical logic, though it is sel dom absent: theorems need...”

Read Now

6

Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

Table of Contents: “...-order-logic theorem proving -- Symbolic animation as a proof tool -- Datatypes in L2 -- A formal theory...”

Read Now

7

Theorem Provers in Circuit Design: Theory, Practice and Experience...

Published 1995

Springer Berlin Heidelberg

Table of Contents: “... of refinement -- Effective theorem proving for hardware verification -- A formal framework for high level...”

Read Now

8

Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Table of Contents: “... distributed systems in a theorem prover -- A theory of finite maps -- Virtual theories -- An automata theory...”

Read Now

9

Bousfield Classes and Ohkawa's Theorem : Nagoya, Japan, August 28-30, 2015

Published 2020

Springer Nature Singapore

“... theorem of Hopkins, Neeman, Thomason, and others states that the analogue of the Bousfield classes...”

Read Now

10

Mathematical Statistics and Limit Theorems : Festschrift in Honour of Paul Deheuvels

Published 2015

Springer International Publishing

Table of Contents: “...]-valued Linear Processes -- Maëva Biret, Michel Broniatowski and Zansheng Cao: A Sharp Abelian Theorem...”

Read Now

11

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

12

Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings

by Camilleri, Juanito
Published 1994

Springer

Read Now

13

Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings

by Alves-Foss, James
Published 1995

Springer

Read Now

14

Mathematical, geometrical, and philosophical delights : containing essays, problems, solutions, theorems, &c. selected from an extensive correspondence, by Thomas Whiting

by Whiting, Thomas
Published 1792

printed for the editor, and sold by T. Longman

Read Now

15

The doctrine of permutations and combinations, being an essential and fundamental part of the doctrine of chances; as it is delivered by Mr. James Bernoulli, in his excellent Treatise on the Doctrine of Chances, intitled, Ars Conjectandi, and by the celebrated Dr. John Wallis, of Oxford, in a Tract intitled from the Subject, and published at the end of his Treatise on Algebra: In the former of which Tracts is contained, A Demonstration of Sir Isaac Newton's famous Binomial Theorem, in the Cases of Integral Powers...

by Bernoulli, Jean
Published 1795

sold by B. and J. White, Fleet-Street

Subjects: “...Binomial theorem...”

Read Now

16

Categorical Donaldson-Thomas Theory for Local Surfaces

by Toda, Yukinobu
Published 2024

Springer Nature Switzerland

Table of Contents: “...-critical D/K equivalence conjectures -- Categorical wall-crossing via Koszul duality -- Window theorem...”

Read Now

17

Applied modeling and computations in nuclear science

Published 2006

American Chemical Society

Subjects: “...Bayes Theorem...”

Read Now

18

Advances in Proof Theory

Published 2016

Springer International Publishing

“... by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system...”

Read Now

19

The axiom of choice

by Jech, Thomas J.
Published 1973

North-Holland Pub. Co.

Table of Contents: “... remarks; Chapter 6. Embedding Theorems; 6.1. The First Embedding Theorem; 6.2. Refinements of the First...”

Read Now

20

Elements of distribution theory

by Severini, Thomas A.
Published 2005

Cambridge University Press

“... limit theorem to more advanced concepts such as exchangeability, models with a group structure...”

Narrow Search