|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% This file:
% http://anggtwu.net/LATEX/education.bib.html
% http://anggtwu.net/LATEX/education.bib
% (find-angg "LATEX/education.bib")
% Author: Eduardo Ochs <eduardoochs@gmail.com>
%
% The bibliography file - in Biber format -
% for my article about "Bad Foundations":
% (find-LATEX "2025bad-foundations.tex")
%
% (defun o () (interactive) (find-angg "LATEX/catsem-ab.bib"))
% (defun e () (interactive) (find-angg "LATEX/education.bib"))
% (defun oe () (interactive) (find-2a '(o) '(e)))
%
% «.bib-AhmadApplebyEdwards» (to "bib-AhmadApplebyEdwards")
% «.bib-ApexCalculus4» (to "bib-ApexCalculus4")
% «.bib-AspinwallShawPresmeg» (to "bib-AspinwallShawPresmeg")
% «.bib-BerryDMM» (to "bib-BerryDMM")
% «.bib-Boaler» (to "bib-Boaler")
% «.bib-BoalerMindsets» (to "bib-BoalerMindsets")
% «.bib-BottoniTFM» (to "bib-BottoniTFM")
% «.bib-Bressoud» (to "bib-Bressoud")
% «.bib-Buchberger» (to "bib-Buchberger")
% «.bib-ChangBeilock» (to "bib-ChangBeilock")
% «.bib-CobbTension» (to "bib-CobbTension")
% «.bib-CobbYackelMcClain» (to "bib-CobbYackelMcClain")
% «.bib-CohenMrsOublier» (to "bib-CohenMrsOublier")
% «.bib-CzarnochaDubinksy» (to "bib-CzarnochaDubinksy")
% «.bib-DoormanDrijvers» (to "bib-DoormanDrijvers")
% «.bib-DrijversLM» (to "bib-DrijversLM")
% «.bib-DuckworthTE» (to "bib-DuckworthTE")
% «.bib-EllermeijerHeck» (to "bib-EllermeijerHeck")
% «.bib-EngelbrechtBergsten» (to "bib-EngelbrechtBergsten")
% «.bib-EngelbrechtHarding2» (to "bib-EngelbrechtHarding2")
% «.bib-Epp» (to "bib-Epp")
% «.bib-Fateman1992» (to "bib-Fateman1992")
% «.bib-FerreiroCTL» (to "bib-FerreiroCTL")
% «.bib-FerreiroTebLBS» (to "bib-FerreiroTebLBS")
% «.bib-FeynmanBrinc» (to "bib-FeynmanBrinc")
% «.bib-FeynmanJoking» (to "bib-FeynmanJoking")
% «.bib-FilloyRojano» (to "bib-FilloyRojano")
% «.bib-FischbeinTacit» (to "bib-FischbeinTacit")
% «.bib-FreudenthalChina» (to "bib-FreudenthalChina")
% «.bib-FreudenthalDPh» (to "bib-FreudenthalDPh")
% «.bib-FutureOfTLA» (to "bib-FutureOfTLA")
% «.bib-DrouhardTeppo» (to "bib-DrouhardTeppo")
% «.bib-PuigRojano» (to "bib-PuigRojano")
% «.bib-GrayTall» (to "bib-GrayTall")
% «.bib-GutierrezJaimeEV» (to "bib-GutierrezJaimeEV")
% «.bib-Guzdial5P» (to "bib-Guzdial5P")
% «.bib-GuzdialMorrisonGr» (to "bib-GuzdialMorrisonGr")
% «.bib-Halmos» (to "bib-Halmos")
% «.bib-Harper» (to "bib-Harper")
% «.bib-Hemmi» (to "bib-Hemmi")
% «.bib-HemmiPhD» (to "bib-HemmiPhD")
% «.bib-Hewitt1» (to "bib-Hewitt1")
% «.bib-Hewitt2» (to "bib-Hewitt2")
% «.bib-Hewitt3» (to "bib-Hewitt3")
% «.bib-VanHiele» (to "bib-VanHiele")
% «.bib-HindleySeldin2008» (to "bib-HindleySeldin2008")
% «.bib-HughesHallett» (to "bib-HughesHallett")
% «.bib-Hutton» (to "bib-Hutton")
% «.bib-JonassenRohrerMurphy» (to "bib-JonassenRohrerMurphy")
% «.bib-Krantz» (to "bib-Krantz")
% «.bib-Lehtinen» (to "bib-Lehtinen")
% «.bib-Leithold» (to "bib-Leithold")
% «.bib-LemleGTA» (to "bib-LemleGTA")
% «.bib-LinchevskiSfardRWR» (to "bib-LinchevskiSfardRWR")
% «.bib-Ma» (to "bib-Ma")
% «.bib-MariaLaura» (to "bib-MariaLaura")
% «.bib-MasonShift» (to "bib-MasonShift")
% «.bib-McCarthy1960» (to "bib-McCarthy1960")
% «.bib-MendoncaPsicLE» (to "bib-MendoncaPsicLE")
% «.bib-MPG» (to "bib-MPG")
% «.bib-NgCanWeTeach» (to "bib-NgCanWeTeach")
% «.bib-OchsEBL2025» (to "bib-OchsEBL2025")
% «.bib-OchsEmacsConf2024» (to "bib-OchsEmacsConf2024")
% «.bib-OchsIDARCT» (to "bib-OchsIDARCT")
% «.bib-OchsMD» (to "bib-OchsMD")
% «.bib-OchsNSC2026» (to "bib-OchsNSC2026")
% «.bib-OchsPanic2024» (to "bib-OchsPanic2024")
% «.bib-PumpFilter» (to "bib-PumpFilter")
% «.bib-CarlsonGulick» (to "bib-CarlsonGulick")
% «.bib-Purser» (to "bib-Purser")
% «.bib-RestIsAlgebra» (to "bib-RestIsAlgebra")
% «.bib-BoothMcGinn» (to "bib-BoothMcGinn")
% «.bib-McGowen» (to "bib-McGowen")
% «.bib-StewartReeder» (to "bib-StewartReeder")
% «.bib-TallLongTerm» (to "bib-TallLongTerm")
% «.bib-ThomasRethinking» (to "bib-ThomasRethinking")
% «.bib-SecondaryAE» (to "bib-SecondaryAE")
% «.bib-DrijversBoonReeuwijk» (to "bib-DrijversBoonReeuwijk")
% «.bib-Kindt» (to "bib-Kindt")
% «.bib-WebbAbels» (to "bib-WebbAbels")
% «.bib-SchoenfeldArcavi» (to "bib-SchoenfeldArcavi")
% «.bib-SchoenfeldMST» (to "bib-SchoenfeldMST")
% «.bib-SchoenfeldWhatCounts» (to "bib-SchoenfeldWhatCounts")
% «.bib-SchoenfeldWhenGood» (to "bib-SchoenfeldWhenGood")
% «.bib-Sfard» (to "bib-Sfard")
% «.bib-SfardDualNature» (to "bib-SfardDualNature")
% «.bib-SfardLinchevskiBAA» (to "bib-SfardLinchevskiBAA")
% «.bib-SfardLinchevskiGPR» (to "bib-SfardLinchevskiGPR")
% «.bib-Sierpinska» (to "bib-Sierpinska")
% «.bib-SierpinskaSR» (to "bib-SierpinskaSR")
% «.bib-Slavit» (to "bib-Slavit")
% «.bib-Snover» (to "bib-Snover")
% «.bib-SteffeNesherCobb» (to "bib-SteffeNesherCobb")
% «.bib-Steinmetz2025» (to "bib-Steinmetz2025")
% «.bib-Stewart7» (to "bib-Stewart7")
% «.bib-Stewart7vol2» (to "bib-Stewart7vol2")
% «.bib-Stewart8» (to "bib-Stewart8")
% «.bib-Strang4» (to "bib-Strang4")
% «.bib-TallAMT» (to "bib-TallAMT")
% «.bib-DubinksyReflAbs» (to "bib-DubinksyReflAbs")
% «.bib-TallCrystalline» (to "bib-TallCrystalline")
% «.bib-TallGrayPintoSB» (to "bib-TallGrayPintoSB")
% «.bib-TallThomas» (to "bib-TallThomas")
% «.bib-TLATOC» (to "bib-TLATOC")
% «.bib-WheelerMPT» (to "bib-WheelerMPT")
% «.bib-WrightMathWars» (to "bib-WrightMathWars")
% «.bib-Yalep» (to "bib-Yalep")
% «.bib-YalepSurvey» (to "bib-YalepSurvey")
% «bib-AhmadApplebyEdwards» (to ".bib-AhmadApplebyEdwards")
% (find-books "__analysis/__analysis.el" "egerton-pumt-27")
% (find-books "__analysis/__analysis.el" "egerton-pumt-27" "34" "John Ahmad")
%
@InProceedings{AhmadApplebyEdwards,
author = {J. Ahmad and J. Appleby and P. Edwards},
title = {Engineering Mathematics should be taught by Engineers!},
booktitle = {Proceedings of the Undergraduate Mathematics Teaching Conference (Birmingham, England, September 3-6, 2001)},
year = {2001},
editor = {P. Egerton},
pages = {33-40},
note = {\url{https://files.eric.ed.gov/fulltext/ED482954.pdf}},
shorthand = {AhmadApplebyEdwards},
}
% «bib-ApexCalculus4» (to ".bib-ApexCalculus4")
% (find-books "__analysis/__analysis.el" "apex-calculus")
%
@Book{ApexCalculus4,
author = {G. Hartman and T. Siemers and B. Heinold and D. Chalishajar},
editor = {J. Bowen},
title = {Apex Calculus, 4th ed.},
publisher = {Hartman},
year = {2018},
note = {\url{http://www.apexcalculus.com/downloads}},
shorthand = {ApexCalculus4},
}
% «bib-AspinwallShawPresmeg» (to ".bib-AspinwallShawPresmeg")
% (find-books "__analysis/__analysis.el" "aspinwall-shaw")
% «bib-BerryDMM» (to ".bib-BerryDMM")
% (find-books "__analysis/__analysis.el" "berry-dmm")
%
@Article{BerryDMM,
author = {J. Berry},
title = {Developing mathematical modelling skills: The role of CAS},
pages = {212--220},
journal = {ZDM Mathematics Education},
year = {2002},
volume = {34},
number = {5},
shorthand = {BerryDMM},
}
% «bib-Boaler» (to ".bib-Boaler")
% (find-books "__analysis/__analysis.el" "boaler")
%
@Book{Boaler,
author = {J. Boaler},
title = {Experiencing School Mathematics: Traditional and Reform Approaches to Teaching and Their Impact on Student Learning},
publisher = {Lawrence Erlbaum Associates},
year = {2002},
shorthand = {Boaler},
}
% «bib-BoalerMindsets» (to ".bib-BoalerMindsets")
% (find-books "__analysis/__analysis.el" "boaler-mindsets")
%
@Book{BoalerMindsets,
author = {J. Boaler},
title = {Mathematical Mindsets: Unleashing Students' Potential Through Creative Mathematics, Inspiring Messages and Innovative Teaching, 2nd ed.},
publisher = {Wiley},
year = {2022},
shorthand = {BoalerMindsets},
}
% «bib-BottoniTFM» (to ".bib-BottoniTFM")
% (find-books "__analysis/__analysis.el" "bottoni")
%
@Misc{BottoniTFM,
author = {M. L. Bottoni and A. S. Cattaneo and E. Saçıkara},
title = {Teaching ``Foundations of Mathematics'' with the LEAN Theorem Prover},
year = {2025},
eprint = {2501.03352v2},
archivePrefix = {arXiv},
shorthand = {BottoniTFM},
}
% «bib-Bressoud» (to ".bib-Bressoud")
% (find-books "__analysis/__analysis.el" "bressoud")
%
@Book{Bressoud,
author = {D. M. Bressoud},
title = {Calculus Reordered},
publisher = {Princeton},
year = {2019},
shorthand = {Bressoud},
}
% «bib-Buchberger» (to ".bib-Buchberger")
% (find-books "__analysis/__analysis.el" "buchberger")
%
@Article{Buchberger,
author = {B. Buchberger},
title = {Should students learn integration rules?},
journal = {SIGSAM Bulletin},
year = {1990},
volume = {24},
number = {1},
pages = {10-17},
shorthand = {Buchberger},
}
% «bib-ChangBeilock» (to ".bib-ChangBeilock")
% (find-books "__analysis/__analysis.el" "chang-beilock")
%
@Article{ChangBeilock,
author = {H. Chang and S. L. Beilock},
title = {The math anxiety-math performance link and its relation to individual and environmental factors: a review of current behavioral and psychophysiological research},
journal = {Current Opinion in Behavioral Sciences},
year = {2016},
volume = {10},
number = {C},
pages = {33-38},
shorthand = {ChangBeilock},
}
% «bib-CobbTension» (to ".bib-CobbTension")
% (find-books "__analysis/__analysis.el" "cobb-tension")
%
@Article{CobbTension,
author = {P. Cobb},
title = {The Tension Between Theories of Learning and Instruction in Mathematics Education},
journal = {Educational Psychologist},
year = {1988},
volume = {23},
number = {2},
pages = {87-103},
shorthand = {CobbTension},
}
% «bib-CobbYackelMcClain» (to ".bib-CobbYackelMcClain")
% (find-books "__analysis/__analysis.el" "cobb-yackel")
%
@Book{CobbYackelMcClain,
editor = {P. Cobb and E. Yackel and K. McClain},
title = {Symbolizing and Communicating in Mathematics Classrooms: Perspectives on Discourse, Tools, and Instructional Design},
publisher = {Lawrence Erlbaub},
year = {2000},
shorthand = {CobbYackelMcClain},
}
% «bib-CohenMrsOublier» (to ".bib-CohenMrsOublier")
% (find-books "__analysis/__analysis.el" "cohen")
%
@Article{CohenMrsOublier,
author = {D. K. Cohen},
title = {A Revolution in One Classroom: The Case of Mrs.\ Oublier},
pages = {311-329},
journal = {Educational Evaluation and Policy Analysis},
year = {1990},
volume = {12},
number = {3},
shorthand = {CohenMrsOublier},
}
% «bib-CzarnochaDubinksy» (to ".bib-CzarnochaDubinksy")
% (find-books "__analysis/__analysis.el" "zaslavsky-pme-23")
%
@InProceedings{CzarnochaDubinksy,
author = {B. Czarnocha and E. Dubinsky and V. Prabhu and D Vidakovic},
title = {One theoretical perspective in undergraduate mathematics education research},
pages = {95-110},
booktitle = {Proceedings of the 23rd Conference of the International Group for the Psychology of Mathematics Education (PME)},
year = {1991},
editor = {O. Zaslavsky},
volume = {1},
note = {\url{https://www.igpme.org/wp-content/uploads/2019/05/PME23-1999-Haifa.pdf}},
shorthand = {CzarnochaDubinksy},
}
% «bib-DoormanDrijvers» (to ".bib-DoormanDrijvers")
% (find-books "__analysis/__analysis.el" "doorman-drijvers")
%
@Article{DoormanDrijvers,
author = {M. Doorman and P. Drijvers and K. Gravemeijer and P. Boon and H. Reed},
title = {Tool Use and the Development of the Function Concept: from Repeated Calculations to Functional Thinking},
journal = {International Journal of Science and Mathematics Education},
year = {2012},
volume = {10},
number = {6},
pages = {1243-1267},
shorthand = {DoormanDrijvers},
}
% «bib-DrijversLM» (to ".bib-DrijversLM")
% (find-books "__analysis/__analysis.el" "drijvers-lm")
%
@Article{DrijversLM,
author = {P. Drijvers},
title = {Learning Mathematics in a Computer Algebra Environment: Obstacles are Opportunities},
journal = {ZDM Mathematics Education},
year = {2002},
volume = {34},
number = {5},
shorthand = {DrijversLM},
}
% «bib-DuckworthTE» (to ".bib-DuckworthTE")
% (find-books "__analysis/__analysis.el" "duckworth-tooearly")
%
@Article{DuckworthTE,
author = {E. Duckworth},
title = {Either We're Too Early and They Can't Learn It or We're Too Late and They Know It Already The Dilemma of ``Applying Piaget''},
journal = {Harvard Educational Review},
year = {1979},
volume = {49},
number = {3},
shorthand = {DuckworthTE},
}
% «bib-EllermeijerHeck» (to ".bib-EllermeijerHeck")
% (find-books "__analysis/__analysis.el" "ellermeijer-heck")
% (find-books "__analysis/__analysis.el" "girep2001")
% Differences between the use of mathematical entities in mathematics and physics and the consequences for an integrated learning environment.
% Ton Ellermeijer and André Heck
%
@InProceedings{EllermeijerHeck,
author = {T. Ellermeijer and A. Heck},
title = {Differences between the use of mathematical entities in mathematics and physics and the consequences for an integrated learning environment},
booktitle = {Developing Formal Thinking in Physics -- First International GIREP seminar 2001},
year = {2001},
shorthand = {EllermeijerHeck},
}
% «bib-EngelbrechtBergsten» (to ".bib-EngelbrechtBergsten")
% (find-books "__analysis/__analysis.el" "engelbrecht")
%
@Article{EngelbrechtBergsten,
author = {J. Engelbrecht and C. Bergsten and O. Kågesten},
title = {Conceptual and Procedural Approaches to Mathematics in the Engineering Curriculum: Student Conceptions and Performance},
pages = {138–162},
journal = {Journal of Engineering Education},
year = {2012},
volume = {101},
number = {1},
shorthand = {EngelbrechtBergsten},
}
% «bib-EngelbrechtHarding2» (to ".bib-EngelbrechtHarding2")
% (find-books "__analysis/__analysis.el" "engelbrecht-harding-2")
%
@Article{EngelbrechtHarding2,
author = {J. Engelbrecht and A. Harding},
title = {Teaching Undergraduate Mathematics on the Internet, Part 2: Attributes and Possibilities},
pages = {253-276},
journal = {Educational Studies in Mathematics},
year = {2005},
volume = {58},
number = {2},
shorthand = {EngelbrechtHarding2},
}
% «bib-Epp» (to ".bib-Epp")
% (find-books "__discrete/__discrete.el" "epp")
%
@Book{Epp,
author = {S. S. Epp},
title = {Discrete Mathematics with Applications, 4th ed.},
publisher = {Cengage},
year = {2011},
shorthand = {Epp},
}
% «bib-Fateman1992» (to ".bib-Fateman1992")
% (find-books "__comp/__comp.el" "fateman-rm")
% (find-books "__comp/__comp.el" "fateman-rm-jsc")
%
@Article{Fateman1992,
author = {R. J. Fateman},
title = {A Review of Mathematica},
pages = {545-579},
journal = {Journal of Symbolic Computation},
year = {1992},
volume = {13},
number = {5},
note = {\LaTeX{}ed version: \url{https://people.eecs.berkeley.edu/~fateman/papers/mma.pdf}},
shorthand = {Fateman1992},
}
% «bib-FerreiroCTL» (to ".bib-FerreiroCTL")
% (find-books "__analysis/__analysis.el" "ferreiro-ctl")
%
@Book{FerreiroCTL,
author = {E. Ferreiro},
title = {Com todas as letras},
publisher = {Cortez},
year = {2017},
shorthand = {FerreiroCTL},
}
% «bib-FerreiroTebLBS» (to ".bib-FerreiroTebLBS")
% (find-books "__analysis/__analysis.el" "ferreiro-teberosky")
%
@Book{FerreiroTebLBS,
author = {E. Ferreiro and A. Teberosky},
title = {Literacy Before Schooling},
publisher = {Heinemann},
year = {1982},
shorthand = {FerreiroTebLBS},
}
% «bib-FeynmanBrinc» (to ".bib-FeynmanBrinc")
% (find-books "__analysis/__analysis.el" "feynman-brinc")
%
@Book{FeynmanBrinc,
author = {R. Feynman},
title = {``Só pode ser brincadeira, sr. Feynman!''},
publisher = {Intrínseca},
year = {2019},
shorthand = {FeynmanBrinc},
}
% «bib-FeynmanJoking» (to ".bib-FeynmanJoking")
% (find-books "__analysis/__analysis.el" "feynman-joking")
%
@Book{FeynmanJoking,
author = {R. Feynman},
title = {Surely You're Joking, Mr. Feynman!},
publisher = {W. W. Norton},
year = {2018},
shorthand = {FeynmanJoking},
}
% «bib-FilloyRojano» (to ".bib-FilloyRojano")
% (find-books "__analysis/__analysis.el" "filloy-rojano")
%
@Article{FilloyRojano,
author = {E. Filloy, T. Rojano},
title = {Solving Equations: the Transition from Arithmetic to Algebra},
journal = {For the Learning of Mathematics},
year = {1989},
volume = {9},
number = {2},
pages = {19-25},
shorthand = {FilloyRojano},
}
% «bib-FischbeinTacit» (to ".bib-FischbeinTacit")
% (find-books "__analysis/__analysis.el" "fischbein")
%
@Article{FischbeinTacit,
author = {E. Fischbein},
title = {Tacit Models and Mathematical Reasoning},
journal = {For the Learning of Mathematics},
year = {1989},
volume = {9},
number = {2},
pages = {19-25},
shorthand = {FischbeinTacit},
}
% «bib-FreudenthalChina» (to ".bib-FreudenthalChina")
% (find-books "__analysis/__analysis.el" "freudenthal-cl")
%
@Book{FreudenthalChina,
author = {H. Freudenthal},
title = {Revisiting Mathematics Education: China Lectures},
publisher = {Kluwer},
year = {2022},
shorthand = {FreudenthalChina},
}
% «bib-FreudenthalDPh» (to ".bib-FreudenthalDPh")
% (find-books "__analysis/__analysis.el" "freudenthal")
%
@Book{FreudenthalDPh,
author = {H. Freudenthal},
title = {Didactical Phenomenology of Mathematical Structures},
publisher = {Kluwer},
year = {1999},
shorthand = {FreudenthalDPh},
}
% «bib-FutureOfTLA» (to ".bib-FutureOfTLA")
% (find-books "__analysis/__analysis.el" "stacey-chick")
%
@Book{FutureOfTLA,
editor = {K. Stacey and H. Chick and M. Kendal},
title = {The Future of the Teaching and Learning of Algebra - The 12th ICMI Study},
publisher = {Kluwer},
year = {2004},
shorthand = {FutureOfTLA},
}
% «bib-DrouhardTeppo» (to ".bib-DrouhardTeppo")
% (find-books "__analysis/__analysis.el" "stacey-chick")
% (find-books "__analysis/__analysis.el" "stacey-chick" "227" "Drouhard and Anne R. Teppo")
% (find-LATEXgrep "grep --color=auto -nH --null -e InBook *.bib")
% In: (to "bib-FutureOfTLA")
%
@InBook{DrouhardTeppo,
author = {J. P. Drouhard and A. R. Teppo},
chapter = {Symbols and Language},
editor = {K. Stacey and H. Chick and M. Kendal},
title = {The Future of the Teaching and Learning of Algebra - The 12th ICMI Study},
publisher = {Kluwer},
year = {2004},
shorthand = {DrouhardTeppo},
}
% «bib-PuigRojano» (to ".bib-PuigRojano")
% (find-books "__analysis/__analysis.el" "stacey-chick")
% (find-books "__analysis/__analysis.el" "stacey-chick" "189" "Luis Puig and Teresa Rojano")
% (to "bib-FutureOfTLA")
%
@InBook{PuigRojano,
author = {L. Puig and T. Rojano},
chapter = {The History of Algebra in Mathematics Education},
editor = {K. Stacey and H. Chick and M. Kendal},
title = {The Future of the Teaching and Learning of Algebra - The 12th ICMI Study},
chapter = {Symbols and Language},
publisher = {Kluwer},
year = {2004},
pages = {189-223},
shorthand = {PuigRojano},
}
% «bib-GrayTall» (to ".bib-GrayTall")
% (find-books "__analysis/__analysis.el" "gray-tall")
%
@Article{GrayTall,
author = {E. M. Gray and D. O. Tall},
title = {Duality, Ambiguity, and Flexibility: A ``Proceptual'' View of Simple Arithmetic},
journal = {Journal for Research in Mathematics Education},
year = {1994},
volume = {25},
number = {2},
shorthand = {GrayTall},
}
% «bib-GutierrezJaimeEV» (to ".bib-GutierrezJaimeEV")
% (find-books "__analysis/__analysis.el" "gutierrez-jaime-fortuny")
%
@Article{GutierrezJaimeEV,
author = {A. Gutiérrez, A. Jaime and J. M. Fortuny},
title = {An Alternative Paradigm to Evaluate the Acquisition of the van Hiele Levels},
journal = {Journal for Research in Mathematics Education},
year = {1991},
volume = {22},
number = {3},
pages = {237-251},
shorthand = {GutierrezJaimeEV},
}
% «bib-Guzdial5P» (to ".bib-Guzdial5P")
% (find-books "__analysis/__analysis.el" "guzdial-5p")
%
@Unpublished{Guzdial5P,
author = {M. Guzdial},
title = {Five Principles For Programming Languages For Learners},
note = {\url{https://cacm.acm.org/blogcacm/five-principles-for-programming-languages-for-learners/}},
year = {2016},
shorthand = {Guzdial5P},
}
% «bib-GuzdialMorrisonGr» (to ".bib-GuzdialMorrisonGr")
% (find-books "__analysis/__analysis.el" "guzdial-morrison-gcs")
%
@Article{GuzdialMorrisonGr,
author = {M. Guzdial and B. Morrison},
title = {Growing Computer Science Education Into a STEM Education Discipline},
journal = {Communications of the ACM},
year = {2016},
volume = {59},
number = {11},
shorthand = {GuzdialMorrisonGr},
}
% «bib-Halmos» (to ".bib-Halmos")
%
@Book{Halmos,
author = {P. R. Halmos},
title = {I Want to be a Mathematician: an Automathography in Three Parts},
publisher = {MAA},
year = {1985},
shorthand = {Halmos},
}
% «bib-Harper» (to ".bib-Harper")
% (find-books "__comp/__comp.el" "harper")
%
@Book{Harper,
author = {R. Harper},
title = {Practical Foundations for Programming Languages, 2nd ed.},
publisher = {Cambridge},
year = {2016},
shorthand = {Harper},
}
% «bib-Hemmi» (to ".bib-Hemmi")
% (find-books "__analysis/__analysis.el" "hemmi")
%
@Article{Hemmi,
author = {K. Hemmi},
title = {Students' encounter with proof: the condition of transparency},
journal = {ZDM Mathematics Education},
year = {2008},
volume = {40},
number = {3},
pages = {413-426},
shorthand = {Hemmi},
}
% «bib-HemmiPhD» (to ".bib-HemmiPhD")
% (find-books "__analysis/__analysis.el" "hemmi-phd")
%
@PhdThesis{HemmiPhD,
author = {K. Hemmi},
title = {Approaching Proof in a Community of Mathematical Practice},
school = {Stockholm University},
year = {2006},
shorthand = {HemmiPhD},
}
% «bib-Hewitt1» (to ".bib-Hewitt1")
% (find-books "__analysis/__analysis.el" "hewitt-1")
%
@Article{Hewitt1,
author = {D. Hewitt},
title = {Arbitrary and Necessary Part 1: a Way of Viewing the Mathematics Curriculum},
journal = {For the Learning of Mathematics},
year = {1999},
volume = {19},
number = {3},
pages = {2--9},
month = {11},
shorthand = {Hewitt1},
}
% «bib-Hewitt2» (to ".bib-Hewitt2")
% (find-books "__analysis/__analysis.el" "hewitt-2")
%
@Article{Hewitt2,
author = {D. Hewitt},
title = {Arbitrary and Necessary Part 2: Assisting Memory},
journal = {For the Learning of Mathematics},
year = {2001},
volume = {21},
number = {1},
pages = {44--51},
month = {3},
shorthand = {Hewitt2},
}
% «bib-Hewitt3» (to ".bib-Hewitt3")
% (find-books "__analysis/__analysis.el" "hewitt-3")
%
@Article{Hewitt3,
author = {D. Hewitt},
title = {Arbitrary and Necessary Part 3: Educating Awareness},
journal = {For the Learning of Mathematics},
year = {2001},
volume = {21},
number = {2},
pages = {37--49},
month = {7},
shorthand = {Hewitt3},
}
% «bib-VanHiele» (to ".bib-VanHiele")
% (find-books "__analysis/__analysis.el" "van-hiele")
%
@Book{VanHiele,
author = {P. M. van Hiele},
title = {Structure and Insight - A Theory of Mathematics Education},
publisher = {Academic Press},
year = {1986},
shorthand = {VanHiele},
}
% «bib-HindleySeldin2008» (to ".bib-HindleySeldin2008")
% (find-books "__logic/__logic.el" "hindley-seldin2")
%
@Book{HindleySeldin2008,
author = {J. R. Hindley and J. P. Seldin},
title = {Lambda-Calculus and Combinators, an Introduction},
publisher = {Cambridge},
year = {2008},
shorthand = {HindleySeldin2008},
}
% «bib-HughesHallett» (to ".bib-HughesHallett")
% (find-books "__analysis/__analysis.el" "hughes-hallett-6")
%
@Book{HughesHallett,
author = {D. Hughes-Hallett and P. F. Lock and D. E. Flath and A. M. Gleason},
title = {Applied Calculus, 6th ed},
publisher = {Wiley},
year = {2018},
shorthand = {HughesHallett},
}
% % «bib-Hutton» (to ".bib-Hutton")
% % (find-books "__comp/__comp.el" "haskell-hutton")
% %
% @Book{Hutton,
% author = {G. Hutton},
% title = {Programming in Haskell, 2nd ed.},
% publisher = {Cambridge},
% year = {2016},
% shorthand = {Hutton},
% }
% «bib-JonassenRohrerMurphy» (to ".bib-JonassenRohrerMurphy")
% (find-books "__analysis/__analysis.el" "jonassen-rorher-murphy")
%
@Article{JonassenRohrerMurphy,
author = {D. H. Jonassen and Rohrer-Murphy},
title = {Activity Theory as a Framework for Designing Constructivist Learning Environments},
journal = {Educational Technology Research and Development},
year = {1999},
volume = {47},
number = {1},
pages = {61-79},
shorthand = {JonassenRohrerMurphy},
}
% «bib-Krantz» (to ".bib-Krantz")
% (find-books "__analysis/__analysis.el" "krantz")
%
@Book{Krantz,
author = {S. G. Krantz},
title = {How to Teach Mathematics, 3rd edition},
publisher = {AMS},
year = {2015},
shorthand = {Krantz},
}
% «bib-Lehtinen» (to ".bib-Lehtinen")
% (find-books "__analysis/__analysis.el" "lehtinen-cms")
%
@Article{Lehtinen,
author = {E. Lehtinen and M. Hannula-Sormunen J. McMullen and H. Gruber},
title = {Cultivating mathematical skills: from drill-and-practice to deliberate practice},
pages = {625-636},
journal = {ZDM Mathematics Education},
year = {2017},
volume = {49},
number = {4},
shorthand = {Lehtinen},
}
% «bib-Leithold» (to ".bib-Leithold")
% (find-books "__analysis/__analysis.el" "leithold")
%
@Book{Leithold,
author = {L. Leithold},
title = {O cálculo com geometria analítica, vol.1, 3a ed},
publisher = {Harbra},
year = {1994},
shorthand = {Leithold},
}
% «bib-LemleGTA» (to ".bib-LemleGTA")
% (find-books "__analysis/__analysis.el" "lemle")
%
@Book{LemleGTA,
author = {M. Lemle},
title = {Guia Teórico do Alfabetizador},
publisher = {Ática},
year = {2009},
shorthand = {LemleGTA},
}
% «bib-LinchevskiSfardRWR» (to ".bib-LinchevskiSfardRWR")
% (find-books "__analysis/__analysis.el" "furinghetti-pme-15-2")
%
@InProceedings{LinchevskiSfardRWR,
author = {L. Linchevski and A. Sfard},
title = {Rules without reasons as processes without objects - The case of equations and inequalities},
booktitle = {Proceedings of the Fifteenth Conference for the Psychology of Mathematics Education, Assisi, Italy},
year = {1991},
editor = {F. Furinghetti},
volume = {2},
pages = {317-324},
note = {\url{https://eric.ed.gov/?q=furinghetti&id=ED413163}},
shorthand = {LinchevskiSfardRWR},
}
% «bib-Ma» (to ".bib-Ma")
% (find-books "__analysis/__analysis.el" "ma")
%
@Book{Ma,
author = {L. Ma},
title = {Knowing and Teaching Elementary Mathematics (Anniversary Edition)},
publisher = {Routledge},
year = {2010},
shorthand = {Ma},
}
% «bib-MariaLaura» (to ".bib-MariaLaura")
% (find-books "__analysis/__analysis.el" "maria-laura")
%
@Book{MariaLaura,
author = {M. L. M. Gomes},
title = {Álgebra e Funções na Educação Básica},
publisher = {CAED-UFMG},
year = {2013},
shorthand = {MariaLaura},
}
% «bib-MasonShift» (to ".bib-MasonShift")
% (find-books "__analysis/__analysis.el" "mason")
%
@Article{MasonShift,
author = {J. Mason},
title = {Mathematical Abstraction as the Result of a Delicate Shift of Attention},
journal = {For the Learning of Mathematics},
year = {1989},
volume = {9},
number = {2},
pages = {2-8},
shorthand = {MasonShift},
}
% «bib-McCarthy1960» (to ".bib-McCarthy1960")
% (find-books "__analysis/__analysis.el" "mccarthy-rf1")
%
@Article{McCarthy1960,
author = {J. McCarthy},
title = {Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I},
pages = {184-195},
journal = {Communications of the ACM},
year = {1960},
volume = {3},
number = {4},
note = {\LaTeX{}ed version: \url{https://www-formal.stanford.edu/jmc/recursive.pdf}},
shorthand = {McCarthy1960},
}
% «bib-MendoncaPsicLE» (to ".bib-MendoncaPsicLE")
% (find-books "__analysis/__analysis.el" "mendonca-psicoglec")
%
@Unpublished{MendoncaPsicLE,
author = {O. S. Mendonça and O. C. de Mendonça},
title = {Psicogênese da Língua Escrita: contribuições, equívocos e consequências para a alfabetização},
year = {2011},
note = {\url{https://acervodigital.unesp.br/handle/123456789/40138}},
shorthand = {MendoncaPsicLE},
}
% «bib-MPG» (to ".bib-MPG")
% (find-TH "material-para-GA")
% (mpgp)
%
@Unpublished{MPG,
author = {E. Ochs},
title = {Material complementar para Geometria Analítica},
note = {\url{http://anggtwu.net/LATEX/material-para-GA.pdf}},
year = {2020},
shorthand = {MPG},
}
% «bib-NgCanWeTeach» (to ".bib-NgCanWeTeach")
% (find-books "__analysis/__analysis.el" "ng-canwe")
%
@Article{NgCanWeTeach,
author = {Can we teach digital natives digital literacy?},
title = {W. Ng},
journal = {Computers and Education},
year = {2012},
volume = {59},
number = {3},
shorthand = {NgCanWeTeach},
}
% «bib-OchsEBL2025» (to ".bib-OchsEBL2025")
% (find-TH "math-b" "2025-ebl")
%
@Unpublished{OchsEBL2025,
author = {E. Ochs},
title = {Adapting Lean tutorials to the Brazilian case (presentation at the EBL 2025)},
note = {\url{https://anggtwu.net/math-b.html\#2025-ebl}},
month = {5},
year = {2025},
shorthand = {OchsEBL2025},
}
% «bib-OchsEmacsConf2024» (to ".bib-OchsEmacsConf2024")
% (find-TH "emacsconf2024")
%
@Unpublished{OchsEmacsConf2024,
author = {E. Ochs},
title = {Emacs, eev, and Maxima - now! (eev @ EmacsConf 2024)},
% note = {\url{https://emacsconf.org/2024/talks/maxima/}},
note = {\url{https://anggtwu.net/emacsconf2024.html}},
month = {12},
year = {2024},
shorthand = {OchsEmacsConf2024},
}
% «bib-OchsIDARCT» (to ".bib-OchsIDARCT")
% (find-TH "math-b" "idarct")
%
@Article{OchsIDARCT,
author = {E. Ochs},
title = {Internal Diagrams and Archetypal Reasoning in Category Theory},
note = {\url{https://anggtwu.net/math-b.html\#idarct}},
journal = {Logica Universalis},
year = {2013},
volume = {7},
number = {3},
shorthand = {OchsIDARCT},
}
% «bib-OchsMD» (to ".bib-OchsMD")
% (find-TH "math-b" "2022-md")
%
@Misc{OchsMD,
author = {E. Ochs},
title = {On the Missing Diagrams in Category Theory (First-Person Version)},
year = {2022},
note = {\url{https://anggtwu.net/math-b.html\#2022-md}},
eprint = {2401.12345},
archivePrefix = {arXiv},
shorthand = {OchsMD},
}
% «bib-OchsNSC2026» (to ".bib-OchsNSC2026")
% (2026setcompra "title")
%
@Unpublished{OchsNSC2026,
author = {E. Ochs},
title = {Notes on Set Comprehensions)},
note = {\url{https://anggtwu.net/LATEX/2026-set-comprehensions.pdf}},
year = {2026},
shorthand = {OchsNSC2026},
}
% «bib-OchsPanic2024» (to ".bib-OchsPanic2024")
% (find-TH "math-b" "2024-panic-t")
%
@Unpublished{OchsPanic2024,
author = {E. Ochs},
title = {Panic! At Equalities (Versão Teresópolis)},
note = {\url{https://anggtwu.net/math-b.html\#2024-panic-t}},
month = {6},
year = {2024},
shorthand = {OchsPanic2024},
}
% «bib-PumpFilter» (to ".bib-PumpFilter")
% (find-books "__analysis/__analysis.el" "pumpfilter")
%
@Book{PumpFilter,
editor = {L. A. Steen},
title = {Calculus for a New Century: a Pump, not a Filter - a National Colloquium, October 28-29, 1987},
publisher = {MAA},
year = {1987},
note = {\url{https://maa.org/wp-content/uploads/2024/10/NTE8_optimized.pdf}},
shorthand = {PumpFilter},
}
% «bib-CarlsonGulick» (to ".bib-CarlsonGulick")
% (find-books "__analysis/__analysis.el" "pumpfilter")
%
@InBook{CarlsonGulick,
author = {D. E. Carlson and D. Gulick},
title = {Calculus for Engineering Students - First Discussion Session},
pages = {62--63},
editor = {L. A. Steen},
booktitle = {Calculus for a New Century: a Pump, not a Filter - a National Colloquium, October 28-29, 1987},
publisher = {MAA},
year = {1987},
note = {\url{https://maa.org/wp-content/uploads/2024/10/NTE8_optimized.pdf}},
shorthand = {CarlsonGulick},
}
% «bib-Purser» (to ".bib-Purser")
% (find-books "__analysis/__analysis.el" "purser-destroying")
% (find-TH "2025-ai-is-destroying")
%
@Unpublished{Purser,
author = {R. Purser},
title = {AI is Destroying the University and Learning Itself},
note = {\url{https://www.currentaffairs.org/news/ai-is-destroying-the-university-and-learning-itself}},
year = {2025},
shorthand = {Purser},
}
% «bib-RestIsAlgebra» (to ".bib-RestIsAlgebra")
% (find-books "__analysis/__analysis.el" "rest-is-algebra")
%
@Book{RestIsAlgebra,
editor = {S. Stewart},
title = {And the Rest is Just Algebra},
publisher = {Springer},
year = {2017},
shorthand = {RestIsAlgebra},
}
% «bib-BoothMcGinn» (to ".bib-BoothMcGinn")
% (find-books "__analysis/__analysis.el" "rest-is-algebra")
% (find-books "__analysis/__analysis.el" "rest-is-algebra" "63" "4 Misconceptions and Learning Algebra")
%
@InBook{BoothMcGinn,
author = {J. L. Booth and K. M. McGinn and C. Barbieri and L. K. Young},
chapter = {Misconceptions and Learning Algebra},
pages = {63--78},
editor = {S. Stewart},
title = {And the Rest is Just Algebra},
publisher = {Springer},
year = {2017},
shorthand = {BoothMcGinn},
}
% «bib-McGowen» (to ".bib-McGowen")
% (find-books "__analysis/__analysis.el" "rest-is-algebra")
% (find-books "__analysis/__analysis.el" "rest-is-algebra" "19" "Mercedes McGowen")
%
@InBook{McGowen,
author = {M. McGowen},
chapter = {Examining the Role of Prior Experience in the Learning of Algebra},
pages = {19--39},
editor = {S. Stewart},
title = {And the Rest is Just Algebra},
publisher = {Springer},
year = {2017},
shorthand = {McGowen},
}
% «bib-StewartReeder» (to ".bib-StewartReeder")
% (find-books "__analysis/__analysis.el" "rest-is-algebra")
% (find-books "__analysis/__analysis.el" "rest-is-algebra" "3" "Sepideh Stewart and Stacy Reeder")
%
@InBook{StewartReeder,
author = {S. Stewart and S. Reeder},
chapter = {Algebra Underperformances at College Level: What Are the Consequences?},
pages = {3--18},
editor = {S. Stewart},
title = {And the Rest is Just Algebra},
publisher = {Springer},
year = {2017},
shorthand = {StewartReeder},
}
% «bib-TallLongTerm» (to ".bib-TallLongTerm")
% (find-books "__analysis/__analysis.el" "rest-is-algebra")
% (find-books "__analysis/__analysis.el" "rest-is-algebra" "43" "3 Long-Term Effects of")
%
@InBook{TallLongTerm,
author = {D. Tall},
chapter = {Long-Term Effects of Sense Making and Anxiety in Algebra},
pages = {43--62},
editor = {S. Stewart},
title = {And the Rest is Just Algebra},
publisher = {Springer},
year = {2017},
shorthand = {TallLongTerm},
}
% «bib-ThomasRethinking» (to ".bib-ThomasRethinking")
% (find-books "__analysis/__analysis.el" "rest-is-algebra")
% (find-books "__analysis/__analysis.el" "rest-is-algebra" "173" "Mike Thomas")
%
@InBook{ThomasRethinking,
author = {M. Thomas},
chapter = {Rethinking Algebra: A Versatile Approach Integrating Digital Technology},
pages = {173--201},
editor = {S. Stewart},
title = {And the Rest is Just Algebra},
publisher = {Springer},
year = {2017},
shorthand = {ThomasRethinking},
}
% «bib-SecondaryAE» (to ".bib-SecondaryAE")
% (find-books "__analysis/__analysis.el" "drijvers-sae")
%
@Book{SecondaryAE,
editor = {P. Drijvers},
title = {Secondary Algebra Education: Revisiting Topics and Themes and Exploring the Unknown},
publisher = {Sense},
year = {2011},
shorthand = {SecondaryAE},
}
% «bib-DrijversBoonReeuwijk» (to ".bib-DrijversBoonReeuwijk")
% (find-books "__analysis/__analysis.el" "drijvers-sae" "179" "8. ALGEBRA AND TECHNOLOGY")
%
@InBook{DrijversBoonReeuwijk,
author = {P. Drijvers and P. Boon and M. van Reeuwijk},
chapter = {Algebra and Technology},
pages = {179-202},
editor = {P. Drijvers},
title = {Secondary Algebra Education: Revisiting Topics and Themes and Exploring the Unknown},
publisher = {Sense},
year = {2011},
shorthand = {SecondaryAE},
shorthand = {DrijversBoonReeuwijk},
}
% «bib-Kindt» (to ".bib-Kindt")
% (find-books "__analysis/__analysis.el" "drijvers-sae" "137" "7. PRINCIPLES OF PRACTICE")
%
@InBook{Kindt,
author = {M. Kindt},
chapter = {Principles of Practice},
pages = {137-178},
editor = {P. Drijvers},
title = {Secondary Algebra Education: Revisiting Topics and Themes and Exploring the Unknown},
publisher = {Sense},
year = {2011},
shorthand = {Kindt},
}
% «bib-WebbAbels» (to ".bib-WebbAbels")
% (find-books "__analysis/__analysis.el" "drijvers-sae" "101" "5. RESTRICTIONS IN ALGEBRA")
%
@InBook{WebbAbels,
author = {D. Webb and M. Abels},
chapter = {Restrictions in Algebra},
editor = {P. Drijvers},
title = {Secondary Algebra Education: Revisiting Topics and Themes and Exploring the Unknown},
publisher = {Sense},
year = {2011},
pages = {137-178},
shorthand = {WebbAbels},
}
% «bib-SchoenfeldArcavi» (to ".bib-SchoenfeldArcavi")
% (find-books "__analysis/__analysis.el" "schoenfeld-arcavi")
%
@Article{SchoenfeldArcavi,
author = {A. H. Schoenfeld and A. Arcavi},
title = {On the Meaning of Variable},
pages = {420-427},
journal = {Mathematics Teacher},
year = {1988},
volume = {81},
number = {6},
shorthand = {SchoenfeldArcavi},
}
% «bib-SchoenfeldMST» (to ".bib-SchoenfeldMST")
% (find-books "__analysis/__analysis.el" "schoenfeld-mst")
%
@Article{SchoenfeldMST,
author = {A. H. Schoenfeld},
title = {Making sense of teaching},
journal = {ZDM Mathematics Education},
year = {2016},
volume = {48},
number = {1},
pages = {239-246},
shorthand = {SchoenfeldMST},
}
% «bib-SchoenfeldWhatCounts» (to ".bib-SchoenfeldWhatCounts")
% (find-books "__analysis/__analysis.el" "schoenfeld-wc")
%
@InProceedings{SchoenfeldWhatCounts,
author = {A. H. Schoenfeld},
title = {What Counts in Mathematics (and Other) Classrooms? A Framework for Looking at What Matters, and Thoughts About How One Might Use These Ideas for Professional Development},
booktitle = {Proceedings of the Conference on Mathematical Modeling - Teachers College, Columbia University, October 14, 2013},
year = {2013},
shorthand = {SchoenfeldWhatCounts},
}
% «bib-SchoenfeldWhenGood» (to ".bib-SchoenfeldWhenGood")
% (find-books "__analysis/__analysis.el" "schoenfeld-wgt")
%
@Article{SchoenfeldWhenGood,
author = {A. H. Schoenfeld},
title = {When Good Teaching Leads to Bad Results: The Disasters of `Well-Taught' Mathematics Courses},
journal = {Educational Psychologist},
year = {1988},
volume = {23},
number = {2},
pages = {145-166},
shorthand = {SchoenfeldWhenGood},
}
% «bib-Sfard» (to ".bib-Sfard")
% (find-books "__analysis/__analysis.el" "sfard")
%
@Book{Sfard,
author = {A. Sfard},
title = {Thinking as Communicating -- Human Development, the Growth of Discourses, and Mathematizing},
publisher = {Cambridge},
year = {2008},
shorthand = {Sfard},
}
% «bib-SfardDualNature» (to ".bib-SfardDualNature")
% (find-books "__analysis/__analysis.el" "sfard-dualnat")
%
@Article{SfardDualNature,
author = {A. Sfard},
title = {On the Dual Nature of Mathematical Conceptions: Reflections on Processes and Objects as Different Sides of the Same Coin},
journal = {Educational Studies in Mathematics},
year = {1991},
volume = {22},
number = {1-36},
shorthand = {SfardDualNature},
}
% «bib-SfardLinchevskiBAA» (to ".bib-SfardLinchevskiBAA")
% (find-books "__analysis/__analysis.el" "sfard-linchevski-baa")
%
@Article{SfardLinchevskiBAA,
author = {A. Sfard and L. Linchevski},
title = {Between Arithmetic and Algebra: in the Search of a Missing Link - the Case of Equations and Inequalities},
journal = {Rendiconti del Seminario Matematico - Università e Politecnico di Torino},
year = {1994},
volume = {52},
number = {3},
pages = {279-307},
shorthand = {SfardLinchevskiBAA},
}
% «bib-SfardLinchevskiGPR» (to ".bib-SfardLinchevskiGPR")
% (find-books "__analysis/__analysis.el" "sfard-linchevski-gpr")
%
@Article{SfardLinchevskiGPR,
author = {A. Sfard and L. Linchevski},
title = {The Gains and the Pitfalls of Reification -- the Case of Algebra},
journal = {Educational Studies in Mathematics},
year = {1994},
volume = {26},
number = {2},
pages = {191-228},
shorthand = {SfardLinchevskiGPR},
}
% «bib-Sierpinska» (to ".bib-Sierpinska")
% (find-books "__analysis/__analysis.el" "sierpinska-uim")
%
@Book{Sierpinska,
author = {A. Sierpinska},
title = {Understanding in Mathematics},
publisher = {Falmer},
year = {1994},
shorthand = {Sierpinska},
}
% «bib-SierpinskaSR» (to ".bib-SierpinskaSR")
% (find-books "__analysis/__analysis.el" "sierpinska-sr")
%
@Article{SierpinskaSR,
author = {A. Sierpinska},
title = {Some Remarks on Understanding in Mathematics},
journal = {For the Learning of Mathematics},
year = {1990},
volume = {10},
number = {3},
shorthand = {SierpinskaSR},
}
% «bib-Slavit» (to ".bib-Slavit")
% (find-books "__analysis/__analysis.el" "slavit")
% «bib-Snover» (to ".bib-Snover")
% (find-es "w32" "you-have-an-artifact")
%
@Unpublished{Snover,
author = {J. Snover and A. G. Bell},
title = {Navigating Corporate Giants Jeffrey Snover and the Making of PowerShell},
note = {\url{https://corecursive.com/building-powershell-with-jeffrey-snover/}},
year = {2024},
month = {7},
shorthand = {Snover},
}
% «bib-SteffeNesherCobb» (to ".bib-SteffeNesherCobb")
% (find-books "__analysis/__analysis.el" "steffe-nesher-cobb")
%
@Book{SteffeNesherCobb,
editor = {L. P. Steffe and P. Nesher and P. Cobb and G. A. Goldin and B. Greer},
title = {Theories of Mathematical Learning},
publisher = {Lawrence Erlbaum},
year = {1996},
shorthand = {SteffeNesherCobb},
}
% «bib-Steinmetz2025» (to ".bib-Steinmetz2025")
% (find-books "__analysis/__analysis.el" "steinmetz")
%
@Unpublished{Steinmetz2025,
author = {W. A. C. Steinmetz},
title = {Raciocínio lógico na aprendizagem da matemática},
note = {\url{https://anggtwu.net/tmp/steinmetz__raciocinio_logico_na_aprendizagem_da_matematica.pdf}},
annote = {\url{https://www.youtube.com/watch?v=fpakEkW7TyQ}},
month = {2},
year = {2025},
shorthand = {Steinmetz2025},
}
% «bib-Stewart7» (to ".bib-Stewart7")
% (find-books "__analysis/__analysis.el" "stewart-pt")
%
@Book{Stewart7,
author = {J. Stewart},
title = {Cálculo, vol.1 (7a ed)},
publisher = {Cengage Learning},
year = {2013},
shorthand = {Stewart7},
}
% «bib-Stewart7vol2» (to ".bib-Stewart7vol2")
% (find-books "__analysis/__analysis.el" "stewart-pt")
%
@Book{Stewart7vol2,
author = {J. Stewart},
title = {Cálculo, vol.2 (7a ed)},
publisher = {Cengage Learning},
year = {2013},
shorthand = {Stewart7vol2},
}
% «bib-Stewart8» (to ".bib-Stewart8")
% (find-books "__analysis/__analysis.el" "stewart8")
%
@Book{Stewart8,
author = {J. Stewart},
title = {Calculus, 8th ed.},
publisher = {Cengage Learning},
year = {2016},
shorthand = {Stewart8},
}
% «bib-Strang4» (to ".bib-Strang4")
% (find-books "__alg/__alg.el" "strang")
%
@Book{Strang4,
author = {G. Strang},
title = {Linear Algebra and Its Applications, 4th ed.},
publisher = {Cengage Learning},
year = {2005},
shorthand = {Strang4},
}
% «bib-TallAMT» (to ".bib-TallAMT")
% (find-books "__analysis/__analysis.el" "tall-amt")
%
@Book{TallAMT,
editor = {D. Tall},
title = {Advanced Mathematical Thinking},
publisher = {Kluwer},
year = {2002},
shorthand = {TallAMT},
}
% «bib-DubinksyReflAbs» (to ".bib-DubinksyReflAbs")
% (find-books "__analysis/__analysis.el" "tall-amt")
%
@InBook{DubinksyReflAbs,
author = {E. Dubinsky},
chapter = {Reflective Abstraction in Advanced Mathematical Thinking},
pages = {95-123},
editor = {D. Tall},
title = {Advanced Mathematical Thinking},
publisher = {Kluwer},
year = {2002},
shorthand = {DubinksyReflAbs},
}
% «bib-TallCrystalline» (to ".bib-TallCrystalline")
% (find-books "__analysis/__analysis.el" "tall-crys")
%
@Article{TallCrystalline,
author = {D. Tall},
title = {Crystalline Concepts in Long-Term Mathematical Invention and Discovery},
pages = {125-147},
journal = {For the Learning of Mathematics},
year = {2011},
volume = {31},
number = {1},
shorthand = {TallCrystalline},
}
% «bib-TallGrayPintoSB» (to ".bib-TallGrayPintoSB")
% (find-books "__analysis/__analysis.el" "tall-gray-sb")
%
@Article{TallGrayPintoSB,
author = {D. Tall and E. Gray and M. B. Ali and L. Crowley and P. DeMarois and M. McGowen and D. Pitta and M. Pinto and M. Thomas and Y. Yusof},
title = {Symbols and the bifurcation between procedural and conceptual thinking},
pages = {81-104},
journal = {Canadian Journal of Science, Mathematics and Technology Education},
year = {2001},
volume = {1},
number = {1},
shorthand = {TallGrayPintoSB},
}
% «bib-TallThomas» (to ".bib-TallThomas")
% (find-books "__analysis/__analysis.el" "tall-thomas")
%
@Article{TallThomas,
author = {D. Tall and M. Thomas},
title = {Encouraging versatile thinking in algebra using the computer},
journal = {Educational Studies in Mathematics},
year = {1991},
volume = {22},
number = {2},
pages = {125-147},
shorthand = {TallThomas},
}
% «bib-TLATOC» (to ".bib-TLATOC")
% (find-books "__analysis/__analysis.el" "fusaro-tlatoc")
%
@Book{TLATOC,
author = {J. Monaghan and R. Ely and M. M. F. Pinto and M. O. J. Thomas},
title = {The Learning and Teaching of Calculus: Ideas, Insights and Activities},
publisher = {Routledge},
year = {2024},
shorthand = {TLATOC},
}
% «bib-WheelerMPT» (to ".bib-WheelerMPT")
% (find-books "__analysis/__analysis.el" "wheeler-mapt")
%
@Article{WheelerMPT,
author = {D. Wheeler},
title = {Mathematisation as a Pedagogical Tool},
pages = {50-53},
journal = {For the Learning of Mathematics},
year = {2001},
volume = {21},
number = {2},
shorthand = {WheelerMPT},
}
% «bib-WrightMathWars» (to ".bib-WrightMathWars")
% (find-books "__analysis/__analysis.el" "wright")
%
@Article{WrightMathWars,
author = {P. Wright},
title = {The Math Wars: Tensions in The Development of School Mathematics Curricula},
journal = {For the Learning of Mathematics},
year = {2012},
volume = {32},
number = {2},
pages = {7--13},
shorthand = {WrightMathWars},
}
% «bib-Yalep» (to ".bib-Yalep")
% (find-books "__comp/__comp.el" "yalep")
% https://link.springer.com/chapter/10.1007/978-3-032-07021-0_25#citeas
%
@InProceedings{Yalep,
author = {F. T. Minh and L. Gonnord and J. Narboux},
editor = {V. de Paiva and P. Koepke},
title = {A Lean-based Language for Teaching Proof in High School},
booktitle = {Intelligent Computer Mathematics},
year = {2026},
publisher = {Springer Nature Switzerland},
pages = {447--467},
isbn = {978-3-032-07021-0},
shorthand = {Yalep},
}
% «bib-YalepSurvey» (to ".bib-YalepSurvey")
% (find-books "__comp/__comp.el" "yalep-survey")
% https://link.springer.com/chapter/10.1007/978-3-032-07021-0_25#citeas
%
@InProceedings{YalepSurvey,
author = {F. T. Minh and L. Gonnord and J. Narboux},
title = {Proof assistants for teaching: a survey},
booktitle = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
year = {2024},
volume = {419},
pages = {1-27},
month = {7},
address = {Nancy, France},
organization = {J. Narboux, W. Neuper and P. Quaresma},
publisher = {Springer},
url = {https://hal.science/hal-04705580},
doi = {10.4204/EPTCS.419.1},
pdf = {https://hal.science/hal-04705580v2/file/ThEdu24.1.pdf},
shorthand = {YalepSurvey},
}
% Local Variables:
% coding: utf-8-unix
% End: