A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
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 , Mathematica  and Maxima . ...arXiv:1104.4461v2 fatcat:syifrbem25hw5nzxjxczouuljm
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
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
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
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. ...
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
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
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
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  when carried out on LieART, a Mathematica software for computations in Lie algebra representation theory  . ...arXiv:2201.09345v2 fatcat:sqqz33gpi5dcvirb3asocluflm
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
The computer algebra system REDUCE is very important in computing the rank of D M  , 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  , a system for symbolic and algebraic manipulation. ...doi:10.1145/120694.120773 dblp:conf/issac/RoqueS91 fatcat:5yz5mtmdnja4lbotnnud4y7n4e
Advanced computing concepts and techniques in control Algebra and discrete mathematics Algebra. Topology. ... A. ...
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. ...
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
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