Relevant bibliographies by topics / Computation Theory and Mathematics

Contents

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

Academic literature on the topic 'Computation Theory and Mathematics'

Author: Grafiati
Published: 4 June 2021
Last updated: 29 January 2023

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 'Computation Theory and Mathematics.'

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 "Computation Theory and Mathematics"

1

Dean, Walter. "Computational Complexity Theory and the Philosophy of Mathematics†." Philosophia Mathematica 27, no. 3 (October 1, 2019): 381–439. http://dx.doi.org/10.1093/philmat/nkz021.

Full text
Abstract:
Abstract Computational complexity theory is a subfield of computer science originating in computability theory and the study of algorithms for solving practical mathematical problems. Amongst its aims is classifying problems by their degree of difficulty — i.e., how hard they are to solve computationally. This paper highlights the significance of complexity theory relative to questions traditionally asked by philosophers of mathematics while also attempting to isolate some new ones — e.g., about the notion of feasibility in mathematics, the $\mathbf{P} \neq \mathbf{NP}$ problem and why it has
APA, Harvard, Vancouver, ISO, and other styles
2

Maley, Carlo C. "DNA Computation: Theory, Practice, and Prospects." Evolutionary Computation 6, no. 3 (September 1998): 201–29. http://dx.doi.org/10.1162/evco.1998.6.3.201.

Full text
Abstract:
L. M. Adleman launched the field of DNA computing with a demonstration in 1994 that strands of DNA could be used to solve the Hamiltonian path problem for a simple graph. He also identified three broad categories of open questions for the field. First, is DNA capable of universal computation? Second, what kinds of algorithms can DNA implement? Third, can the error rates in the manipulations of the DNA be controlled enough to allow for useful computation? In the two years that have followed, theoretical work has shown that DNA is in fact capable of universal computation. Furthermore, algorithms
APA, Harvard, Vancouver, ISO, and other styles
3

Yamada, Shinichi. "A mathematical theory of randomized computation, I." Proceedings of the Japan Academy, Series A, Mathematical Sciences 64, no. 4 (1988): 115–18. http://dx.doi.org/10.3792/pjaa.64.115.

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

Yamada, Shinichi. "A mathematical theory of randomized computation, II." Proceedings of the Japan Academy, Series A, Mathematical Sciences 64, no. 5 (1988): 155–58. http://dx.doi.org/10.3792/pjaa.64.155.

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

Yamada, Shinichi. "A mathematical theory of randomized computation, III." Proceedings of the Japan Academy, Series A, Mathematical Sciences 64, no. 6 (1988): 201–4. http://dx.doi.org/10.3792/pjaa.64.201.

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

Duhr, Claude. "Function Theory for Multiloop Feynman Integrals." Annual Review of Nuclear and Particle Science 69, no. 1 (October 19, 2019): 15–39. http://dx.doi.org/10.1146/annurev-nucl-101918-023551.

Full text
Abstract:
Precise predictions for collider observables require the computation of higher orders in perturbation theory. This task usually involves the evaluation of complicated multiloop integrals, which typically give rise to complicated special functions. This article discusses recent progress in understanding the mathematics underlying multiloop Feynman integrals and discusses a class of functions that generalizes the logarithm and that often appears in multiloop computations. The same class of functions is an active area of research in modern mathematics, which has led to the development of new powe
APA, Harvard, Vancouver, ISO, and other styles
7

Lenstra Jr., H. W., Steven M. Serbin, Stig Larsson, Ohannes Karakashian, J. Thomas King, and Ewald Quak. "Book Review: Mathematics of Computation 1943--1993: A half-century of computational mathematics." Mathematics of Computation 66, no. 219 (July 1, 1997): 1367–75. http://dx.doi.org/10.1090/s0025-5718-97-00877-6.

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

Conceição, Ana C., and Jéssica C. Pires. "Symbolic Computation Applied to Cauchy Type Singular Integrals." Mathematical and Computational Applications 27, no. 1 (December 31, 2021): 3. http://dx.doi.org/10.3390/mca27010003.

Full text
Abstract:
The development of operator theory is stimulated by the need to solve problems emerging from several fields in mathematics and physics. At the present time, this theory has wide applications in the study of non-linear differential equations, in linear transport theory, in the theory of diffraction of acoustic and electromagnetic waves, in the theory of scattering and of inverse scattering, among others. In our work, we use the computer algebra system Mathematica to implement, for the first time on a computer, analytical algorithms developed by us and others within operator theory. The main goa
APA, Harvard, Vancouver, ISO, and other styles
9

Edalat, Abbas. "Domains for Computation in Mathematics, Physics and Exact Real Arithmetic." Bulletin of Symbolic Logic 3, no. 4 (December 1997): 401–52. http://dx.doi.org/10.2307/421098.

