Filters








75,451 Hits in 3.5 sec

Computer algebra systems as tools for learning Physics and Mathematics [article]

Danilo T. Alves, Silvio C. F. Pereira Filho
2014 arXiv   pre-print
In the present paper, we describe some experiences in using programming, commands and graphical interfaces based on computer algebra systems, as tools for learning Physics and Mathematics.  ...  algebra systems as tools for learning Physics and Mathematics.  ...  Some famous computer algebra systems are Maple [1], Mathematica [2] and Maxima [3].  ... 
arXiv:1104.4461v2 fatcat:syifrbem25hw5nzxjxczouuljm

Teaching students the equations of mathematical physics using educational electronic resources

Alexey S. Rusinov
2021 RUDN Journal of Informatization in Education  
Such training sessions with students take place in the form of laboratory classes, where modern computer technologies are used to find solutions to equations of mathematical physics and then analyze them  ...  modern computer techno- logies to solve mathematical problems.  ...  An essential characteristic of computer algebra systems is the performance of learning functions by this system.  ... 
doi:10.22363/2312-8631-2021-18-2-188-196 fatcat:fqtb7lf5ordyxejbnsk35f7cma

Quantum Deep Learning Triuniverse

Angus McCoss
2016 Journal of Quantum Information Science  
An original quantum foundations concept of a deep learning computational Universe is introduced.  ...  The colour is a non-optical information label. The information processing loops form a feedback-reinforced deep learning macrocycle with trefoil knot topology.  ...  At this juncture, I therefore crystallise the emerging pattern of this Quantum Deep Learning Triuniverse concept to make a claim to connect a bridge (G) between algebraic physics (R) and geometric physics  ... 
doi:10.4236/jqis.2016.64015 fatcat:2glkfeb2cfdljeljd44cnhx2rm

Multimodal Algebra Learning: From Math Manipulatives to Tangible User Interfaces

Anke Reinschlüssel, Dmitry Alexandrovsky, Tanja Döring, Angelie Kraft, Maike Braukmüller, Thomas Janßen, David Reid, Estela Vallejo, Angelika Bikner-Ahsbahs, Rainer Malaka
2018 I-COM: A Journal of Interactive and Cooperative Media  
In a transdisciplinary research project with computer scientists, mathematics educators and a textbook publisher, we investigate the potentials of using tangible user interfaces for algebra learning and  ...  In this paper, we present design implications for tangible user interfaces for algebra learning that were derived from a comprehensive field study in a grade 9 classroom and an expert study with textbook  ...  a tangible algebra learning system.  ... 
doi:10.1515/icom-2018-0027 fatcat:xeea332ul5fgpkia42dcigi7nq

Page 767 of Mathematical Reviews Vol. , Issue 97A [page]

1997 Mathematical Reviews  
Twentieth century physics, Vol 1, 2,3 * 00023 Unified computation laboratory ; * 68008 Varia with a Workshop on the Foundations of Partial Functions and Programming .. . *03008 Vita mathematica ... ‘ *  ...  Mathematical structuralism MV-algebras , Recent advances in discrete event t systems Srni, 1994 and St.  ... 

Opportunities and Limitations of Computer Algebra in Education

Arthur Nunes-Harwitt
2004 Journal of Educational Technology Systems  
Computer algebra systems offer many new opportunities for math education.  ...  Computer algebra systems are frequently used for research. In addition, some instructors have based entire advanced courses around these systems.  ...  Computer Algebra for Instructors While using a computer algebra system for research is not new, and basing certain math courses around a computer algebra system is not uncommon, I know of no discussion  ... 
doi:10.2190/np7h-1gwm-0y2l-l4ec fatcat:kzcrc5wtxncijglndow3qqv5la

Why computational teaching? the advantage of using the maple software in teaching exact sciences

Adela Ionescu
2021 Atti della Accademia Peloritana dei Pericolanti : Classe di Scienze Fisiche, Matematiche e Naturali  
The computational thinking becomes more and more an essential part of modern teaching.  ...  Some examples are focused on representing the objects and basic algebraic manipulation commands, very successfully used in teaching sciences.  ...  Thus, learning computing algebra is just learning another language to do the same computations we do using pencil and paper: • It is our mathematical / physical language, that we understand and use doing  ... 
doi:10.1478/aapp.99s1a14 doaj:f69eb751f38c4b26b0b89c3bd7534045 fatcat:tkflct663ze7poiasq7kpnqdtu

Robust Computer Algebra, Theorem Proving, and Oracle AI [article]

Gopal P. Sarma, Nick J. Hay
2017 arXiv   pre-print
On the other hand, we identify computer algebra systems (CASs) as being primitive examples of domain-specific oracles for mathematics and argue that efforts to integrate computer algebra systems with theorem  ...  Another usage, referring to a class of systems which may be useful for addressing the value alignment and AI control problems, is a superintelligent AI system that only answers questions.  ...  Figure 1 : 1 Example of a polynomial identity proven by integrating the Maple computer algebra system with Isabelle.  ... 
arXiv:1708.02553v2 fatcat:hesasayvljb3vmjqsw7sniutdm

Machine Learning Symmetry [article]

Shailesh Lal
2022 arXiv   pre-print
We review recent work in machine learning aspects of conformal field theory and Lie algebra representation theory using neural networks.  ...  Machine Learning Lie Algebras One of the most fundamental problems in physics is the description of symmetries of a system, i.e. the set of operations that leaves the system invariant.  ...  Such computations are seen to run on exponential time scales [23] when carried out on LieART, a Mathematica software for computations in Lie algebra representation theory [40] .  ... 
arXiv:2201.09345v2 fatcat:sqqz33gpi5dcvirb3asocluflm

Robust Computer Algebra, Theorem Proving, and Oracle AI

Gopal P. Sarma, Nick J. Hay
2017 Social Science Research Network  
On the other hand, we identify computer algebra systems (CASs) as being primitive examples of domain-specific oracles for mathematics and argue that efforts to integrate computer algebra systems with theorem  ...  Another usage, referring to a class of systems which may be useful for addressing the value alignment and AI control problems, is a superintelligent AI system that only answers questions.  ...  Figure 1 : 1 Example of a polynomial identity proven by integrating the Maple computer algebra system with Isabelle.  ... 
doi:10.2139/ssrn.3038545 fatcat:w3bzqxgopbdwtbqvsckcsfdjoq

Qualitative reasoning, dimensional analysis and computer algebra

W. L. Roque, R. P. Dos Santos
1991 Proceedings of the 1991 international symposium on Symbolic and algebraic computation - ISSAC '91  
The computer algebra system REDUCE is very important in computing the rank of D M [13] , solving the algebraic system of equations and in computing the partials, which are essentially partial derivatives  ...  It is worthwhile mentioning that QDA is a system written in REDUCE [12] , a system for symbolic and algebraic manipulation.  ... 
doi:10.1145/120694.120773 dblp:conf/issac/RoqueS91 fatcat:5yz5mtmdnja4lbotnnud4y7n4e

Page 4219 of Mathematical Reviews Vol. , Issue 89G [page]

1989 Mathematical Reviews  
Advanced computing concepts and techniques in control Algebra and discrete mathematics Algebra. Topology.  ...  A.  ... 

Page 215 of University Computing : The Bulletin of the IUCC Vol. 11, Issue 4 [page]

1989 University Computing : The Bulletin of the IUCC  
Dr Harper concluded his talk by reminding delegates that a more extensive description of the eight computer algebra systems is given in the booklet ‘A Guide to Computer Algebra System’ by D.  ...  The talk ended with a brief description of work in the physics of viscous fluids, chemical equilibrium and quantum mechanics. Dr David Harper began the afternoon session with his second talk.  ... 

An Overreaction to the Broken Machine Learning Abstraction

Ce Zhang, Wentao Wu, Tian Li
2017 Proceedings of the 2nd Workshop on Human-In-the-Loop Data Analytics - HILDA'17  
We ask, Can we build a system that gets domain experts completely out of the machine learning loop?  ...  Can this system have exactly the same interface as linear regression, the bare minimum requirement of a scientist?  ...  execution system that interleaves physical relational operators with physical tensor computation operators. e problem is, of course, the physical data format when data is streaming through such a DAG.  ... 
doi:10.1145/3077257.3077265 dblp:conf/sigmod/ZhangWL17 fatcat:r7aorjyscrgetgbwf7eky6yc5y

On Contemporary Denotational Mathematics for Computational Intelligence [chapter]

Yingxu Wang
2008 Lecture Notes in Computer Science  
of granular computing by system algebra.  ...  A set of case studies is presented on the modeling of iterative and recursive systems architectures and behaviors by RTPA, the modeling of autonomic machine learning by concept algebra, and the modeling  ...  learning by concept algebra, and the modeling of granular computing by system algebra.  ... 
doi:10.1007/978-3-540-87563-5_2 fatcat:3r2bgpqmufa75ou5xev3gidusy
« Previous Showing results 1 — 15 out of 75,451 results