Related papers: The use of the algebraic programming in teaching g…
Incorporating computer programming exercises into introductory physics is a delicate task that involves a number of choices that may have an effect on student learning. We present a "hybrid" approach that speaks to a number of common…
Quantum computation has received great attention in recent years for its possible application to difficult problem in classical calculation. Despite the experimental problems of implementing quantum devices, theoretical physicists have…
In this paper, we introduce methods of encoding propositional logic programs in vector spaces. Interpretations are represented by vectors and programs are represented by matrices. The least model of a definite program is computed by…
What would you teach if you had only one course to help students grasp the essence of computation and perhaps inspire a few of them to make computing a subject of further study? Assume they have the standard college prep background. This…
Convenient and simple numerical techniques for performing quantum computations based on matrix representations of Hilbert space operators are presented and illustrated by various examples. The applications include the calculations of…
The main purpose of this paper is to propose six programs in C++ for matrix computations and solving recurrent equations systems with entries in min plus algebra.
In this work, we present a program in the computational environment, GeoGebra, that enables a graphical study of Newton's Method. Using this computational device, we will analyze Newton's Method convergence applied to various examples of…
We present a study of student learning through the use of virtual reality. A software package is used to introduce concepts of special relativity to students in a game-like environment where users experience the effects of travelling at…
Einstein's general theory of relativity is the standard theory of gravity, especially where the needs of astronomy, astrophysics, cosmology and fundamental physics are concerned. As such, this theory is used for many practical purposes…
We present some Maple procedures using the GrTensorII package for teaching purposes in the study of the canonical version of the general relativity based on the ADM formalism
Recent advancements in robotics, including applications like self-driving cars, unmanned systems, and medical robots, have had a significant impact on the job market. On one hand, big robotics companies offer training programs based on the…
There is a growing consensus that physics majors need to learn computational skills, but many departments are still devoid of computation in their physics curriculum. Some departments may lack the resources or commitment to create a…
An example of application of the specialized computer algebra system Grg-EC to the searching for solutions to the source-free Maxwell and Einstein--Maxwell equations is demonstrated. The solution involving five arbitrary functions of two…
The integration of AI tools into programming education has become increasingly prevalent in recent years, transforming the way programming is taught and learned. This paper provides a review of the state-of-the-art AI tools available for…
There are two gradient descent decoding procedures for binary codes proposed independently by Liebler and by Ashikhmin and Barg. Liebler in his paper mentions that both algorithms have the same philosophy but in fact they are rather…
We develop a general method for incentive-based programming of hybrid quantum-classical computing systems using reinforcement learning, and apply this to solve combinatorial optimization problems on both simulated and real gate-based…
We review some recent applications of machine learning to algebraic geometry and physics. Since problems in algebraic geometry can typically be reformulated as mappings between tensors, this makes them particularly amenable to supervised…
We outline a program in the area of formalization of mathematics to automate theorem proving in algebra and algebraic geometry. We propose a construction of a dictionary between automated theorem provers and (La)TeX exploiting syntactic…
The rapid development of artificial intelligence (AI) systems has created an urgent need for their scientific quantification. While their fluency across a variety of domains is impressive, AI systems fall short on tests requiring…
In recent years, computing has become an important part of the way we teach and learn physics. Teachers, both at high school and college levels, now use computational activities in many of their courses. Physics departments are offering…