Full text
Abstract:
AbstractWe present a survey of the recent applications of continuous domains for providing simple computational models for classical spaces in mathematics including the real line, countably based locally compact spaces, complete separable metric spaces, separable Banach spaces and spaces of probability distributions. It is shown how these models have a logical and effective presentation and how they are used to give a computational framework in several areas in mathematics and physics. These include fractal geometry, where new results on existence and uniqueness of attractors and invariant dis
APA, Harvard, Vancouver, ISO, and other styles
10

Doerr, Benjamin, and Thomas Jansen. "Theory of Evolutionary Computation." Algorithmica 59, no. 3 (November 9, 2010): 299–300. http://dx.doi.org/10.1007/s00453-010-9472-3.

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

Dissertations / Theses on the topic "Computation Theory and Mathematics"

1

Bryant, Ross. "A Computation of Partial Isomorphism Rank on Ordinal Structures." Thesis, University of North Texas, 2006. https://digital.library.unt.edu/ark:/67531/metadc5387/.

Full text
Abstract:
We compute the partial isomorphism rank, in the sense Scott and Karp, of a pair of ordinal structures using an Ehrenfeucht-Fraisse game. A complete formula is proven by induction given any two arbitrary ordinals written in Cantor normal form.
APA, Harvard, Vancouver, ISO, and other styles
2

Zhang, Yue. "Sparsity in Image Processing and Machine Learning: Modeling, Computation and Theory." Case Western Reserve University School of Graduate Studies / OhioLINK, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=case1523017795312546.

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

Semegni, Jean Yves. "On the computation of freely generated modular lattices." Thesis, Stellenbosch : Stellenbosch University, 2008. http://hdl.handle.net/10019.1/1207.

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

Khafizov, Farid T. "Descriptions and Computation of Ultrapowers in L(R)." Thesis, University of North Texas, 1995. https://digital.library.unt.edu/ark:/67531/metadc277867/.

Full text
Abstract:
The results from this dissertation are an exact computation of ultrapowers by measures on cardinals $\aleph\sb{n},\ n\in w$, in $L(\IR$), and a proof that ordinals in $L(\IR$) below $\delta\sbsp{5}{1}$ represented by descriptions and the identity function with respect to sequences of measures are cardinals. An introduction to the subject with the basic definitions and well known facts is presented in chapter I. In chapter II, we define a class of measures on the $\aleph\sb{n},\ n\in\omega$, in $L(\IR$) and derive a formula for an exact computation of the ultrapowers of cardinals by these measu
APA, Harvard, Vancouver, ISO, and other styles
5

Theeranaew, Wanchat. "STUDY ON INFORMATION THEORY: CONNECTION TO CONTROL THEORY, APPROACH AND ANALYSIS FOR COMPUTATION." Case Western Reserve University School of Graduate Studies / OhioLINK, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=case1416847576.

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

Marsden, Daniel. "Logical aspects of quantum computation." Thesis, University of Oxford, 2015. http://ora.ox.ac.uk/objects/uuid:e99331a3-9d93-4381-8075-ad843fb9b77c.

Full text
Abstract:
A fundamental component of theoretical computer science is the application of logic. Logic provides the formalisms by which we can model and reason about computational questions, and novel computational features provide new directions for the development of logic. From this perspective, the unusual features of quantum computation present both challenges and opportunities for computer science. Our existing logical techniques must be extended and adapted to appropriately model quantum phenomena, stimulating many new theoretical developments. At the same time, tools developed with quantum applica
APA, Harvard, Vancouver, ISO, and other styles
7

Kirk, Neil Patrick. "Computational aspects of singularity theory." Thesis, University of Liverpool, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.359187.

Full text
Abstract:
In this thesis we develop computational methods suitable for performing the symbolic calculations common to local singularity theory. For classification theory we employ the unipotent determinacy techniques of Bruce, du Plessis, Wall and complete transversal theorems of Bruce, du Plessis. The latter results are, as yet, unpublished and we spend some time reviewing these results, extending them to filtrations of the module m,,,.E (n, p) other than the standard filtration by degree. Weighted filtrations and filtrations induced by the action of a nilpotent Lie algebra are considered. A computer p
APA, Harvard, Vancouver, ISO, and other styles
8

Fatouros, Stavros. "Approximate algebraic computations in control theory." Thesis, City University London, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.274524.

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

Heyman, Joseph Lee. "On the Computation of Strategically Equivalent Games." The Ohio State University, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1561984858706805.

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

Fukasawa, Ricardo. "Single-row mixed-integer programs : theory and computations /." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/24660.

