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
Live Music Archive
Librivox Free Audio
Metropolitan Museum
Cleveland Museum of Art
Internet Arcade
Console Living Room
Books to Borrow
Open Library
TV News
Understanding 9/11
