Log in

Relevant bibliographies by topics / Methods of proof

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Methods of proof'

Author: Grafiati

Published: 4 June 2021

Last updated: 14 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 'Methods of proof.'

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 "Methods of proof"

1

Breiner, Spencer, Carl A. Miller, and Neil J. Ross. "Graphical Methods in Device-Independent Quantum Cryptography." Quantum 3 (May 27, 2019): 146. http://dx.doi.org/10.22331/q-2019-05-27-146.

Full text

Abstract:

We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this approach will make some of the highly complex proofs in quantum cryptography more accessible, facilitate the discovery of new proofs, and enable automated proof verification. As an example of our framework, we reprove a previous result from device-independent quantum cryptography: any linear randomness expansion protocol can be converted into an unbounded randomness expansion protocol. We give a graphical proof of this

APA, Harvard, Vancouver, ISO, and other styles

2

Rump, Siegfried M. "Verification methods: Rigorous results using floating-point arithmetic." Acta Numerica 19 (May 2010): 287–449. http://dx.doi.org/10.1017/s096249291000005x.

Full text

Abstract:

A classical mathematical proof is constructed using pencil and paper. However, there are many ways in which computers may be used in a mathematical proof. But ‘proof by computer’, or even the use of computers in the course of a proof, is not so readily accepted (the December 2008 issue of the Notices of the American Mathematical Society is devoted to formal proofs by computer).In the following we introduce verification methods and discuss how they can assist in achieving a mathematically rigorous result. In particular we emphasize how floating-point arithmetic is used.

APA, Harvard, Vancouver, ISO, and other styles

3

Jamnik, M. "Automatic Learning of Proof Methods in Proof Planning." Logic Journal of IGPL 11, no. 6 (2003): 647–73. http://dx.doi.org/10.1093/jigpal/11.6.647.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Dobbs, David E. "Analytic Methods in Investigative Geometry." Mathematics Teacher 94, no. 1 (2001): 28–30. http://dx.doi.org/10.5951/mt.94.1.0028.

Full text

Abstract:

In the Mathematics Teacher's 1998 focus issue on the concept of proof, Stanley P. Izen (1998) argues that computer-based discovery activities in a geometry course should be followed by rigorous proofs of the conjectures developed during those activities.

APA, Harvard, Vancouver, ISO, and other styles

5

Ciurea, Grigore. "Nonstandard Methods in Measure Theory." Abstract and Applied Analysis 2014 (2014): 1–10. http://dx.doi.org/10.1155/2014/851080.

Full text

Abstract:

Ideas and techniques from standard and nonstandard theories of measure spaces and Banach spaces are brought together to give a new approach to the study of the extension of vector measures. Applications of our results lead to simple new proofs for theorems of classical measure theory. The novelty lies in the use of the principle of extension by continuity (for which we give a nonstandard proof) to obtain in an unified way some notable theorems which have been obtained by Fox, Brooks, Ohba, Diestel, and others. The methods of proof are quite different from those used by previous authors, and mo

APA, Harvard, Vancouver, ISO, and other styles

6

Zhitao Xiao, Zhitao Xiao, Quan Yuan Quan Yuan, Fang Zhang Fang Zhang, et al. "Consistency proof of two denoising methods and the parameter selection of PDE filtering method for ESPI." Chinese Optics Letters 11, no. 12 (2013): 121201–6. http://dx.doi.org/10.3788/col201311.121201.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Lund, Carsten, Lance Fortnow, Howard Karloff, and Noam Nisan. "Algebraic methods for interactive proof systems." Journal of the ACM 39, no. 4 (1992): 859–68. http://dx.doi.org/10.1145/146585.146605.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Schrijver, A. "Polyhedral proof methods in combinatorial optimization." Discrete Applied Mathematics 14, no. 2 (1986): 111–33. http://dx.doi.org/10.1016/0166-218x(86)90056-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Heath, Philip R., and Peter Nickolas. "On a conjecture of Higgins." Bulletin of the Australian Mathematical Society 54, no. 1 (1996): 55–65. http://dx.doi.org/10.1017/s0004972700015070.

Full text

Abstract:

