设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(3)
SpringerLink电子期刊(25)
Elsevier电子期刊(18)
在“
SpringerLink电子期刊
”中,
命中:
25
条,耗时:小于0.01 秒
在所有数据库中总计命中:
46
条
1.
Classroom-based professional expertise: a mathematics teacher’s practice with technology
作者:
Gulay Bozkurt
;
Kenneth Ruthven
关键词:
Classroom practice
;
Mathematics teaching
;
Dynamic mathematics software
;
Technology use
;
Professional expertise
;
Craft knowledge
刊名:Educational Studies in Mathematics
出版年:2017
2.
Towards the Automatic Discovery of Theorems in
GeoGebra
关键词:
Automatic discovery
;
Dynamic geometry
;
GeoGebra
;
Computational algebraic geometry
刊名:Lecture Notes in Computer Science
出版年:2016
3.
On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving
作者:
Francisco Botana
;
Tomas Recio
关键词:
Dynamic geometry
;
Automated theorem proving
;
GeoGebra
;
Varignon theorem
刊名:Mathematics in Computer Science
出版年:2016
4.
Usability Evaluation of a Dynamic Geometry Software Mobile Interface Through Eye Tracking
关键词:
Usability
;
GeoGebra
;
Eye tracking
;
Mobile usability
刊名:Lecture Notes in Computer Science
出版年:2016
5.
The Relation Tool in
GeoGebra
5
关键词:
GeoGebra
;
Portfolio solver
;
Computer algebra
;
Computer aided mathematics education
;
Automated theorem proving
刊名:Lecture Notes in Computer Science
出版年:2015
6.
Zig-zagging in geometrical reasoning in technological collaborative environments: a Mathematical Working Space-framed study concerning cognition and affect
作者:
Inés Mª. Gómez-Chacón
;
Isabel Mª. Romero Albaladejo
;
Mª. del Mar García López
关键词:
Geometry
;
Mathematical Working Space
;
GeoGebra
;
Cognition
;
affect interplay
;
Argumentation
;
Secondary education
刊名:ZDM
出版年:2016
7.
Automated Theorem Proving in
GeoGebra
: Current Achievements
作者:
Francisco Botana
;
Markus Hohenwarter
;
Predrag Jani?i?…
关键词:
Secondary education
;
Interactive learning environments
;
Intelligent tutoring systems
;
Automatic theorem proving
刊名:Journal of Automated Reasoning
出版年:2015
8.
Supporting primary-level mathematics teachers' collaboration in designing and using technology-based scenarios
作者:
Morten Misfeldt
;
Lis Zacho
关键词:
Teacher in
;
service education
;
Technology
;
Scenario
;
based education
;
Instrumental genesis
刊名:Journal of Mathematics Teacher Education
出版年:2016
9.
Giac and
GeoGebra
-Improved Gr?bner Basis Computations
关键词:
Gr?bner basis
;
Computer algebra
;
Computer aided mathematics education
刊名:Lecture Notes in Computer Science
出版年:2015
10.
Cooperation of KeTCindy and Computer Algebra System
关键词:
KeTCindy
;
Cinderella
;
Dynamic geometry software
;
Computer algebra system
;
Maxima
;
Risa/Asir
刊名:Lecture Notes in Computer Science
出版年:2016
1
2
3
按检索点细分(25)
题名(6)
关键词(11)
文摘(18)
按出版年细分(25)
2017年(1)
2016年(6)
2015年(6)
2014年(6)
2013年(1)
2012年(3)
2011年(2)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.