English
Related papers

Related papers: Calculus and digital natives in rendezvous: wxMaxi…

200 papers

Computer algebra systems are a great help for mathematical research but sometimes unexpected errors in the software can also badly affect it. As an example, we show how we have detected an error of Mathematica computing determinants of…

Symbolic Computation · Computer Science 2025-01-03 Antonio J. Durán , Mario Pérez , Juan L. Varona

Computer-based testing is an expanding use of technology offering advantages to teachers and students. We studied Calculus II classes for STEM majors using different testing modes. Three sections with 324 students employed: Paper-and-pencil…

History and Overview · Mathematics 2020-05-13 Lawrence Smolinsky , Brian D. Marx , Gestur Olafsson , Yanxia A. Ma

Despite outstanding performance in many tasks, language models are notoriously inclined to make factual errors in tasks requiring arithmetic computation. We address this deficiency by creating Calc-X, a collection of datasets that…

Machine Learning · Computer Science 2023-10-24 Marek Kadlčík , Michal Štefánik , Ondřej Sotolář , Vlastimil Martinek

Document preparation systems like LaTeX offer the ability to render mathematical expressions as one would write these on paper. Using LaTeX, LaTeXML, and tools generated for use in the National Institute of Standards (NIST) Digital Library…

Adaptive learning systems stand apart from traditional learning systems by offering a personalized learning experience to students according to their different knowledge states. Adaptive systems collect and analyse students' behavior data,…

Computers and Society · Computer Science 2019-01-30 Wei Cui , Zhen Xue , Khanh-Phuong Thai

Xiaomai is an intelligent tutoring system (ITS) designed to help Chinese college students in learning advanced mathematics and preparing for the graduate school math entrance exam. This study investigates two distinctive features within…

Mathematical Software · Computer Science 2024-12-24 Ying Fang , Bo He , Zhi Liu , Sannyuya Liu , Zhonghua Yan , Jianwen Sun

Over the last few decades, many distinct lines of research aimed at automating mathematics have been developed, including computer algebra systems (CASs) for mathematical modelling, automated theorem provers for first-order logic, SAT/SMT…

Logic in Computer Science · Computer Science 2019-09-18 Curtis Bright , Ilias Kotsireas , Vijay Ganesh

Calcium is a C library for real and complex numbers in a form suitable for exact algebraic and symbolic computation. Numbers are represented as elements of fields $\mathbb{Q}(a_1,\ldots,a_n)$ where the extensions numbers $a_k$ may be…

Mathematical Software · Computer Science 2020-11-04 Fredrik Johansson

Complex adaptive systems (CAS) are ubiquitous in nature. They are basic in social sciences. An overview of CAS is given with emphasize on the occurrence of bad side effects to seemingly wise decisions. Hence application to terrorism is…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 E. Ahmed , A. S. Elgazzar , A. S. Hegazi

Using SCM higher mathematics course allows you to: more clearly understandable apply theoretical material; deprive students of routine calculations; provide multilevel learning process, and therefore enhances cognitive interest and most…

Physics Education · Physics 2018-12-04 Kateryna Slovak , Maiia Popel

In recent years, as fractional calculus becomes more and more broadly used in research across different academic disciplines, there are increasing demands for the numerical tools for the computation of fractional…

Systems and Control · Computer Science 2015-11-25 Zhuo Li , Lu Liu , Sina Dehghan , YangQuan Chen , Dingyu Xue

Learning mathematics requires students to work in an independent way which is particularly challenging for such an abstract subject. Advancements in technology and, taking the student as the focus of his own learning, led to a change of…

History and Overview · Mathematics 2015-07-20 L. Descalço , Paula Carvalho , J. P. Cruz , Paula Oliveira , Dina Seabra

It is the aim of this work to identify and illustrate the potential and weaknesses of the computer algebra system Maple in the area of the Calculus of Variations: a classical area of mathematics that studies the methods for finding maximum…

Optimization and Control · Mathematics 2008-11-26 Andreia M. F. Louro , Delfim F. M. Torres

We present an introduction to the study of chaos in discrete and continuous dynamical systems using the CAS Maxima. These notes are intended to cover the standard topics and techniques: discrete and continuous logistic equation to model…

Chaotic Dynamics · Physics 2015-12-29 A. Morante , J. A. Vallejo

There have been several modifications of how basic calculus has been taught, but very few of these modifications have considered the computational tools available at our disposal. Here, we present a few tools that are easy to develop and…

History and Overview · Mathematics 2024-10-04 Parthasarathy Srinivasan

This paper presents a comprehensive investigation into encrypted computations using the CKKS (Cheon-Kim-Kim-Song) scheme, with a focus on multi-dimensional vector operations and real-world applications. Through two meticulously designed…

Cryptography and Security · Computer Science 2023-09-15 Muhammad Jahanzeb Khan , Bo Fang , Dongfang Zhao

Web-based systems for assessment or homework are commonly used in many different domains. Several studies show that these systems can have positive effects on learning outcomes. Many research efforts also have made these systems quite…

Human-Computer Interaction · Computer Science 2018-11-07 Nils Schwinning , Michael Striewe , Till Massing , Christoph Hanck , Michael Goedicke

In this research, a novel adaptive filtering algorithm is proposed for complex domain signal processing. The proposed algorithm is based on Wirtinger calculus and is called as q-Complex Least Mean Square (q-CLMS) algorithm. The proposed…

Information Theory · Computer Science 2021-10-12 Alishba Sadiq , Imran Naseem , Shujaat Khan , Muhammad Moinuddin , Roberto Togneri , Mohammed Bennamoun

Simple memorizing tasks have been chosen such as a binary code on a matrix. After the establishment of an appropriate protocol, the codified matrices were individually presented to 150 university students who had to memorize them. A…

Neurons and Cognition · Quantitative Biology 2007-05-23 Alexandra C. Tsallis , Constantino Tsallis , Aglae C. N. de Magalhaes , Francisco A. Tamarit

Machine Learning algorithms are extensively used in an increasing number of systems, applications, technologies, and products, both in industry and in society as a whole. They enable computing devices to learn from previous experience and…

Quantum Physics · Physics 2025-02-17 Lucas Lamata