In his work on a proof of Grushko's theorem by groupoid methods, Philip Higgins proved the following subgroup theorem.Theorem. Suppose that θ:G → B is a surjective map of groups, where G and B are free products and , and where θ(Gλ) = Bλ for each λ. Let H be a subgroup of G with the property that the restriction of θ to H is surjective. Then there is a free decomposition of H with θ(Hλ) = Bλ for each λ.As Higgins has noted, there is a common strategy in the proff of this theorem and in the groupoid proofs of Kurosh and Neilsen-Schreier subgroup theorems. Higgins conjectured the existence of a

APA, Harvard, Vancouver, ISO, and other styles

10

Le Parc, P., B. Queguineur, and L. Marcé. "Two Proof Methods for The Grafcet Language." IFAC Proceedings Volumes 27, no. 6 (1994): 61–65. http://dx.doi.org/10.1016/s1474-6670(17)45968-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Methods of proof"

1

Tofts, Chris. "Proof methods and pragmatics for parallel programming." Thesis, University of Edinburgh, 1990. http://hdl.handle.net/1842/14544.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Aleksic, Vladimir. "Methods of Handing Equality based on proof transformations." Thesis, King's College London (University of London), 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.498347.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Richards, Dominic Anthony. "Hardware languages and proof." Thesis, University of Manchester, 2011. https://www.research.manchester.ac.uk/portal/en/theses/hardware-languages-and-proof(94392511-3019-4c56-863f-c93ea58da06c).html.

Full text

Abstract:

Formal methods play a significant and increasing role in hardware verification, but their effectiveness can be impaired by the ac hoc nature of mainstream hardware languages such as VHDL, Verilog and SystemC, which have convoluted semantics that often necessitate contrived proof techniques. This dissertation investigates the application of formal reasoning to hardware architectures expressed in an alternative class of semantically elegant languages, which support efficient design, whilst also having been developed with proof techniques in mind. A network-on-chip architecture belonging to the S

APA, Harvard, Vancouver, ISO, and other styles

4

Wallen, Lincoln A. "Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics." Thesis, University of Edinburgh, 1987. http://hdl.handle.net/1842/6600.

Full text

Abstract:

In this thesis we develop efficient methods for automated proof search within an important class of mathematical logics. The logics considered are the varying, cumulative and constant domain versions of the first-order modal logics K, K4, D, D4, T, S4 and S5, and first-order intuitionistic logic. The use of these non-classical logics is commonplace within Computing Science and Artificial Intelligence in applications in which efficient machine assisted proof search is essential. Traditional techniques for the design of efficient proof methods for classical logic prove to be of limited use in th

APA, Harvard, Vancouver, ISO, and other styles

5

Rhode, Conny. "Dialogical empiricism : the burden of proof upon metaphysical methods." Thesis, University of York, 2017. http://etheses.whiterose.ac.uk/19576/.

Full text

Abstract:

Drawing on Douglas Walton’s typology of dialogues, I analyse a representative sample of philosophical dialogues, finding that over 95% of them instantiate a type of dialogue aimed at persuading one’s opponent. I then argue that this goal entails the prudential requirement that any assertion questioned in philosophical dialogue be either supported or else retracted, and that no assertion is privileged over the burden of proof imposed by its questioning. This in turn renders it prudent to avoid the employment of premises that, if questioned, could never be supported. Such unsupportable premises

APA, Harvard, Vancouver, ISO, and other styles

6

RANGARAJAN, MURALI. "ANALYSIS OF DESIGNS THROUGH AUTOMATED PROOF OBLIGATION GENERATION." University of Cincinnati / OhioLINK, 2001. http://rave.ohiolink.edu/etdc/view?acc_num=ucin980179491.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Konkar, Haifa Nassar Plantholt Michael. "Graph theory as an introduction to methods of proof and problem-solving." Normal, Ill. Illinois State University, 1988. http://wwwlib.umi.com/cr/ilstu/fullcit?p8901467.

Full text

Abstract:

Thesis (D.A.)--Illinois State University, 1988.<br>Title from title page screen, viewed September 16, 2005. Dissertation Committee: Michael Plantholt (chair), John Dossey, Patricia Klass, Albert Otto, Charles Vanden Eynden. Includes bibliographical references (leaves 172-173) and abstract. Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

8

Rhodes, Mark Nicholas Charles. "Rank lower bounds in propositional proof systems based on integer linear programming methods." Thesis, Durham University, 2009. http://etheses.dur.ac.uk/191/.

Full text

Abstract:

The work of this thesis is in the area of proof complexity, an area which looks to uncover the limitations of proof systems. In this thesis we investigate the rank complexity of tautologies for several of the most important proof systems based on integer linear programming methods. The three main contributions of this thesis are as follows: Firstly we develop the ﬁrst rank lower bounds for the proof system based on the Sherali-Adams operator and show that both the Pigeonhole and Least Number Principles require linear rank in this system. We also demonstrate a link between the complexity measur

APA, Harvard, Vancouver, ISO, and other styles

9

De, Smet Simon. "Methods of proof in international adjudication : a structural analysis of fact-finding by international courts." Thesis, University of Cambridge, 2012. https://www.repository.cam.ac.uk/handle/1810/252284.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Güldogus, Melih. "Proof of Concept of Closed Loop Re-Simulation (CLR) Methods in Verification of Autonomous Vehicles." Thesis, KTH, Reglerteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-223978.

Full text

Abstract:

This degree project, conducted at Volvo Cars, investigates whether closed-loopre-simulation (CLR) methods can provide a safety proof for the autonomousdriving (AD) functions based on previously collected driving data. The elementsunder study for this closed loop approach are model-in-loop based SimulationPlatform Active Safety (SPAS) environment and Active Safety (AS)software.The prerequisites for securing the closed loop re-simulation environment areperforming open-loop simulations with AS software under test and preparing avalidated vehicle model constituting the sensors and actuators. The v

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Methods of proof"

1

Rossi, Richard J. Theorems, Corollaries, Lemmas, and Methods of Proof. John Wiley & Sons, Inc., 2006. http://dx.doi.org/10.1002/9781118031575.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Wallen, Lincoln A. Automated proof search in non-classicallogics: Efficient matrix proof methods for modal and intuitionistic logics. MIT Press, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Roever, W. P. de. Data refinement: Model-oriented proof methods and their comparison. Cambridge University Press, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Pozzato, Gian Luca. Conditional and preferential logics: Proof methods and theorem proving. IOS Press, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

1966-, Engelhardt Kai, and Buth Karl-Heinz, eds. Data refinement: Model-oriented proof methods and their comparison. Cambridge University Press, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Wallen, Lincoln A. Automated proof search in non-classical logics: Efficient matrix proof methods for modal and intuitionistic logics. MIT Press, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Criminal financial investigations: The use of forensic accounting techniques and indirect methods of proof. CRC Press, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Criminal financial investigations: The use of forensic accounting techniques and indirect methods of proof. 2nd ed. Boca Raton, FL, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Schultz-Ferrell, Karren. Introduction to reasoning and proof. Heinemann, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

1943-, Hammond Brenda, and Robles Josepha, eds. Introduction to reasoning and proof. Heinemann, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Methods of proof"

1

Gould, Martin, and Edward Hurst. "Proof Methods." In Bridging the Gap to University Mathematics. Springer London, 2008. http://dx.doi.org/10.1007/978-1-84800-290-6_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Hebborn, J. E., and C. Plumpton. "Mathematical proof." In Methods of Algebra. Macmillan Education UK, 1985. http://dx.doi.org/10.1007/978-1-349-07670-3_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Gelca, Răzvan, and Titu Andreescu. "Methods of Proof." In Putnam and Beyond. Springer US, 2007. http://dx.doi.org/10.1007/978-0-387-68445-1_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Gelca, Răzvan, and Titu Andreescu. "Methods of Proof." In Putnam and Beyond. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-58988-6_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Li, Xueliang, Yongtang Shi, and Ivan Gutman. "Common Proof Methods." In Graph Energy. Springer New York, 2012. http://dx.doi.org/10.1007/978-1-4614-4220-2_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Manna, Zohar, and Amir Pnueli. "Invariance: Proof Methods." In Temporal Verification of Reactive Systems. Springer New York, 1995. http://dx.doi.org/10.1007/978-1-4612-4222-2_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Kaufmann, Matt, Panagiotis Manolios, and J. Strother Moore. "Proof Examples." In Advances in Formal Methods. Springer US, 2000. http://dx.doi.org/10.1007/978-1-4615-4449-4_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Lopez-Escobar, E. G. K. "Proof functional connectives." In Methods in Mathematical Logic. Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/bfb0075313.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Krantz, Steven G. "Methods of Mathematical Proof." In Handbook of Logic and Proof Techniques for Computer Science. Birkhäuser Boston, 2002. http://dx.doi.org/10.1007/978-1-4612-0115-1_8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Indrzejczak, Andrzej. "Proof Methods for MHL." In Natural Deduction, Hybrid Systems and Modal Logics. Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-90-481-8785-0_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Methods of proof"

