In this paper, a new generalization of the mean value theorem is firstly established. Based on the Rolle’s theorem, a simple proof is provided to guarantee the correctness of such a generalization. Some corollaries are evidently obtained by the main result. It will be shown that the mean value theorem, the Cauchy’s mean value theorem, and the mean value theorem for integrals are the special cases of such a generalized form. We can simultaneously obtain the upper and lower bounds of certain...

Topics: Rolle’s theorem, Mean value theorem, Cauchy’s mean value theorem, Mean value theorem for...

12
12

Dec 3, 2020
12/20

by
Center for Accessible Technology in Sign

movies

#
eye 12

#
favorite 0

#
comment 0

ASL vocabulary

Topic: theorem

222
222

Jun 4, 2015
06/15

by
Valens, Evans G

texts

#
eye 222

#
favorite 14

#
comment 0

Bibliography: p. 181

Topic: Pythagorean theorem

84
84

Apr 8, 2013
04/13

by
Nagel, Ernest, 1901-1985; Newman, James Roy, 1907-1966, joint author

texts

#
eye 84

#
favorite 4

#
comment 0

118 p. 21 cm

Topic: Gödel's theorem

In these paragraphs one presents three generalizations of the famous theorem of Ceva.

Topics: triangle, theorem

The main object of this paper is to present a mutual authentication protocol that guarantees security, integrity and authenticity of messages, transferred over a network system. In this paper a symmetric key cryptosystem, that satisfies all the above requirements, is developed using theorems of J.R. Chen, I.M. Vinogradov and Fermat and the decimal expansion of an irrational number.

Topics: Chen’s theorem, Fermat’s two squares theorem, Pseudo inverse, Rabin cryptosystem,...

Archimedes’ “fixed point theorem”: Give me a fixed point in space, and I shall upset the Earth”.

Topics: theorem, paradoxes

Theorem 1: Proof. With elementary calculus.

Topics: Proof, Theorem

32 p. 24 cm

Topic: Pythagorean theorem

1,017
1.0K

Feb 10, 2008
02/08

by
Mordell, L. J. (Louis Joel), 1888-

texts

#
eye 1,017

#
favorite 0

#
comment 0

Book digitized by Google from the library of the University of Michigan and uploaded to the Internet Archive by user tpb.

Topic: Fermat's theorem

Source: http://books.google.com/books?id=HnOK_ku1boYC&oe=UTF-8

75
75

Oct 9, 2015
10/15

by
Gaver, Donald Paul.Jacobs, Patricia A.O'Muircheartaigh, I. G.

texts

#
eye 75

#
favorite 0

#
comment 0

Cover title

Topic: BAYES THEOREM.

40
40

Nov 8, 2021
11/21

by
Ellis, Julie, 1961-

texts

#
eye 40

#
favorite 6

#
comment 0

32 p. : 25 cm

Topics: Pythagorean theorem -- Juvenile literature, Pythagorean theorem, Geometry

14

Topic: Fermat's theorem

128
128

Mar 31, 2021
03/21

by
Gusfield, Dan

texts

#
eye 128

#
favorite 2

#
comment 0

xvii, 240 p. : 24 cm

Topic: Marriage theorem

Naval Postgraduate School

208
208

Dec 14, 2012
12/12

by
Gaver, Donald Paul.Jacobs, Patricia A.O'Muircheartaigh, I. G.

texts

#
eye 208

#
favorite 0

#
comment 0

Cover title

Topic: BAYES THEOREM.

27
27

Oct 1, 2021
10/21

by
Nagel, Ernest, 1901-1985

texts

#
eye 27

#
favorite 3

#
comment 0

xxiii, 129 p. : 21 cm

Topic: Gödel's theorem

The metadata below describe the original scanning. Follow the "All Files: HTTP" link in the "View the book" box to the left to find XML files that contain more metadata about the original images and the derived formats (OCR results, PDF etc.). See also the What is the directory structure for the texts? FAQ for information about file content and naming conventions.

Topic: Fermat's theorem

Royal College of Physicians, London

Topic: Binomial Theorem

176
176

Aug 14, 2019
08/19