Full text
Abstract:
Thesis (Ph.D.)--Industrial and Systems Engineering, Georgia Institute of Technology, 2009.<br>Committee Chair: William J. Cook; Committee Member: Ellis Johnson; Committee Member: George Nemhauser; Committee Member: Robin Thomas; Committee Member: Zonghao Gu
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Computation Theory and Mathematics"

1

Tourlakis, George J. Theory of computation. Hoboken, N.J: Wiley, 2012.

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

Theory of computation. New York, NY: Wiley, 1987.

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

Theory of computation. New York: Harper & Row, 1987.

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

Linear dependence: Theory and computation. New York: Kluwer Academic/Plenum Publishers, 2000.

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

Multiple criteria optimization: Theory, computation, and application. Malabar, Fla: Krieger, 1989.

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

Steuer, Ralph E. Multiple criteria optimization: Theory, computation, and application. New York: Wiley, 1986.

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

FCT '85 (1985 Cottbus, Germany). Fundamentals of computation theory. Berlin: Springer-Verlag, 1985.

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

Electromagnetic field theory and computation. Hoboken, N.J: Wiley, 2010.

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

Dasgupta, D. Immunological computation: Theory and applications. Boca Raton: Auerbach Publications, 2009.

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

Dasgupta, D. Immunological computation: Theory and applications. Boca Raton: Auerbach Publications, 2009.

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

Book chapters on the topic "Computation Theory and Mathematics"

1

Sanders, Sam. "Reverse Mathematics and Computability Theory of Domain Theory." In Logic, Language, Information, and Computation, 550–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2019. http://dx.doi.org/10.1007/978-3-662-59533-6_33.

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

Kearfott, R. Baker. "Interval Mathematics Techniques for Control Theory Computations." In Computation and Control, 169–78. Boston, MA: Birkhäuser Boston, 1989. http://dx.doi.org/10.1007/978-1-4612-3704-4_12.

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

Shparlinski, Igor E. "Finite Fields and Discrete Mathematics." In Finite Fields: Theory and Computation, 265–324. Dordrecht: Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-015-9239-0_10.

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

Stewart, Iain A. "On the Mathematics of Data Centre Network Topologies." In Fundamentals of Computation Theory, 283–95. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22177-9_22.

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

Smale, Stephen. "Theory of computation." In Mathematical Research Today and Tomorrow, 59–69. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/bfb0089205.

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

Friedman, Avner. "Computation of volume integrals in potential theory." In Mathematics in Industrial Problems, 122–30. New York, NY: Springer New York, 1992. http://dx.doi.org/10.1007/978-1-4615-7405-7_12.

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

Kaltofen, Erich L. "Symbolic Computation and Complexity Theory Transcript of My Talk." In Computer Mathematics, 3–7. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-43799-5_1.

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

Peck, Robert W. "Almost Difference Sets in Transformational Music Theory." In Mathematics and Computation in Music, 63–75. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-71827-9_6.

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

Mazzola, Guerino. "ComMute—Towards a Computational Musical Theory of Everything." In Mathematics and Computation in Music, 21–30. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-21392-3_2.

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

Freivalds, RŪsiņš. "Models of Computation, Riemann Hypothesis, and Classical Mathematics." In SOFSEM’ 98: Theory and Practice of Informatics, 89–106. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49477-4_6.

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

Conference papers on the topic "Computation Theory and Mathematics"

1

Alozn, Ahmad E., and Abdulla Galadari. "Utility function under decision theory: A construction arbitration application." In INTERNATIONAL CONFERENCE ON MATHEMATICS: PURE, APPLIED AND COMPUTATION: Empowering Engineering using Mathematics. Author(s), 2017. http://dx.doi.org/10.1063/1.4994404.

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

Setiawan, Ekky Kurnia, and I. Ketut Budayasa. "Application of graph theory concept for traffic light control at crossroad." In INTERNATIONAL CONFERENCE ON MATHEMATICS: PURE, APPLIED AND COMPUTATION: Empowering Engineering using Mathematics. Author(s), 2017. http://dx.doi.org/10.1063/1.4994457.

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

Gibbs, Alison L., and Alex Stringer. "The Fundamental Role of Computation in Teaching Statistical Theory." In IASE 2021 Satellite Conference: Statistics Education in the Era of Data Science. International Association for Statistical Education, 2022. http://dx.doi.org/10.52041/iase.rmcxl.

Full text
Abstract:
What skills, knowledge and habits of mind does a statistician require in order to contribute effectively as an inhabitant of the data science ecosystem? We describe a new course in statistical theory that was developed as part of our consideration of this question. The course is a core requirement in a new curriculum for undergraduate students enrolled in statistics programs of study. Problem solving and critical thinking are developed through both mathematical and computational thinking and all ideas are motivated through questions to be answered from large, open and messy data. Central to th
APA, Harvard, Vancouver, ISO, and other styles
4

