Relevant bibliographies by topics / Fractional Four Color Theorem

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Fractional Four Color Theorem'

Author: Grafiati
Published: 4 June 2021
Last updated: 4 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Fractional Four Color Theorem.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Fractional Four Color Theorem"

1

Koch, John A., Rudolf Fritsch, Gerda Fritsch, and J. Peschke. "The Four-Color Theorem." American Mathematical Monthly 106, no. 8 (October 1999): 785. http://dx.doi.org/10.2307/2589042.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Wang Weiqing, Wang Weihua, and Wang Weifu. "Study on the Four Color Theorem." Journal of Convergence Information Technology 8, no. 7 (April 15, 2013): 1220–28. http://dx.doi.org/10.4156/jcit.vol8.issue7.150.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

邹, 山中. "Mathematical Proof of Four-Color Theorem." Pure Mathematics 09, no. 03 (2019): 410–13. http://dx.doi.org/10.12677/pm.2019.93054.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Eppelbaum, Lev V. "Four Color Theorem and Applied Geophysics." Applied Mathematics 05, no. 04 (2014): 658–66. http://dx.doi.org/10.4236/am.2014.54062.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Huson, D. H. "A four-color theorem for periodic tilings." Geometriae Dedicata 51, no. 1 (May 1994): 47–61. http://dx.doi.org/10.1007/bf01264100.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Eliahou, Shalom, and Cédric Lecouvey. "Signed permutations and the four color theorem." Expositiones Mathematicae 27, no. 4 (2009): 313–40. http://dx.doi.org/10.1016/j.exmath.2009.04.002.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bar-Natan, Dror. "Lie algebras and the Four Color Theorem." Combinatorica 17, no. 1 (March 1997): 43–52. http://dx.doi.org/10.1007/bf01196130.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Das Sarma, Atish, Amita S. Gajewar, Richard L. Lipton, and Danupon Nanongkai. "An Approximate Restatement of the Four-Color Theorem." Journal of Graph Algorithms and Applications 17, no. 5 (2013): 567–73. http://dx.doi.org/10.7155/jgaa.00304.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Matiyasevich, Yuri. "Four color theorem from three points of view." Illinois Journal of Mathematics 60, no. 1 (2016): 185–205. http://dx.doi.org/10.1215/ijm/1498032030.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Eliahou, Shalom. "Signed Diagonal Flips and the Four Color Theorem." European Journal of Combinatorics 20, no. 7 (October 1999): 641–47. http://dx.doi.org/10.1006/eujc.1999.0312.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Fractional Four Color Theorem"

1

Nieh, Ari. "Fractional Analogues in Graph Theory." Scholarship @ Claremont, 2001. https://scholarship.claremont.edu/hmc_theses/131.

Full text
Abstract:
Tait showed in 1878 that the Four Color Theorem is equivalent to being able to three-color the edges of any planar, three-regular, two-edge connected graph. Not surprisingly, this equivalent problem proved to be equally difficult. We consider the problem of fractional colorings, which resemble ordinary colorings but allow for some degree of cheating. Happily, it is known that every planar three-regular, two-edge connected graph is fractionally three-edge colorable. Is there an analogue to Tait’s Theorem which would allow us to derive the Fractional Four Color Theorem from this edge-coloring result?
APA, Harvard, Vancouver, ISO, and other styles
2

Leward, Oscar. "Graph TheoryThe Four Color Theorem." Thesis, Uppsala universitet, Algebra och geometri, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-232809.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

SECCO, GISELE DALVA. "BETWEEN PROOFS AND EXPERIMENTS: A WITTGENSTEINEAN READING OF THE PHILOSOPHICAL CONTROVERSIES SURROUNDING THE FOUR COLOR THEOREM PROOF." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2013. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=22606@1.