by
Smullyan, Raymond M

texts

#
eye 176

#
favorite 7

#
comment 0

xiii, 139 p. ; 23 cm

Topic: Gödel's theorem

2,215
2.2K

Apr 29, 2020
04/20

by
MIT OpenCourseWare

texts

#
eye 2,215

#
favorite 4

#
comment 0

Instructor: Yufei Zhao View the complete course: https://ocw.mit.edu/18-217F19 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP62qauV_CpT1zKaGG_Vj5igX This course examines classical and modern developments in graph theory and additive combinatorics, with a focus on topics and themes that connect the two subjects. The course also introduces students to current research topics and open problems. License: Creative Commons BY-NC-SA More information at https://ocw.mit.edu/terms...

Topics: graph theory, additive combinatorics, Ramsey theory, Schur’s theorem, Mantel’s theorem,...

17
17

Jul 27, 2019
07/19

by
Chou, Shang-Ching, 1942-

texts

#
eye 17

#
favorite 1

#
comment 0

xii, 362 p. : 25 cm

Topic: Automatic theorem proving

4
4.0

Dec 16, 2019
12/19

by
Williams, James G

texts

#
eye 4

#
favorite 0

#
comment 0

viii, 133 p. : 25 cm

Topic: Automatic theorem proving

Folkscanomy Miscellaneous

314
314

Dec 30, 2015
12/15

by
TABLEAUX '99 (1999 : Saratoga Springs, N.Y.); Murray, Neil V

texts

#
eye 314

#
favorite 0

#
comment 0

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings Author: Neil V. Murray Published by Springer Berlin Heidelberg ISBN: 978-3-540-66086-6 DOI: 10.1007/3-540-48754-9 Table of Contents: Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison DLP and...

Topic: Automatic theorem proving

In this article we prove a theorem that will generalize the concurrence theorems that are leading to the Franke’s point, Kariya’s point, and to other remarkable points from the triangle geometry.

Topics: theorem, triangle geometry

7
7.0

texts

#
eye 7

#
favorite 0

#
comment 0

2 v. : 25 cm

Topic: Automatic theorem proving

Naval Postgraduate School

305
305

Nov 30, 2012
11/12

by
Zyda, Michael J.;Walker, Robert A.

texts

#
eye 305

#
favorite 0

#
comment 0

Title from cover

Topic: AUTOMATIC THEOREM PROVING.

"UILU-ENG 79-1706."

Topic: Automatic theorem proving

25
25

Feb 6, 2021
02/21

by
Aczel, Amir D

texts

#
eye 25

#
favorite 1

#
comment 0

160 pages ; 20 cm

Topic: Fermat's last theorem

50
50

Jun 11, 2020
06/20

by
Singh, Simon

texts

#
eye 50

#
favorite 1

#
comment 0

xxii, 340, 22 pages : 19 cm

Topic: Fermat's last theorem

7
7.0

May 28, 2022
05/22

by
Schöning, Uwe, 1955-

texts

#
eye 7

#
favorite 0

#
comment 0

x, 320 p. : 25 cm

Topic: Automatic theorem proving

19
19

Mar 14, 2022
03/22

by
Maor, Eli

texts

#
eye 19

#
favorite 0

#
comment 0

xvi, 259 p. : 25 cm

Topic: Pythagorean theorem -- History

13
13

May 24, 2021
05/21

by
Boyer, Robert S

texts

#
eye 13

#
favorite 0

#
comment 0

xiv, 397 p. ; 24 cm

Topic: Automatic theorem proving

In this note we prove a problem given at a Romanian student mathematical competition, and we obtain an interesting result by using a Theorem of Orthohomological Triangles.

Topics: Theorem, Orthohomological Triangles

315
315

Apr 5, 2013
04/13

by
Aczel, Amir D

texts

#
eye 315

#
favorite 5

#
comment 0

Includes bibliographical references (p. 139-140) and index

Topic: Fermat's last theorem

239
239

Feb 24, 2012
02/12

by
Vos Savant, Marilyn, 1946-

texts

#
eye 239

#
favorite 8

#
comment 0