Milasi, Monica, Annamaria Barbagallo, Theodore E. Simos, George Psihoyios, and Ch Tsitouras. "Preface of Minisymposium “Variational Inequalities and Equilibrium Problems: Existence and Duality Theory and Computation”." In NUMERICAL ANALYSIS AND APPLIED MATHEMATICS: International Conference on Numerical Analysis and Applied Mathematics 2009: Volume 1 and Volume 2. AIP, 2009. http://dx.doi.org/10.1063/1.3241373.

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

M. Bouniaev, Mikhail, and Nikolai P. Dolbilin. "Local Theory of Crystals: Development and Current Status." In Annual International Conference on Computational Mathematics, Computational Geometry & Statistics. Global Science and Technology Forum (GSTF), 2015. http://dx.doi.org/10.5176/2251-1911_cmcgs15.42.

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

Bethune, Iain. "PrimeGrid: a Volunteer Computing Platform for Number Theory." In Annual International Conference on Computational Mathematics, Computational Geometry & Statistics. Global Science and Technology Forum (GSTF), 2015. http://dx.doi.org/10.5176/2251-1911_cmcgs15.43.

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

Gale, Ella, Ben De Lacy Costello, and Andrew Adamatzky. "Observation and characterization of memristor current spikes and their application to neuromorphic computation." In NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2012: International Conference of Numerical Analysis and Applied Mathematics. AIP, 2012. http://dx.doi.org/10.1063/1.4756553.

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

Zhigljavsky, Anatoly, and Vladimir Kornikov. "Classical areas of mathematics where the concept of grossone could be useful." In NUMERICAL COMPUTATIONS: THEORY AND ALGORITHMS (NUMTA–2016): Proceedings of the 2nd International Conference “Numerical Computations: Theory and Algorithms”. Author(s), 2016. http://dx.doi.org/10.1063/1.4965310.

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

Khimich, Alexander, Volodymyr Sydoruk, and Pavlo Yershov. "Intellectualization Of Computation Based On Neural Networks For Mathematical Modeling." In 2019 IEEE International Conference on Advanced Trends in Information Theory (ATIT). IEEE, 2019. http://dx.doi.org/10.1109/atit49449.2019.9030444.

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

"A Non-lineal Mathematical Model for Annealing Stainless Steel Coils." In International Conference on Neural Computation Theory and Applications. SciTePress - Science and and Technology Publications, 2012. http://dx.doi.org/10.5220/0004112206070610.

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

Reports on the topic "Computation Theory and Mathematics"

1

McCarthy, John. Mathematical Theory of Computation. Fort Belvoir, VA: Defense Technical Information Center, August 1991. http://dx.doi.org/10.21236/ada239419.

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

Yau, Shing-Tung. Mathematics and string theory. Office of Scientific and Technical Information (OSTI), November 2002. http://dx.doi.org/10.2172/809056.

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

Jaffe, A., and Shing-Tung Yau. [Mathematics and string theory]. Office of Scientific and Technical Information (OSTI), January 1993. http://dx.doi.org/10.2172/6327345.

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

Jaffe, A., S. Klimek, B. Greene, and S.-T. Yau. (Mathematics and string theory). Office of Scientific and Technical Information (OSTI), January 1989. http://dx.doi.org/10.2172/5148870.

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

Greenberg, W., and P. Zweifel. Applied mathematics of transport theory. Office of Scientific and Technical Information (OSTI), May 1990. http://dx.doi.org/10.2172/6703991.

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

Schreiber, Robert, and Beresford Parlett. Block Reflectors: Theory and Computation. Fort Belvoir, VA: Defense Technical Information Center, May 1987. http://dx.doi.org/10.21236/ada206861.

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

Gidaspow, D. Computation of hydrodynamics using kinetic theory. Office of Scientific and Technical Information (OSTI), December 1991. http://dx.doi.org/10.2172/5686161.

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

Robinson, Stephen M. Computation and Theory in Nonlinear Optimization. Fort Belvoir, VA: Defense Technical Information Center, April 1996. http://dx.doi.org/10.21236/ada311415.

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

Hoffman, D. [Geometry, analysis, and computation in mathematics and applied science]. Progress report. Office of Scientific and Technical Information (OSTI), February 1994. http://dx.doi.org/10.2172/218245.

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

Kusner, R. B., D. A. Hoffman, P. Norman, F. Pedit, N. Whitaker, and D. Oliver. Geometry, analysis, and computation in mathematics and applied sciences. Final report. Office of Scientific and Technical Information (OSTI), December 1995. http://dx.doi.org/10.2172/171332.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Computation Theory and Mathematics' for particular source types:
Journal articles Dissertations / Theses Books
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