Full text
Abstract:
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR
CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO
O advento do uso maciço de computadores em provas matemáticas, ocorrido ao final da década de setenta com a solução de um famoso problema matemático – a prova do Teorema das Quatro Cores – ocasionou disputas filosóficas que ainda hoje demandam esclarecimentos. O objetivo principal da tese consiste em elaborar alguns dos referidos esclarecimentos desde uma perspectiva motivada pela filosofia da matemática de Ludwig Wittgenstein, especialmente no que diz respeito à distinção continuamente manuseada e depurada pelo filósofo ao longo do desenvolvimento de seu pensamento entre provas e experimentos. Após apresentar as principais ideias da prova do Teorema das Quatro Cores em termos históricos, algumas distinções conceituais metodologicamente significativas são elaboradas. A seguir o trabalho analisa, a partir da concepção funcional de a priori de Arthur Pap, o argumento da introdução da experimentação nas matemáticas de Thomas Tymoczko. A leitura das controvérias filosóficas que se seguiram ao argumento de Tymoczko é então apresentada, aplicando-se as distinções conceituais anteriormente elaboradas. Por fim algumas ideias wittgensteinianas sobre da disitinção entre provas e experimentos são exploradas em conexão com a noção de sinopticidade de provas, considerando menos os papéis específicos de tais noções na filosofia da matemática de Wittgenstein, do que investigando as vantagens de suas possíveis aplicações no esclarecimento de tópicos críticos das referidas disputas.
The massive use of computers in mathematical proofs, which started in the end of the seventies trough the solution of one famous mathematical problem – the Four-Color Theorem – entailed philosophical disputes still in need of elucidation. The central aim of this thesis consists in elaborating some of these elucidations from a point of view motivated by Ludwig Wittgenstein’s philosophy of mathematics, mainly in what concerns the distinction between proofs and experiments, which was continuously used and elaborated by the philosopher in the course of the development of his thought. After the presentation of the main ideas involved in the proof of the Four-Color Theorem from a historical perspective, some methodological conceptual distinctions are elaborated. The thesis then shifts to an analysis of the introduction of experiment in mathematics argument, by Thomas Tymoczko, from the point of view of Arthur Pap’s conception of functional a priori. An interpretation of the controversies that followed that argument is developed trough the application of the conceptual distinctions previously elaborated. At last, some wittgensteinian ideas about the distinction between proofs and experiments are explored in connection with the notion of surveyability of proofs, concerned less with its specific roles in Wittgenstein’s philosophy of mathematics than with investigating the advantages of its possible applications in the elucidation of some critical points in the referred controversies.
APA, Harvard, Vancouver, ISO, and other styles
4

Oshiro, Erika. "A Historical Approach to Understanding Explanatory Proofs Based on Mathematical Practices." Scholar Commons, 2019. https://scholarcommons.usf.edu/etd/7882.

Full text
Abstract:
My dissertation focuses on mathematical explanation found in proofs looked at from a historical point of view, while stressing the importance of mathematical practices. Current philosophical theories on explanatory proofs emphasize the structure and content of proofs without any regard to external factors that influence a proof’s explanatory power. As a result, the major philosophical views have been shown to be inadequate in capturing general aspects of explanation. I argue that, in addition to form and content, a proof’s explanatory power depends on its targeted audience. History is useful here, because from it, we are able to follow the transition from a first-generation proof, which is usually non-explanatory, into its explanatory version. By tracking the similarities and differences between these proofs, we are able to gain a better understanding of what makes a proof explanatory according to mathematicians who have the relevant background to evaluate it as so. My first chapter discusses why history is important for understanding mathematical practices. I describe two kinds of history: one that presents a narrative of events, which influenced developments in mathematics both directly and indirectly, and another, typically used in mathematical research, which concentrates only on technical developments. I contend that both versions of the past benefit the philosopher. History used in research gives us an idea of what mathematicians desire or find to be important, while history written by historians shows us what effects these have on mathematical practices. The next two chapters are about explanatory proofs. My second chapter examines the main theories of mathematical explanation. I argue that these theories are short-sighted as they only consider what appears in a proof without considering the proof’s purported audience or background knowledge necessary to understand the proof. In the third chapter, I propose an alternative way of analyzing explanatory proofs. Here, I suggest looking at a theorem’s history, which includes its successive proofs, as well as the mathematicians who wrote them. From this, we can better understand how and why mathematicians prove theorems in multiple ways, which depends on the purposes of these theorems. The last chapter is a case study on the computer proof of the Four Color Theorem by Appel and Haken. Here, I compare and contrast what philosophers and mathematicians have had to say about the proof. I argue that the main philosophical worry regarding the theorem—its unsurveyability—did not make a strong impact on the mathematical community and would have hindered mathematical development in computer-assisted proofs. By studying the history of the theorem, we learn that Appel and Haken relied on the strategy of Kempe’s flawed proof from the 1800s (which, obviously, did not involve a computer). Two later proofs, also aided by computer, were developed using similar methods. None of these proofs are explanatory, but not because of their massive lengths. Rather, the methods used in these proofs are a series of calculations that exhaust all possible configurations of maps.
APA, Harvard, Vancouver, ISO, and other styles
5

