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-AspinwallShawPresmeg»	(to "bib-AspinwallShawPresmeg")
% «.bib-Boaler»			(to "bib-Boaler")
% «.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-DoormanDrijvers»	(to "bib-DoormanDrijvers")
% «.bib-DrijversLM»		(to "bib-DrijversLM")
% «.bib-EllermeijerHeck»	(to "bib-EllermeijerHeck")
% «.bib-FerreiroCTL»		(to "bib-FerreiroCTL")
% «.bib-FeynmanBrinc»		(to "bib-FeynmanBrinc")
% «.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-Hutton»			(to "bib-Hutton")
% «.bib-JonassenRohrerMurphy»	(to "bib-JonassenRohrerMurphy")
% «.bib-Krantz»			(to "bib-Krantz")
% «.bib-Leithold»		(to "bib-Leithold")
% «.bib-Ma»			(to "bib-Ma")
% «.bib-MariaLaura»		(to "bib-MariaLaura")
% «.bib-MasonShift»		(to "bib-MasonShift")
% «.bib-MPG»			(to "bib-MPG")
% «.bib-NgCanWeTeach»		(to "bib-NgCanWeTeach")
% «.bib-OchsEBL2025»		(to "bib-OchsEBL2025")
% «.bib-OchsEmacsConf2024»	(to "bib-OchsEmacsConf2024")
% «.bib-OchsPanic2024»		(to "bib-OchsPanic2024")
% «.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-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-Strang4»		(to "bib-Strang4")
% «.bib-TallThomas»		(to "bib-TallThomas")
% «.bib-TLATOC»			(to "bib-TLATOC")
% «.bib-WrightMathWars»		(to "bib-WrightMathWars")
% «.bib-Yalep»			(to "bib-Yalep")
% «.bib-YalepSurvey»		(to "bib-YalepSurvey")



% «bib-AspinwallShawPresmeg»  (to ".bib-AspinwallShawPresmeg")
% (find-books "__analysis/__analysis.el" "aspinwall-shaw")


% «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},
  shorthand =    {Bressoud},
}


% «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-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-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-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-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-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-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-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-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-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/}},
  month = 	 {12},
  year = 	 {2024},
  shorthand =    {OchsEmacsConf2024},
}


% «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-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-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-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-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-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: