English
Related papers

Related papers: Technologies for "Complete, Transparent & Interact…

200 papers

The use of computer-based mathematics tools is widespread in learning. Depending on the way that these tools assess the learner's solution paths, one can distinguish between automatic assessment tools and semi-automatic assessment tools.…

Computers and Society · Computer Science 2012-07-11 Paul Libbrecht , Sandra Rebholz , Daniel Herding , Wolfgang Müller , Felix Tscheulin

This essay considers the special character of mathematical reasoning, and draws on observations from interactive theorem proving and the history of mathematics to clarify the nature of formal and informal mathematical language. It proposes…

History and Overview · Mathematics 2015-08-24 Jeremy Avigad

Education technologies (edtech) are increasingly incorporating new features built on large language models (LLMs), with the goals of enriching the processes of teaching and learning and ultimately improving learning outcomes. However, the…

Computers and Society · Computer Science 2025-02-21 Emma Harvey , Allison Koenecke , Rene F. Kizilcec

The article deals with the problems of information and communication technologies (ICT) development in teaching mathematics of engineering specialities students in the United States. In the article the nature of trends of convergence of…

History and Overview · Mathematics 2018-08-16 Nataliia M. Kiianovska , N. V. Rashevska , Serhiy O. Semerikov

This study explores student attitudes to the use of substantive on-line assessments that require mathematical answers. Our goal is to learn what are the important aspects in a design of more effective e-assessments that support learning of…

Physics Education · Physics 2016-03-09 Elizabeth Acosta-Gonzaga , Niels R. Walet

Artificial intelligence (AI) has a profound impact on traditional education. In recent years, large language models (LLMs) have been increasingly used in various applications such as natural language processing, computer vision, speech…

Computation and Language · Computer Science 2024-05-24 Hanyi Xu , Wensheng Gan , Zhenlian Qi , Jiayang Wu , Philip S. Yu

Since its existence, the computer tool has often supported mathematicians, whether it is to implement an approximation method (numerical calculation of a root, of an integral, ...) or to simulate a phenomenon (geometric in nature,…

Computers and Society · Computer Science 2023-08-29 Karim Zayana , Régis Queruel , Pierre Michalak

Machine Learning algorithms have had a profound impact on the field of computer science over the past few decades. These algorithms performance is greatly influenced by the representations that are derived from the data in the learning…

LaTeX is a free document preparation system that handles the typesetting of mathematical expressions smoothly and elegantly. It has become the standard format for creating and publishing research articles in mathematics and many scientific…

Computers and Society · Computer Science 2024-02-06 Ikechukwu E. Onyenwe , Ebele Onyedinma , Onyedika O. Ikechukwu-Onyenwe , Obinna Agbata , Faustinah N. Tubo

The article sets out to analyze national and foreign experience of use of electronic textbooks in the system of education; to justify the use of Smart Kids technology as a system of methods, forms, and electronic educational game resources,…

Physics Education · Physics 2020-05-18 Svitlana H. Lytvynova

We build on theoretical foundations of tool-mediated learning, tool design, and human computer interaction to develop a framework for implicit scaffolding in learning environments. Implicit scaffolding employs affordances, constraints,…

Physics Education · Physics 2014-01-24 Noah S. Podolefsky , Emily B. Moore , Katherine K. Perkins

This chapter examines how data analytics can be leveraged to enhance immersive teacher simulations, situating this inquiry within the broader learning sciences discourse on embodied cognition, data-informed feedback, and teacher…

Human-Computer Interaction · Computer Science 2026-01-15 Sumin Hong , Jewoong Moon , Taeyeon Eom , Juno Hwang , Jibeom Seo

Humans have long relied on visual aids like sketches and diagrams to support reasoning and problem-solving. Visual tools, like auxiliary lines in geometry or graphs in calculus, are essential for understanding complex ideas. However, many…

Human-Computer Interaction · Computer Science 2025-04-03 Steven-Shine Chen , Jimin Lee , Paul Pu Liang

This report aims to evaluate the performance of large language models (LLMs) in solving high school science questions and to explore their potential applications in the educational field. With the rapid development of LLMs in the field of…

Computation and Language · Computer Science 2025-05-02 Zhu Jiawei , Chen Wei

Identifying academic plagiarism is a pressing task for educational and research institutions, publishers, and funding agencies. Current plagiarism detection systems reliably find instances of copied and moderately reworded text. However,…

Digital Libraries · Computer Science 2019-06-28 Norman Meuschke , Vincent Stange , Moritz Schubotz , Michael Karmer , Bela Gipp

The role of large language models (LLMs) in education is an increasing area of interest today, considering the new opportunities they offer for teaching, learning, and assessment. This cutting-edge tutorial provides an overview of the…

Computation and Language · Computer Science 2024-09-19 Bashar Alhafni , Sowmya Vajjala , Stefano Bannò , Kaushal Kumar Maurya , Ekaterina Kochmar

Mathematical research is often motivated by the desire to reach a beautiful result or to prove it in an elegant way. Mathematician's work is thus strongly influenced by his aesthetic judgments. However, the criteria these judgments are…

History and Overview · Mathematics 2024-05-10 Filip D. Jevtić , Jovana Kostić , Katarina Maksimović

The rapid advances in technology over the last decade have significantly altered the nature of engineering knowledge and skills required in the modern industries. In response to the changing professional requirements, engineering…

History and Overview · Mathematics 2022-07-12 Firuz Kamalov , Ho-Hon Leung

Education systems are dynamically changing to accommodate technological advances, industrial and societal needs, and to enhance students' learning journeys. Curriculum specialists and educators constantly revise taught subjects across…

Computers and Society · Computer Science 2024-03-12 Tamador Alkhidir , Edmond Awad , Aamena Alshamsi

Large language models (LLMs) are becoming increasingly better at a wide range of Natural Language Processing tasks (NLP), such as text generation and understanding. Recently, these models have extended their capabilities to coding tasks,…

Machine Learning · Computer Science 2024-10-23 Nishat Raihan , Mohammed Latif Siddiq , Joanna C. S. Santos , Marcos Zampieri
‹ Prev 1 3 4 5 6 7 10 Next ›