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 `application/pdf`

.

## Filters

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

2014
*
arXiv
*
pre-print

In the present paper, we describe some experiences in using programming, commands and graphical interfaces based on

arXiv:1104.4461v2
fatcat:syifrbem25hw5nzxjxczouuljm
*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]. ...##
###
Teaching students the equations of mathematical physics using educational electronic resources

2021
*
RUDN Journal of Informatization in Education
*

Such training sessions

doi:10.22363/2312-8631-2021-18-2-188-196
fatcat:fqtb7lf5ordyxejbnsk35f7cma
*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*. ...##
###
Quantum Deep Learning Triuniverse

2016
*
Journal of Quantum Information Science
*

An original quantum foundations concept of

doi:10.4236/jqis.2016.64015
fatcat:2glkfeb2cfdljeljd44cnhx2rm
*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*...##
###
Multimodal Algebra Learning: From Math Manipulatives to Tangible User Interfaces

2018
*
I-COM: A Journal of Interactive and Cooperative Media
*

In

doi:10.1515/icom-2018-0027
fatcat:xeea332ul5fgpkia42dcigi7nq
*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*. ...##
###
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

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 ...

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

2021
*
Atti della Accademia Peloritana dei Pericolanti : Classe di Scienze Fisiche, Matematiche e Naturali
*

The

doi:10.1478/aapp.99s1a14
doaj:f69eb751f38c4b26b0b89c3bd7534045
fatcat:tkflct663ze7poiasq7kpnqdtu
*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 ...##
###
Robust Computer Algebra, Theorem Proving, and Oracle AI
[article]

2017
*
arXiv
*
pre-print

On the other hand, we identify

arXiv:1708.02553v2
fatcat:hesasayvljb3vmjqsw7sniutdm
*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. ...##
###
Machine Learning Symmetry
[article]

2022
*
arXiv
*
pre-print

We review recent work in machine

arXiv:2201.09345v2
fatcat:sqqz33gpi5dcvirb3asocluflm
*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] . ...##
###
Robust Computer Algebra, Theorem Proving, and Oracle AI

2017
*
Social Science Research Network
*

On the other hand, we identify

doi:10.2139/ssrn.3038545
fatcat:w3bzqxgopbdwtbqvsckcsfdjoq
*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. ...##
###
Qualitative reasoning, dimensional analysis and computer algebra

1991
*
Proceedings of the 1991 international symposium on Symbolic and algebraic computation - ISSAC '91
*

The

doi:10.1145/120694.120773
dblp:conf/issac/RoqueS91
fatcat:5yz5mtmdnja4lbotnnud4y7n4e
*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. ...##
###
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

2017
*
Proceedings of the 2nd Workshop on Human-In-the-Loop Data Analytics - HILDA'17
*

We ask, Can we build

doi:10.1145/3077257.3077265
dblp:conf/sigmod/ZhangWL17
fatcat:r7aorjyscrgetgbwf7eky6yc5y
*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. ...##
###
On Contemporary Denotational Mathematics for Computational Intelligence
[chapter]

2008
*
Lecture Notes in Computer Science
*

of granular

doi:10.1007/978-3-540-87563-5_2
fatcat:3r2bgpqmufa75ou5xev3gidusy
*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*. ...
« Previous

*Showing results 1 — 15 out of 75,451 results*