jff's library 2188 articles Export

Ordered by to_read.

	How to Solve It (Penguin Science) [My Copy] (26 April 1990) by George Polya posted to math-bib mathematical-methodology problem-solving by jff on 2008-02-18 12:41:28 as
	On Picture-Writing [My Copy] The American Mathematical Monthly, Vol. 63, No. 10. (1956), pp. 689-697. by G. Polya posted to math-bib by jff on 2007-04-23 15:56:32 as along with 1 person and 4 groups ansobol Crypto GraphTheory Foundations-of-Programming TMC
	Ordinals, Computations, and Models of Set Theory [My Copy] (January 2006) by P. Koepke posted to computability math-bib ordinals urm by jff on 2006-03-20 16:58:59 as along with 4 groups Crypto GraphTheory Foundations-of-Programming TMC
	Computing a Model of Set Theory [My Copy] In CiE (2005), pp. 223-232. by Peter Koepke posted to computability math-bib ordinals by jff on 2006-03-20 16:52:42 as along with 4 groups Crypto GraphTheory Foundations-of-Programming TMC
	Turing Computations on Ordinals [My Copy] (13 February 2005) by Peter Koepke posted to computability math-bib ordinals turing by jff on 2006-03-20 16:39:14 as along with 1 person and 4 groups ansobol Crypto GraphTheory Foundations-of-Programming TMC
	Structured Calculational Proof [My Copy] No. TUCS-TR-65. (FebruaryMay, 1996) by Ralph Back, Jim Grundy, Joakim von Wright posted to calculational calculational-bib mathematical-methodology proof by jff on 2006-03-20 15:27:42 as along with 4 groups Crypto GraphTheory Foundations-of-Programming TMC
	Program Construction. Calculating Implementations from Specifications. [My Copy] (2003) by Roland C. Backhouse posted to book construction rcb-bib by jff on 2006-03-17 14:25:39 as along with 4 groups Crypto GraphTheory Foundations-of-Programming TMC
	Ingenuity in Mathematics (New Mathematical Library) [My Copy] (27 August 1998) by Ross Honsberger posted to math-bib mathematics problem-solving by jff on 2009-08-11 12:13:21 as along with 1 group Algorithmic Problem Solving
	Using Domain-Independent Problems for Introducing Formal Methods [My Copy] FM 2006: Formal Methods In Lecture Notes in Computer Science, Vol. 4085 (2006), pp. 316-331. by Raymond Boute edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski posted to boute fm formal general-bib mathematical-methodology mathis by jff on 2009-08-01 16:43:54 as
	Polyominoes [My Copy] (1965) by Solomon W. Golomb posted to chessboard general-bib golomb polyominoes tiling by jff on 2009-07-31 14:37:41 as along with 1 group TMC
	An Algebraic Tiling Proof [My Copy] The Mathematical Gazette, Vol. 73, No. 465. (1989), pp. 210-211. by Nick Mackinnon posted to chessboard general-bib tiling trominoes by jff on 2009-07-31 14:32:49 as
	A Solitaire game and its relation to a finite field [My Copy] J. of Recreational Math, Vol. 5 (1972), pp. 133-137. by N. G. de Bruijn posted to bruijn chessboard general-bib solitaire trominoes by jff on 2009-07-31 14:29:23 as along with 1 group TMC
	Computer Science Unplugged: An enrichment and extension programme for primary-aged children [My Copy] (December 2006) by Tim Bell, Ian H. Witten, Mike Fellows posted to cs general-bib unplugged by jff on 2009-07-30 12:05:34 as along with 1 group Algorithmic Problem Solving
	Computational thinking [My Copy] Commun. ACM, Vol. 49, No. 3. (March 2006), pp. 33-35. by Jeannette M. Wing posted to cacm computational-thinking general-bib wing by jff on 2009-07-30 11:43:09 as along with 12 people lipflip onierstrasz fgibson dullhunk michaelbanks djsaab kistijantoro smogit AlisonBabeu spl eddymier hawkestein
	Puzzled: Understanding relationships among numbers [My Copy] Commun. ACM, Vol. 52, No. 5. (2009), pp. 112-112. by Peter Winkler posted to algorithms cacm math-bib number-theory puzzle puzzled by jff on 2009-07-23 10:20:30 as
	Students' Feedback on Teaching Mathematics Through The Calculational Method [My Copy] Frontiers in Education 2009 (2009) by João F. Ferreira, Alexandra Mendes posted to calculational education feedback jff-bib mathematical-methodology mathis by jff on 2009-06-26 15:08:10 as
	Which Mathematics for the Information Society? [My Copy] (June 2009) by João F. Ferreira, Alexandra Mendes, Roland Backhouse, L. S. Barbosa posted to calculational jff-bib mathematical-methodology mathis by jff on 2009-06-26 14:32:23 as
	Disquisitiones arithmeticae [My Copy] (1801) by Carl F. Gauss posted to gauss math-bib number-theory by jff on 2009-06-25 16:44:43 as
	Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion [My Copy] Programming Languages and Systems In Programming Languages and Systems, Vol. 2895 (2003), pp. 265-282. by Shin-Cheng Mu, Richard Bird posted to algorithm-derivation algorithms calculational calculational-bib construction haskell invariant inversion problem-solving by jff on 2009-06-22 14:40:50 as
	Program inversion in the refinement calculus [My Copy] Inf. Process. Lett., Vol. 37, No. 2. (1991), pp. 95-100. by J. von Wright posted to algorithm-derivation algorithms calculational calculational-bib construction invariant inversion by jff on 2009-06-22 14:39:22 as
	Inversion of a recursive tree traversal [My Copy] Inf. Process. Lett., Vol. 39, No. 5. (1991), pp. 265-267. by Jan L. A. van de Snepscheut posted to algorithm-derivation algorithms calculational calculational-bib construction invariant inversion problem-solving by jff on 2009-06-22 14:36:57 as
	A formal approach to program inversion [My Copy] In CSC '90: Proceedings of the 1990 ACM annual conference on Cooperation (1990), pp. 398-403. by Wei Chen posted to algorithm-derivation algorithms calculational-bib construction correctness invariant inversion problem-solving by jff on 2009-06-22 14:34:40 as along with 2 people jespera paper_jac
	Puzzle-based Learning: Introduction to Critical Thinking, Mathematics, and Problem Solving [My Copy] (June 2008) by Z. Michalewicz, M. Michalewicz posted to math-bib problem-solving by jff on 2009-05-26 16:36:54 as along with 3 groups TMC Foundations-of-Programming Algorithmic Problem Solving
	Note au sujet de l'article précédent [My Copy] Journal de Mathématiques Pures et Appliquées, Vol. 13 (1848), pp. 15-15. by Hermite posted to math-bib number-theory by jff on 2009-05-01 15:34:57 as
	Sur un théorème relatif aux nombres entiers [My Copy] Journal de Mathématiques Pures et Appliquées, Vol. 13 (1848), pp. 12-14. by J. A. Serret posted to math-bib number-theory by jff on 2009-05-01 15:33:19 as
	Note on Representing a Prime as a Sum of Two Squares [My Copy] Mathematics of Computation, Vol. 26, No. 120. (1972), pp. 1011-1013. by John Brillhart posted to math-bib number-theory by jff on 2009-05-01 15:28:43 as
	A One-Sentence Proof That Every Prime $p≡ 1(mod\ 4)$ Is a Sum of Two Squares [My Copy] The American Mathematical Monthly, Vol. 97, No. 2. (1990), 144. by D. Zagier posted to math-bib number-theory by jff on 2009-05-01 15:27:11 as
	H. J. S. Smith and the Fermat Two Squares Theorem [My Copy] The American Mathematical Monthly, Vol. 106, No. 7. (1999), pp. 652-665. by F. W. Clarke, W. N. Everitt, L. L. Littlejohn, S. J. R. Vorster posted to continuants math-bib number-theory by jff on 2009-05-01 15:25:41 as
	Editor's Corner: The Euclidean Algorithm Strikes Again [My Copy] The American Mathematical Monthly, Vol. 97, No. 2. (1990), pp. 125-129. by Stan Wagon posted to algorithms euclidean-algorithm math-bib number-theory by jff on 2009-05-01 15:23:56 as
	Men of Mathematics - The Lives and Achievements of the Great Mathematicians from Zeno to Poincaré. [My Copy] (July 2008) by E. T. Bell posted to history math-bib by jff on 2009-05-01 15:12:48 as
	History of the Theory of Numbers: Diophantine Analysis: Diophantine Analysis Vol 2 (AMS/Chelsea Publication) [My Copy] (12 August 1999) by Leonard E. Dickson posted to history math-bib number-theory by jff on 2009-05-01 15:09:18 as
	The Art and Craft of Problem Solving [My Copy] (22 September 2006) by Paul Zeitz posted to math-bib problem-solving by jff on 2009-04-06 16:07:48 as along with 3 groups TMC Mathematics education Algorithmic Problem Solving
	On the Teeth of Wheels [My Copy] American Scientist, Vol. 88, No. 4. (July 2000), pp. 296-300. by Brian Hayes posted to brocot calkin-wilf math-bib stern-brocot by jff on 2009-02-20 16:47:04 as along with 2 groups TMC Algorithmic Problem Solving
	In Polya's Footsteps: Miscellaneous Problems and Essays (Dolciani Mathematical Expositions) [My Copy] (30 October 1997) by Ross Honsberger posted to math-bib problem-solving by jff on 2009-02-11 17:20:37 as
	Über eine zahlentheoretische Funktion [My Copy] Journal für die reine und angewandte Mathematik, Vol. 55 (1858), pp. 193-220. by Moritz A. Stern posted to math-bib number-theory stern-brocot by jff on 2009-02-09 17:01:48 as along with 4 groups TMC Foundations-of-Programming Algorithms Algorithmic Problem Solving
	Elementary Number Theory [My Copy] (01 December 2005) by David M. Burton posted to math-bib number-theory by jff on 2009-02-06 13:23:58 as along with 1 person and 3 groups vuboiz TMC Mathematics education Algorithmic Problem Solving
	Recounting the Rationals: Twice! [My Copy] Mathematics of Program Construction In Mathematics of Program Construction, Vol. 5133 (2008), pp. 79-91. by Roland Backhouse, João F. Ferreira posted to algorithm-derivation calkin-wilf jff-bib stern-brocot by jff on 2008-07-28 11:57:32 as
	Tangram Manual [My Copy] No. UR 008/93. (1996) by Frits D. Schalij posted to rcb-bibfile by jff on 2008-05-07 12:57:53 as
	An introduction to Ruby. 2nd edition [My Copy] (1995) by Robin Sharp, Ole Rasmussen posted to rcb-bibfile by jff on 2008-05-07 12:57:53 as
	Towards a publication style of functional programming [My Copy] (June 1997) by Daniël Peeters posted to rcb-bibfile by jff on 2008-05-07 12:57:53 as
	The death of computer languages, the birth of intentional programming [My Copy] (September 1995) by Charles Simonyi posted to rcb-bibfile by jff on 2008-05-07 12:57:53 as
	Revised report on the algorithmic language ALGOL 60 [My Copy] Comm. ACM, Vol. 6 (Also 1963), pp. 1-20. by (ed posted to rcb-bibfile by jff on 2008-05-07 12:57:53 as
	The Art and Craft of Problem Solving [My Copy] (1999) by Paul Zeitz posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	Calculational Derivation of Circuits [My Copy] (May 1998) by Matteo Vaccari posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	What is PVS? [My Copy] (November 1998) by John Rushby posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	The PVS Specification and Verification System [My Copy] (November 1998) by John Rushby posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	Archive of the Mathematics of Program Construction Group [My Copy] (July 1998) by R. C. Backhouse posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	Isabelle: a Generic Theorem Prover [My Copy] No. 828. (1994) by Lawrence C. Paulson posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	The Art of Computer Programming. [My Copy] Vol. Vol. III: Sorting and Searching (1973) by Donald E. Knuth posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	The Art of Computer Programming. [My Copy] Vol. Vol. II: Seminumerical algorithms (1969) by Donald E. Knuth posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as

Note: You may cite this page as: http://www.citeulike.org/user/jff/order/to_read

Result page: 1 2 3 4 5 6 7 8 9 10 Next

ewd-bib	1262
rcb-bibfile	855
math-bib	28
calculational	15
jff-bib	14
number-theory	14
algorithms	13
calculational-bib	11
problem-solving	10
general-bib	9
mathematical-methodology	8
algorithm-derivation	6
construction	6
invariant	5
rcb-bib	5
stern-brocot	5
book	4
inversion	4
brocot	3
calkin-wilf	3
chessboard	3
computability	3
correctness	3
mathis	3
ordinals	3
cacm	2
euclidean-algorithm	2
haskell	2
history	2
knuth-bib	2
mathematics	2
proof	2
tiling	2
trominoes	2
afm-bib	1
ai-natural-language-understanding-historical-context-semantics	1
boute	1
bruijn	1
computational-thinking	1
computerized-typesetting	1
continuants	1
cs	1
education	1
eisenstein	1
enumeration	1
epigram	1
exclusive-or	1
feedback	1
fixed-point	1
fm	1
formal	1
games	1
gauss	1
generating-functions	1
golomb	1
greatest-common-divisor	1
inequivalence	1
java	1
latex-computer-file	1
logic	1
moessner	1
parallel-computing	1
polyominoes	1
puzzle	1
puzzled	1
rational-number	1
solitaire	1
taocp	1
turing	1
unplugged	1
urm	1
wing	1

jff's library 2188 articles Export

jff's tags