1

Bicarregui, Juan C., and Brian M. Matthews. "Proof and Refutation in Formal Software Development." In 3rd Irish Workshop on Formal Methods. BCS Learning & Development, 1999. http://dx.doi.org/10.14236/ewic/iwfm1999.1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Clark, Tony. "Object-Oriented Refinement and Proof using Behaviour Functions." In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Rebola-Pardo, Adrian, and Luis Cruz-Filipe. "Complete and Efficient DRAT Proof Checking." In 2018 Formal Methods in Computer Aided Design (FMCAD). IEEE, 2018. http://dx.doi.org/10.23919/fmcad.2018.8602993.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

MacKenzie, Donald W. "Computers and the Sociology of Mathematical Proof." In 3rd BCS-FACS Northern Formal Methods Workshop. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/nfm1998.13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

KOHLENBACH, ULRICH. "PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS." In International Congress of Mathematicians 2018. WORLD SCIENTIFIC, 2019. http://dx.doi.org/10.1142/9789813272880_0045.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Katz, Shmuel, and Gadi Taubenfeld. "What processes know: Definitions and proof methods." In the fifth annual ACM symposium. ACM Press, 1986. http://dx.doi.org/10.1145/10590.10612.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Fraser, Simon, and Richard Banach. "Configurable Proof Obligations in the Frog Toolkit." In 2007 IEEE International Conference on Software Engineering and Formal Methods. IEEE, 2007. http://dx.doi.org/10.1109/sefm.2007.12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Bonnet, L., L. Duchien, G. Florin, and L. Seinturier. "A Spanning Tree Object-Oriented Distributed Algorithm: Specification and Proof." In Proceedings of the Methods Integration Workshop. BCS Learning & Development, 1996. http://dx.doi.org/10.14236/ewic/mi1996.1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Barthe, Gilles, César Kunz, David Pichardie, and Julián Samborski-Forlese. "Preservation of Proof Pbligations for Hybrid Verification Methods." In 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods. IEEE, 2008. http://dx.doi.org/10.1109/sefm.2008.10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Mehta, Farhad. "Supporting Proof in a Reactive Development Environment." In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007). IEEE, 2007. http://dx.doi.org/10.1109/sefm.2007.40.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Methods of proof"

1

Todd, Michael, and Francesco Lanza di Scalea. Proof-of-Concept Studies in Novel Guided Wave Methods for Metallic Structural Condition. Defense Technical Information Center, 2009. http://dx.doi.org/10.21236/ada500515.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Athreya, Krishna B., Hani Doss, and Jayaram Sethuraman. A Proof of Convergence of the Markov Chain Simulation Method. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada255456.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Bierman, Paul R., and Kyle Nichols. Quantifying Sediment Generation in Humid Tropical Regions Using Cosmogenic Nuclides - A Proof of Method. Defense Technical Information Center, 2003. http://dx.doi.org/10.21236/ada424476.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Douglass, Scott Roger. The Mirrortron experiment: A proof of principle test for a method of generating high transient potentials. Office of Scientific and Technical Information (OSTI), 1993. http://dx.doi.org/10.2172/10183047.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

GM Gelston, JW Buck, LR Huesties, et al. Risk Based Requirements for Long Term Stewardship: A Proof-of-Principle Analysis of an Analytic Method Tested on Selected Hanford Locations. Office of Scientific and Technical Information (OSTI), 1998. http://dx.doi.org/10.2172/2121.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Jarvis, T. T., W. B. Andrews, and J. W. Buck. Risk based requirements for long term stewardship: A proof-of-principle analysis of an analytic method tested on selected Hanford locations. Office of Scientific and Technical Information (OSTI), 1998. http://dx.doi.org/10.2172/585035.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

In Conversation… Prof Angelica Ronald. ACAMH, 2020. http://dx.doi.org/10.13056/acamh.11739.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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!