Includes bibliographical references (p. 77-78)

Topic: Fermat's last theorem

In this article we’ll prove through computation the Feuerbach’s theorem relative to the tangent to the nine points circle, the inscribed circle, and the ex-inscribed circles of a given triangle.

Topics: Feuerbach’s theorem, tangent

In this article we present four necessary and sufficient conditions for a natural number to be prime.

Topics: congruence, Wilson’s theorem

http://uf.catalog.fcla.edu/uf.jsp?st=UF020674712&ix=pm&I=0&V=D&pm=1

Topics: Gödel's theorem, Metamathematics.

sexta referencia en www.audiovisaultheorem.com, segunda de cloud

Topics: cloud, audiovisual, theorem

66
66

Oct 6, 2015
10/15

by
Smith, Douglas R.

texts

#
eye 66

#
favorite 0

#
comment 0

"NPS-52-82-002"--Cover

Topic: Automatic theorem proving

Typescript

Topic: Fixed point theorem

This is fine, I would continue, but if in the product from the left side of this congruence we consider only numbers that are prime with m ? For this reason we’ll address this case, and provide a generalization of Wilson’s theorem to any modulo, this will conduce to a nice result.

Topics: Wilson’s theorem, lemmas

Folkscanomy Miscellaneous

147
147

Dec 30, 2015
12/15

by
PTCS 2001 (2001 : Dagstuhl Castle); Kahle, Reinhard, 1967-; Schroeder-Heister, Peter Joseph, 1953-; Stärk, Robert F., 1963-

texts

#
eye 147

#
favorite 1

#
comment 0

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings Author: Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk Published by Springer Berlin Heidelberg ISBN: 978-3-540-42752-0 DOI: 10.1007/3-540-45504-3 Table of Contents: Linear Ramified Higher Type Recursion and Parallel Complexity Reflective λ-Calculus A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity Comparing the Complexity...

Topic: Automatic theorem proving

772
772

May 26, 2021
05/21

by
B. I. Argunov; L. A. Skornyakov

texts

#
eye 772

#
favorite 3

#
comment 0

THIs BOOKLET presents several important configuration theorems, along with their applications to the study of the properties of figures and to the solutions of several practical problems. In doing this, the authors introduce the reader to some fundamental concepts of projective geometry-central projection and ideal elements of space. Only the most elementary knowledge of plane and solid geometry is presupposed. Chapters 2 and 3 are devoted to the two most important configuration theorems, the...

Topics: mathematics, theorems, theorem of pappus, theorem of pascal, desargues theorem, properties of...

8
8.0

Mar 17, 2021
03/21

by
Fernando Bayer (FritzSM)

data

#
eye 8

#
favorite 0

#
comment 0

Pythagorean theorem as a gift box. Easy to print. You can put a message or logo on top part using Thinkercad (https://www.tinkercad.com/) Remixed from https://www.thingiverse.com/thing:3207504

Topics: Pythagorean_theorem, gift, theorem, Math Art, Pythagoras, stl, thingiverse

2
2.0

May 28, 2022
05/22

by
Baumgartner, Peter, 1962-

texts

#
eye 2

#
favorite 0

#
comment 0

ix, 283 p. : 23 cm

Topic: Automatic theorem proving

One generalizes the inequality of Hödler thanks to a reasoning by recurrence. As particular cases, one obtains a generalization of the inequality of Cauchy-Buniakovski-Scwartz, and some interesting applications.

Topics: theorem, inequality, applications

Thia article is another proof of a theorem relative to the orthological triangles.

Topics: theorem, orthological triangles

19
19

Dec 15, 2021
12/21

by
Maor, Eli

texts

#
eye 19

#
favorite 2

#
comment 0

xvi, 259 p. : 25 cm

Topic: Pythagorean theorem -- History

Folkscanomy Miscellaneous

290
290

Dec 30, 2015
12/15

by
TPHOLs '99 (1999 : Nice, France); Bertot, Yves

texts

#
eye 290

#
favorite 0

#
comment 0

Author: Published by ISBN: DOI: Table of Contents:

Topic: Automatic theorem proving