registrieren | anmelden | FAQ      [?] 

Tag proof [131 articles]

Recent papers classified by the tag proof.
  • The Interplay of Teacher and Student Actions in the Teaching and Learning of Geometric Proof
    Educational Studies in Mathematics, Vol. 60, No. 1. (September 2005), pp. 95-124.
    by Tami Martin, Sharon Mccrone, Michelle Bower, Jaguthsing Dindyal
    posted to learning mathematics proof by yish on 2005-11-08 14:32:12 as ** along with 4 groups mathgamespatterns dtl vds-arg eni
  • The Experimental Mathematician: the Pleasure of Discovery and the Role of Proof
    International Journal of Computers for Mathematical Learning, Vol. 10, No. 2. (January 2005), pp. 75-108.
    by Jonathan Borwein
    posted to experimental exploratory gmx learning mathematics proof by yish on 2005-11-03 12:54:43 as ***** along with 2 people and 4 groups tpoff arsyed mathgamespatterns dtl vds-arg eni
  • notes The Context of Proving
    Social Studies of Science, Vol. 36, No. 1. (1 February 2006), pp. 39-68.
    by Eric Livingston
    posted to cognition discovery ethnomethodology ijceell06 mathematics philosophy polya proof reasoning situated by yish on 2006-01-31 13:15:01 as ** along with 1 person and 5 groups heintz mathgamespatterns dtl vds-arg eni folk_epistemology
  • notes The History of Mathematical Education
    The American Mathematical Monthly, Vol. 74, No. 1. (1967), pp. 38-55.
    by Phillip S Jones
    posted to algebra economic education history learning mathematics memorizing multiple proof representations rote sociocognative zpd by yish on 2005-11-23 11:48:32 as read along with 4 groups mathgamespatterns dtl vds-arg eni
  • Problem-solving, proving, and learning: The relationship between problem-solving processes and learning opportunities in the activity of proof construction
    The Journal of Mathematical Behavior, Vol. 24, No. 3-4. (2005), pp. 351-360.
    by Keith Weber
    posted to mathematics problem proof solving by yish on 2005-11-30 16:50:59 as ** along with 4 groups mathgamespatterns dtl vds-arg eni
  • notes An efficient reduction of ranking to classification
    (7 Dec 2007)
    by Nir Ailon, Mehryar Mohri
    posted to algorithm information-retrieval proof by whym on 2008-07-22 02:08:48 as read
  • A geometric proof that $e$ is irrational and a new measure of its irrationality
    (10 Apr 2007)
    by Jonathan Sondow
    posted to e geometric irrationality proof by webbjn on 2007-04-16 16:48:25 as **** along with 1 person ansobol
  • Proof : A Play
    (05 March 2001)
    by David Auburn
    posted to proof by suizan on 2007-11-23 16:20:48 as **
  • A compositional logic for proving security properties of protocols
    Journal of Computer Security, Vol. 11 (2003)
    by Nancy Durgin, John Mitchell, Dusko Pavlovic
    posted to proof pi 2003 by shimomura on 2008-09-23 16:07:56 as **
  • Proof Systems for-Calculus Logics Mads Dam
    by Mads Dam
    posted to proof pi by shimomura on 2008-09-23 13:39:26 as **
  • A compositional logic for protocol correctness
    Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE (2001), pp. 241-255.
    by N Durgin, J Mitchell, D Pavlovic
    posted to proof pi logic 2001 by shimomura on 2008-09-23 16:03:27 as **
  • Verifying Haskell programs by combining testing, model checking and interactive theorem proving
    Information and Software Technology, Vol. 46, No. 15. (1 December 2004), pp. 1011-1025.
    by Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    posted to 2004 modelchecking proof testing type by shimomura on 2008-04-15 08:35:02 as ** along with 2 people pmatos msakai
  • A derivation system and compositional logic for security protocols
    J. Comput. Secur., Vol. 13, No. 3. (2005), pp. 423-482.
    by Anupam Datta, Ante Derek, John C Mitchell, Dusko Pavlovic
    posted to proof pi 2005 by shimomura on 2008-09-23 16:09:47 as **
  • Intuitionistic hybrid logic
    Journal of Applied Logic, Vol. 4, No. 3. (September 2006), pp. 231-255.
    by Torben Brauner, Valeria de Paiva
    posted to hybrid intuitionistic logic proof theory by sheila1 on 2007-05-23 14:28:32 as **** along with 1 group complogic
  • A judgmental reconstruction of modal logic
    Mathematical Structures in Computer Science, Vol. 11, No. 4. (2001), pp. 511-540.
    by Frank Pfenning, Rowan Davies
    posted to intuitionistic logic modal proof theory by sheila1 on 2007-05-23 14:20:58 as read along with 1 group complogic
  • On an Intuitionistic Modal Logic
    Studia Logica, Vol. 65, No. 3. (2000), pp. 383-416.
    by GM Bierman, VCV de Paiva
    posted to intuitionistic logic modal proof theory by sheila1 on 2007-05-23 14:21:54 as read along with 2 people and 1 group glaubersp kozima complogic
  • Failure is an option: learning from unsuccessful proof-of-concept trials
    Drug Discovery Today, Vol. 13, No. 21-22. (November 2008), pp. 913-916.
    by S Schafer, P Kolkhof
    posted to proof of learning failure concept by sg45653 on 2008-10-30 14:33:13 as **
  • notes Behavioral theory for mobile ambients
    J. ACM, Vol. 52, No. 6. (November 2005), pp. 961-1023.
    by Massimo Merro, Francesco Z Nardelli
    posted to manet mobile proof wide-area by scottmoody on 2006-01-10 18:34:23 as ** along with 1 person and 1 group lbjay semantic-multicast-routing
  • Proof Verbalization as an Application of NLG
    (1997), pp. 965-972.
    by Xiaorong Huang, Armin Fiedler
    posted to nlg proof verbalization by Scis0000002 on 2007-08-07 22:11:30 as **
  • An Intelligent Tutoring System for Induction Proofs
    by Alan Bundy, Johanna Moore, Claus Zinn
    posted to assistance proof tutoring by Scis0000002 on 2007-06-05 14:07:56 as **
  • Identity of Proofs Based on Normalization and Generality
    ArXiv Mathematics e-prints (August 2002)
    by K Dosen
    posted to identity proof proofs proof-theory unified-concept-theory by Scis0000002 on 2007-08-31 22:51:02 as **
  • The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science)
    (16 March 2006)
    by Freek Wiedijk
    posted to proof provers proving by Scis0000002 on 2007-09-11 04:43:23 as **
  • Semantically Guided Proof Planning
    by Seungyeob Choi
    posted to planning proof by Scis0000002 on 2007-07-06 13:54:57 as ** along with 1 person gabgas
  • Towards the Mechanical Verification of Textbook Proofs
    by Claus Zinn
    posted to nlp proof verification by Scis0000002 on 2007-08-07 22:13:02 as **
  • Proof representation in theorem provers
    (1998)
    by G Rey
    posted to atp proof representation by scis0000001 on 2006-09-13 15:19:22 as ** along with 1 person and 1 group greenrd SRG_at_UCD
  • Proof interpretations and the computational content of proofs
    (2003)
    by U Kohlenbach
    posted to mining proof by scis0000001 on 2006-09-29 09:24:48 as **
  • A Graphical Tool for Proving Progress
    by F Andersen, K Petersen, J Pettersson
    posted to proof proof-lattice proof-lattices by scis0000001 on 2007-01-04 15:22:13 as **
  • Structured Calculational Proof
    No. TUCS-TR-65. (FebruaryMay, 1996)
    by Ralph Back, Jim Grundy, Joakim W Von
    posted to calculational calculational-proofs proof by scis0000001 on 2006-12-29 14:48:36 as **
  • Streams and strings in formal proofs
    Theor. Comput. Sci., Vol. 288, No. 1. (October 2002), pp. 45-83.
    by A Carbone
    posted to proof streams by scis0000001 on 2007-04-08 15:26:28 as **
  • Proof Generalization and Proof Reuse
    by Olivier Pons
    posted to generalization proof reusability by scis0000001 on 2006-11-24 14:09:50 as **
  • The Logical Validation of Mathematical Diagrammatic Proofs
    by Christina L Jenkin
    posted to diagrammatic-reasoning proof by scis0000001 on 2006-09-30 13:40:05 as **
  • Towards Full Completeness for the Linear Logic of Chu Spaces
    (1997)
    by VR Pratt
    posted to chu-space linear-logic proof topological-space by scis0000001 on 2006-10-13 16:53:07 as **
  • Mathematical Foundations for Program Transformations
    (1990), pp. 319-321.
    by Rahma B Ayed, Jules Desharnais, Marc Frappier, Ali Mili
    posted to abstract-machine combination composition compositionality computability-logic computational-science constructive formal-development formal-science hetcasl heterogeneity hets iff logics matching program program-adaptation program-transformation programming proof proof-transformation software-incrementation software-merging specification transformation unified-concept-theory by scis0000001 on 2007-05-15 09:29:13 as **
  • What is the Difference between Proofs and Programs?
    by John N Crossley
    posted to program proof by scis0000001 on 2006-09-29 09:23:08 as **
  • A semantics of evidence for classical arithmetic
    J. Symb. Logic, Vol. 60, No. 1. (March 1995), pp. 325-337.
    by Thierry Coquand
    posted to argumentation-theory games logics proof by scis0000001 on 2007-03-30 09:42:34 as **
  • When Are Two Protocols the Same?
    by Peter Mcburney, Simon Parsons
    posted to equivalence proof protocol by scis0000001 on 2007-02-22 09:28:05 as **
  • Employing theory formation to guide proof planning
    (2002)
    by A Meier, V Sorge, S Colton
    posted to planning proof theory-formation by scis0000001 on 2007-02-16 14:13:35 as **
  • What is a Logic, and What is a Proof?
    by Lutz Straßburger
    posted to logic proof by scis0000001 on 2006-12-16 20:13:51 as **
  • Proof Engineering
    by Olivier Pons
    posted to dev mkm proof by scis0000001 on 2006-11-24 14:11:08 as **
  • Verbalization of High-Level Formal Proofs
    (1999), pp. 277-284.
    by Amanda, Regina Barzilay, Robert L Constable
    posted to proof verbalization by scis0000001 on 2007-05-18 20:42:32 as **
  • A proof markup language for semantic web services
    Inf. Syst., Vol. 31, No. 4. (June 2006), pp. 381-395.
    by Paulo P da Silva, Deborah L Mcguinness, Richard Fikes
    posted to markup proof semweb by scis0000001 on 2006-09-13 15:08:51 as **
  • A LATTICE-STRUCTURED PROOF TECHNIQUE APPLIED TO A MINIMUM SPANNING TREE ALGORITHM
    No. MIT/LCS/TM-361. (1988)
    by JL Welch, L Lamport, N Lynch
    posted to lattice mst proof by scis0000001 on 2007-05-21 14:57:57 as **
  • Presenting machine-found proofs
    Vol. 1104 (1996), pp. 221-225.
    by Xiaorong Huang, Armin Fiedler
    edited by Michael Mcrobbie, John Slaney
    posted to presentation proof by scis0000001 on 2006-09-24 16:26:32 as **
  • Static semantic analysis and theorem proving for CASL
    (1997), pp. 333-348.
    by Till Mossakowski, Kolyang, Bernd K Bruckner
    posted to casl proof specification by scis0000001 on 2007-05-22 20:26:37 as **
  • Proof Mining in Analysis: Computability and Complexity
    by Paulo Oliva
    posted to mining proof by scis0000001 on 2007-05-15 23:27:37 as **
  • Proof by Pointing
    (1994), pp. 141-160.
    by Yves Bertot, Gilles Kahn, Laurent Th&\#233;ry
    posted to proof by scis0000001 on 2007-05-22 20:15:21 as ** along with 1 person cappetschulat
  • Proof Mining in Subsystems of Analysis
    by Paulo B Oliva
    posted to mining proof by scis0000001 on 2007-01-03 13:30:55 as **
  • Reconstructing Proofs at the Assertion Level
    (1994), pp. 738-752.
    by Xiaorong Huang
    edited by Alan Bundy
    posted to proof reconstructing reconstruction by scis0000001 on 2006-11-24 14:05:30 as **
  • A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals
    (2000), pp. 96-111.
    by Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
    posted to constructive-proof proof theorem by scis0000001 on 2006-09-24 16:10:48 as **
  • From Proof Nets to the Free *-Autonomous Category
    by François Lamarche, Lutz Straßburger
    posted to autonomous-category chu-space network proof by scis0000001 on 2006-09-29 09:13:11 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/proof

    Result page: 1 2 3 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.