Yepremyan, Astrik. "Of Proofs, Mathematicians, and Computers." Scholarship @ Claremont, 2015. http://scholarship.claremont.edu/scripps_theses/723.

Full text
Abstract:
As computers become a more prevalent commodity in mathematical research and mathematical proof, the question of whether or not a computer assisted proof can be considered a mathematical proof has become an ongoing topic of discussion in the mathematics community. The use of the computer in mathematical research leads to several implications about mathematics in the present day including the notion that mathematical proof can be based on empirical evidence, and that some mathematical conclusions can be achieved a posteriori instead of a priori, as most mathematicians have done before. While some mathematicians are open to the idea of a computer-assisted proof, others are skeptical and would feel more comfortable if presented with a more traditional proof, as it is more surveyable. A surveyable proof enables mathematicians to see the validity of a proof, which is paramount for mathematical growth, and offer critique. In my thesis, I will present the role that the mathematical proof plays within the mathematical community, and thereby conclude that because of the dynamics of the mathematical community and the constant activity of proving, the risks that are associated with a mistake that stems from a computer-assisted proof can be caught by the scrupulous activity of peer review in the mathematics community. Eventually, as the following generations of mathematicians become more trained in using computers and in computer programming, they will be able to better use computers in producing evidence, and in turn, other mathematicians will be able to both understand and trust the resultant proof. Therefore, it remains that whether or not a proof was achieved by a priori or a posteriori, the validity of a proof will be determined by the correct logic behind it, as well as its ability to convince the members of the mathematical community—not on whether the result was reached a priori with a traditional proof, or a posteriori with a computer-assisted proof.
APA, Harvard, Vancouver, ISO, and other styles
6

Calton, Kimberly Ann. "Four Color Theorem." Thesis, 2009. http://hdl.handle.net/2152/ETD-UT-2009-08-192.

Full text
Abstract:
The Four Color Theorem originated in 1850 and was not solved in its entirety until 1976. This report details the history of the proof for the Four Color Theorem and multiple contributions to the proof of the Four Color Theorem by several mathematicians. Ideas such as Kempe Chains, reducibility, unavoidable sets, the method of discharging, and the Petersen Graph are all covered in this report. There is also a brief discussion over the importance of a mathematical proof and how the definition of a proof has changed with the contributions of Computer Science to the mathematical community.
text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Fractional Four Color Theorem"

1

Fritsch, Rudolf, and Gerda Fritsch. The Four-Color Theorem. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-1720-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Rudolf, Fritsch. The four color theorem: History, topological foundations, and idea of proof. New York: Springer, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

The Four-color Theorem. Dutton Adult, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Graphs, Colourings and the Four-Colour Theorem. Oxford University Press, USA, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Higgs Boson Mass Predicted by the Four Color Theorem. Createspace, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Wilson, Robert A. Graphs, Colourings and the Four-Colour Theorem (Oxford Science Publications). Oxford University Press, USA, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

