Proof exploration using dynamic geometry systems with integrated automated deduction capabilities
International Journal of Mathematical Education in Science and Technology,
Год журнала:
2024,
Номер
unknown, С. 1 - 25
Опубликована: Июль 24, 2024
Due
to
its
formal,
logical
and
spatial
properties,
geometry
is
well
suited
for
the
exploration
of
new
knowledge,
properties
that
arise
from
different
constructions
insights
into
already
known
constructions,
proofs
conjectures,
theorems.
With
a
Dynamic
Geometry
System
(DGS)
we
get
an
environment
where
conjectures
can
be
easily
formulated
visually
verified
(but
not
proven).
Automated–Theorem–Prover
(GATP)
conjectures/theorems
formally
proved.
We
explore
some
environments
DGS
GATP
are
combined,
analysing
their
possibilities
proofs,
having
in
mind
use
learning
situation.
Язык: Английский
ChatGPT in Teaching Linear Algebra: Strides Forward, Steps to Go
Open Education Studies,
Год журнала:
2024,
Номер
6(1)
Опубликована: Янв. 1, 2024
Abstract
As
soon
as
a
new
technology
emerges,
the
education
community
explores
its
affordances
and
possibilities
to
apply
it
in
education.
In
this
article,
we
analyze
sessions
with
ChatGPT
around
topics
basic
linear
algebra.
We
reflect
on
changes
between
two
versions
of
since
worldwide
publication
our
area
interest,
namely,
particular,
question
whether
software
can
be
teaching
assistant
or
even
somehow
replace
human
teacher
is
addressed.
time
article
written,
answer
generally
negative.
For
small
part
where
positive,
some
reflections
about
an
original
instrumental
genesis
are
given.
Язык: Английский