Register | Log in | FAQ      [?] 

Tag proof [109 articles]

Recent papers classified by the tag proof.
  • 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 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
  • 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
  • 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
  • notes An efficient reduction of ranking to classification
    (7 Dec 2007)
    by Nir Ailon, Mehryar Mohri
    posted to proof information-retrieval algorithm 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 **
  • 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 type testing proof modelchecking 2004 by shimomura on 2008-04-15 08:35:02 as ** along with 1 person msakai
  • 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
  • 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 kozima glaubersp 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
  • 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
  • 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 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 **
  • 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
  • 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 **
  • 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 **
  • 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 **
  • Automating the Search for Answers to Open Questions
    (2000), pp. 519-525.
    by Larry Wos, Branden Fitelson
    posted to automating proof by scis0000001 on 2006-09-19 08:25:22 as **
  • Argumentation-theoretic proof procedures for default reasoning
    (1997)
    by P Dung, R Kowalski, F Toni
    posted to argumentation argumentation-theory atp category-theory computability-logic curry-howard-isomorphism dialogue game-theory games implementation incompleteness lp metalogic-programming metalogics model-theory nonmonotonicity oops proof proof-procedure proof-search proof-theory proof-tree protocol search-space searching semantics specification stone-duality tree by scis0000001 on 2007-02-14 14:09:28 as **
  • 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 **
  • 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 **
  • 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
  • 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 **
  • 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 Mining in Subsystems of Analysis
    by Paulo B Oliva
    posted to mining proof by scis0000001 on 2007-01-03 13:30:55 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 **
  • From deep inference to proof nets
    (2005)
    by L Straburger
    posted to network proof by scis0000001 on 2006-09-29 09:11:18 as ** along with 1 person xxxxxxxxxxx
  • 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 **
  • Proof Engineering
    by Olivier Pons
    posted to dev mkm proof by scis0000001 on 2006-11-24 14:11:08 as **
  • Proof Generalization and Proof Reuse
    by Olivier Pons
    posted to generalization proof reusability by scis0000001 on 2006-11-24 14:09:50 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 **
  • Formal Refinement and Proof of a Small Java Program
    (1999)
    by Tony Clark
    posted to java program proof refinement by scis0000001 on 2007-04-08 15:26:50 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 **
  • 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 **
  • 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 **
  • 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 **
  • 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 **
  • 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 **
  • 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 **
  • 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 **
  • On the desirability of mechanizing calculational proofs
    Information Processing Letters, Vol. 77, No. 2--4. (2001), pp. 173-179.
    by Panagiotis Manolios, Strother J Moore
    posted to calculational calculational-proofs mechanizing proof by scis0000001 on 2006-12-10 15:36:38 as **
  • The Fastest and Shortest Algorithm for All Well-Defined Problems
    (14 Jun 2002)
    by Marcus Hutter
    posted to algorithm efficiency fastest optimality program-space proof proof-space shortest well-defined by scis0000001 on 2006-09-15 13:25:16 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 **
  • 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 **
  • 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
  • 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 **
    • Note: You may cite this page as: http://www.citeulike.org/tag/proof

    Result page: 1 2 3 Next RIS BibTeX RSS
    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.