The Four-Color Theorem: History, Topological Foundations, and Idea of Proof. Springer, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Fritsch, Rudolf. The Four-Color Theorem: "History, Topological Foundations, And Idea Of Proof". Springer, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Fractional Four Color Theorem"

1

Weik, Martin H. "four-color theorem." In Computer Science and Communications Dictionary, 635. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_7504.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Soifer, Alexander. "The Four-Color Theorem." In The Mathematical Coloring Book, 187–94. New York, NY: Springer New York, 2009. http://dx.doi.org/10.1007/978-0-387-74642-5_21.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Fritsch, Rudolf, and Gerda Fritsch. "History." In The Four-Color Theorem, 1–41. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-1720-6_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Fritsch, Rudolf, and Gerda Fritsch. "(Topological) Maps." In The Four-Color Theorem, 43–84. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-1720-6_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Fritsch, Rudolf, and Gerda Fritsch. "The Four-Color Theorem (Topological Version)." In The Four-Color Theorem, 85–97. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-1720-6_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Fritsch, Rudolf, and Gerda Fritsch. "From Topology to Combinatorics." In The Four-Color Theorem, 99–137. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-1720-6_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Fritsch, Rudolf, and Gerda Fritsch. "The Combinatorial Version of the Four-Color Theorem." In The Four-Color Theorem, 139–69. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-1720-6_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Fritsch, Rudolf, and Gerda Fritsch. "Reducibility." In The Four-Color Theorem, 171–217. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-1720-6_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Fritsch, Rudolf, and Gerda Fritsch. "The Quest for Unavoidable Sets." In The Four-Color Theorem, 219–30. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-1720-6_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Krantz, Steven G. "The Tantalizing Four-Color Theorem." In The Proof is in the Pudding, 107–15. New York, NY: Springer New York, 2011. http://dx.doi.org/10.1007/978-0-387-48744-1_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Fractional Four Color Theorem"

1

Parise, Giuseppe. "Four color theorem explained by electrical operational procedures?" In CPS). IEEE, 2008. http://dx.doi.org/10.1109/icps.2008.4606284.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cahit, I. "A Victorian Age Proof of the Four Color Theorem." In ICMS INTERNATIONAL CONFERENCE ON MATHEMATICAL SCIENCE. American Institute of Physics, 2010. http://dx.doi.org/10.1063/1.3525112.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Xue, Geng, Hui Liu, Shixian Li, and Wei Chen. "A New Method Based on Undirected Graph and Polygon Triangulation to Prove the Four-color Theorem." In 2nd International Conference on Computer Science and Electronics Engineering (ICCSEE 2013). Paris, France: Atlantis Press, 2013. http://dx.doi.org/10.2991/iccsee.2013.494.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lin, T. K., and D. G. Lilley. "Three-Dimensional Flowfield Prediction." In ASME 1994 International Computers in Engineering Conference and Exhibition and the ASME 1994 8th Annual Database Symposium collocated with the ASME 1994 Design Technical Conferences. American Society of Mechanical Engineers, 1994. http://dx.doi.org/10.1115/cie1994-0458.

Full text
Abstract:
Abstract The development, use and application of a three-dimensional fluid flow computer code is described. The code runs on microcomputers with effective 3-D perspective color graphic displays of the results. The present version of the code retains several simplifications, uses a uniform rectangular grid system, and runs on microcomputers, thus providing a powerful and economical software capability. Equations are solved for the fully 3-D problem, including pressure, three velocity components and species mass fractions. The simulation is a finite difference time-marching procedure using an explicit formulation of the conservation equations, followed at each step by an iteration updating pressures and velocities so as to impose the continuity requirement. The present paper documents the problem, describes briefly its simulation, theory and assumptions, and gives results showing an application of the code to co-flowing round jet mixing.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Fractional Four Color Theorem' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography