Filters








47,344 Hits in 0.78 sec

Calculus and digital natives in rendezvous: wxMaxima impact [article]

N. Karjanto
2021 arXiv   pre-print
This article covers how a computer algebra system (CAS) wxMaxima can be explored for teaching and learning Single-Variable and Multivariable Calculus for Korean digital natives.  ...  We present several examples where wxMaxima can handle Calculus problems easily, not straightforwardly but still successfully solved with some human intervention, and unsuccessfully.  ...  Digital natives Calculus wxMaxima Figure 1 : A theoretical framework of teaching Calculus to digital natives using CAS wxMaxima.  ... 
arXiv:2104.00295v3 fatcat:pewpngck5zd4zbunah4n5447sq

Digital calculus: Cellular automata dynamics in closed form [article]

Vladimir Garcia-Morales
2015 arXiv   pre-print
A simple mathematical expression for the universal map for cellular automata is found in closed form with the help of a digit function, whose most basic properties are established.  ...  |x + y| − x − y |x − y| (1) This function constitutes the building block of B-calculus.  ...  The digit function Let now p > 1, p ∈ N.  ... 
arXiv:1505.02543v2 fatcat:mgq5wghefnftzk3pzhvjwrpoqi

Digital calculus and finite groups in quantum mechanics [article]

Vladimir Garcia-Morales
2015 arXiv   pre-print
By means of a digit function that has been introduced in a recent formulation of classical and quantum mechanics, we provide a new construction of some infinite families of finite groups, both abelian  ...  We define the k-th digit of m, d k 0, m (k−1)!  ...  However, if the most significant digit of m is 1, we take the additive inverse p − d q (0, n) of the least significant digit of n and add it to the less significant digit of m modulo q (the most significant  ... 
arXiv:1505.04528v1 fatcat:uxlxqytyird4xbflrhgnhfq3de

Calculus and Digital Natives in Rendezvous: wxMaxima Impact

Natanael Karjanto
2021 Education Sciences  
This article covers how a computer algebra system (CAS) wxMaxima can be explored for teaching single-variable and multivariable calculus to Korean digital natives.  ...  We present several examples where wxMaxima can handle calculus problems easily, not straightforwardly but still successfully with some human intervention, and unsuccessfully.  ...  Digital natives Calculus wxMaxima Figure 1 . A theoretical framework of teaching calculus to digital natives using CAS wxMaxima. We had the following research questions: 1.  ... 
doi:10.3390/educsci11090490 fatcat:gn3ittewtjg7ddcdasyclvr2jm

An Equational Relation for Ambient Calculus

Toru Kato
2005 IPSJ Digital Courier  
Equational relation for ambient calculus "Contextual Equivalence" were proposed regarding the names of ambients observed from the environment.  ...  This paper proposes equational relations for ambient calculus by which we can distinguish processes that the existing equivalence identifies. 590 Vol.  ...  Ambient Calculus This section describes the syntax and semantics of ambient calculus originally defined in Ref. 3 ).  ... 
doi:10.2197/ipsjdc.1.590 fatcat:cxoym33ui5allkhs5v7vtstkpm

A Single-Significant-Digit Calculus for Semi-Automated Guesstimation [chapter]

Jonathan A. Abourbih, Luke Blaney, Alan Bundy, Fiona McNeill
2010 Lecture Notes in Computer Science  
We describe a single-significant-digit calculus for estimating approximate solutions to guesstimation problems.  ...  The calculus is formalised as a collection of proof methods, which are combined into proof plans.  ...  We now define a calculus for reasoning about numbers approximated to a single significant digit, which we will call the SingSigDig Calculus.  ... 
doi:10.1007/978-3-642-14203-1_31 fatcat:6w7dkkguhrgcxf4pn5cmghm5di

An Equivalence Relation for the Typed Ambient Calculus

Toru Kato
2007 IPSJ Digital Courier  
Gordon and Cardelli, the originators of the ambient calculus, also defined an equivalence relation for the untyped ambient calculus.  ...  The ambient calculus is a process algebra designed for describing mobile processes.  ...  typed ambient calculus (ETAC ).  ... 
doi:10.2197/ipsjdc.3.369 fatcat:zs5sklhmrzfr5fsl3tflfttqja

Fostering Dialogue in the Calculus Classroom Using Dynamic Digital Technology

Patricia Salinas, Eliud Quintero, Juan Manuel Fernández-Cárdenas
2016 Digital Experiences in Mathematics Education  
In this article, we discuss the dynamic digital software SimCalc MathWorlds and its potential to promote dialogue in the first calculus course for engineering students at Tecnológico de Monterrey, México  ...  historical genesis of calculus, aiming to rescue the historical meaning of calculus before adjusting it for students in our classrooms, with a strong component of technology.  ...  This meaning is related to an epistemology of calculus content. These are the narratives we look to foster in students, by talking about a real problem and the way calculus approaches a solution.  ... 
doi:10.1007/s40751-016-0013-9 fatcat:or3qqj6hlvhw7f7dv2rb2uwmua

The Fourier Transform in Optics: Analogous Experiment and Digital Calculus [chapter]

Petre Catalin, Victor Nascov, Dan Apostol
2011 Holography, Research and Technologies  
Calculus  ...  Calculus 13 d.  ...  The chapters of the book are organized in six sections, starting with theory, continuing with materials, techniques, applications as well as digital algorithms, and finally ending with non-optical holograms  ... 
doi:10.5772/15576 fatcat:kidfio2qjvb7lg7djbuyfauuea

Digital devices signal processing system based on K-valued differential calculus

Татьяна Валентиновна Гладких, Валерий Дмитриевич Дмитриенко, Сергей Юрьевич Леонов
2014 Eastern-European Journal of Enterprise Technologies  
doi:10.15587/1729-4061.2014.23135 fatcat:iorrspkvpzbr3pvgexplqky6ia

Comparing Calculus Communication across Static and Dynamic Environments Using a Multimodal Approach

Oi-Lam Ng
2016 Digital Experiences in Mathematics Education  
The purpose of the article is to compare calculus students' communication as it is facilitated by each of these two environments, and to explore the role of paper-and digital-mediated representations for  ...  positioning certain ways of thinking about calculus.  ...  The Learning of Calculus in Dynamic Environments Evolution in digital technology has affected our thinking, learning and modes of interactions with mathematics.  ... 
doi:10.1007/s40751-016-0014-8 fatcat:bz4rykywynblpcwqhoy3mq2bcq

The Use of Index Calculus and Mersenne Primes for the Design of a High-Speed Digital Multiplier

Aviezri S. Fraenkel
1961 Journal of the ACM  
The Use of Index Calculus and Mersenne Primes for the Design of a High-Speed Digital Multiplier* Aviezri 8.  ...  USE OF INDEX CALCULUS AND MERSENNE PRIMES 95 APPENDIX 2 In the section “Computation of a Number from its Index,” the quantities k, r, r’ were defined.  ... 
doi:10.1145/321052.321057 fatcat:hiqtr546g5bvhmh457qlp2ppt4

Integration of Digital Technology and Innovative Strategies for Learning and Teaching Large Classes: A Calculus Case Study

Kuppalapalle Vajravelu, Tammy Muhs
2016 International Journal of Research in Education and Science  
At the University of Central Florida (UCF) the Department of Mathematics developed an innovative teaching method that incorporated computers and MyLabsPlus software with application sessions in large calculus  ...  In this work, we provide some issues to consider when pondering the impact that digital technologies can have when introduced in a visual learning process for Calculus.  ...  The development of new digital technologies must have a positive impact in the learning process of Mathematics, but the speed that is characteristic of this development limits the time needed to understand  ... 
doi:10.21890/ijres.67867 fatcat:qzp4okdecncd5aclv6yhhyfqtm

Automatic Verification of Security Properties in Remote Internet Voting Protocol with Applied Pi Calculus

Bo Meng, Wei Huang, Zimao Li, Dejun Wang
2010 International Journal of Digital Content Technology and its Applications  
They International Journal of Digital Content Technology and its Applications Volume 4, Number 7, Octber 2010 verifiability) and analyze Fujioka et al. protocol [33].  ...  Applied pi calculus is an extension of the pi calculus that inherits the constructs for communication and concurrency from the pure pi-calculus.  ...  of the pi calculus [54] .  ... 
doi:10.4156/jdcta.vol4.issue7.9 fatcat:knrcy2p5abatxir6veqylwbnaq

The Use of 3D-Printing Technology in Calculus Education: Concept Formation Processes of the Concept of Derivative with Printed Graphs of Functions

Frederik Dilling, Ingo Witzke
2020 Digital Experiences in Mathematics Education  
From our point of view, the field of calculus seems to be particularly suitable for the use of 3D-printing.  ...  Using the example of 3D-printed graphs of functions, the use of this technology in calculus is discussed within the three approaches of Grundvorstellungen, Subjective Domains of Experience and Empirical  ...  The concept of empirical theories is used in order to describe the interaction with digital as well as physical objects.  ... 
doi:10.1007/s40751-020-00062-8 fatcat:ckhwryooavcafftf6ka5yqqxue
« Previous Showing results 1 — 15 out of 47,344 results