|
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-Boaler» (to "bib-Boaler")
% «.bib-EllermeijerHeck» (to "bib-EllermeijerHeck")
% «.bib-FutureOfTLA» (to "bib-FutureOfTLA")
% «.bib-DrouhardTeppo» (to "bib-DrouhardTeppo")
% «.bib-Hewitt1» (to "bib-Hewitt1")
% «.bib-Hewitt2» (to "bib-Hewitt2")
% «.bib-Hewitt3» (to "bib-Hewitt3")
% «.bib-Hutton» (to "bib-Hutton")
% «.bib-MasonShift» (to "bib-MasonShift")
% «.bib-MPG» (to "bib-MPG")
% «.bib-RestIsAlgebra» (to "bib-RestIsAlgebra")
% «.bib-StewartReeder» (to "bib-StewartReeder")
% «.bib-McGowen» (to "bib-McGowen")
% «.bib-Sfard» (to "bib-Sfard")
% «.bib-Strang4» (to "bib-Strang4")
% «.bib-WrightMathWars» (to "bib-WrightMathWars")
% «.bib-Yalep» (to "bib-Yalep")
% «.bib-YalepSurvey» (to "bib-YalepSurvey")
% «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-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-FutureOfTLA» (to ".bib-FutureOfTLA")
% (find-books "__analysis/__analysis.el" "stacey-chick")
%
@Book{FutureOfTLA,
ALTauthor = {},
ALTeditor = {},
title = {},
publisher = {},
year = {},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
OPTaddress = {},
OPTedition = {},
OPTmonth = {},
OPTnote = {},
OPTannote = {}
}
% «bib-DrouhardTeppo» (to ".bib-DrouhardTeppo")
% (find-books "__analysis/__analysis.el" "stacey-chick" "227" "Jean-Philippe Drouhard and Anne R. Teppo")
%
@InBook{DrouhardTeppo,
ALTauthor = {},
ALTeditor = {},
title = {},
chapter = {},
publisher = {},
year = {},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
OPTtype = {},
OPTaddress = {},
OPTedition = {},
OPTmonth = {},
OPTpages = {},
OPTnote = {},
OPTannote = {}
}
% «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 = {November},
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 = {March},
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 = {July},
shorthand = {Hewitt3},
}
% «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-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 = {FLM},
year = {1989},
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-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-StewartReeder» (to ".bib-StewartReeder")
% (find-books "__analysis/__analysis.el" "rest-is-algebra" "3" "Sepideh Stewart and Stacy Reeder")
@InBook{StewartReeder,
author = {S. Stewart and S. Reeder},
editor = {S. Stewart},
title = {And the Rest is Just Algebra},
chapter = {Algebra Underperformances at College Level: What Are the Consequences?},
publisher = {Springer},
year = {2017},
pages = {3--18},
shorthand = {StewartReeder},
}
% «bib-McGowen» (to ".bib-McGowen")
% (find-books "__analysis/__analysis.el" "rest-is-algebra" "19" "Mercedes McGowen")
%
@InBook{McGowen,
author = {M. McGowen},
editor = {S. Stewart},
title = {And the Rest is Just Algebra},
chapter = {Examining the Role of Prior Experience in the Learning of Algebra},
publisher = {Springer},
year = {2017},
pages = {19--39},
shorthand = {McGowen},
}
% «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-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-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 = {Minh, Fr{\'e}d{\'e}ric Tran and Gonnord, Laure and Narboux, Julien},
editor = {de Paiva, Valeria and Koepke, Peter},
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,
title = {{Proof assistants for teaching: a survey}},
author = {Minh, Fr{\'e}d{\'e}ric Tran and Gonnord, Laure and Narboux, Julien},
url = {https://hal.science/hal-04705580},
booktitle = {{Electronic Proceedings in Theoretical Computer Science (EPTCS)}},
address = {Nancy, France, France},
organization = {{J. Narboux, W. Neuper and P. Quaresma}},
publisher = {{Springer}},
volume = {419},
pages = {1-27},
year = {2024},
month = Jul,
doi = {10.4204/EPTCS.419.1},
keywords = {Proof assistants ; teaching ; theorem provers ; proof ; survey},
pdf = {https://hal.science/hal-04705580v2/file/ThEdu24.1.pdf},
shorthand = {YalepSurvey},
}
% Local Variables:
% coding: utf-8-unix
% End: