Search
Search Results
-
Implementation of Geometric Algebra in Computer Algebra Systems
AbstractFor describing specialized mathematical structures, it is preferable to use a special formalism rather than a general one. However, tradition...
-
Applying Computer Algebra Systems to Study Chaundy-Bullard Identities for the Vector Partition Function with Weight
AbstractAn algorithm for obtaining the Chaundy-Bullard identity for a vector partition function with weight that uses computer algebra methods is...
-
Computer Algebra Tools for Geometrization of Maxwell’s Equations
AbstractCalculations of optical devices in the geometrized Maxwell’s theory use well-known formalisms of general theory of relativity and...
-
On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems
AbstractThis paper presents an original package for investigating numerical solutions of ordinary differential equations, which is built in the Sage...
-
An Extendable Essay on the Sage Computer Algebra System and an Editor for Creating Extendable Essays
AbstractAn extendable essay is a special format of electronic texts that is more convenient for reading than hypertext. To facilitate the creation...
-
Solving Rician Data Analysis Problems: Theory and Numerical Modeling Using Computer Algebra Methods in Wolfram Mathematica
AbstractThis paper considers theoretical foundations and mathematical methods of data analysis under the conditions of the Rice statistical...
-
Investigation of Difference Schemes for Two-Dimensional Navier–Stokes Equations by Using Computer Algebra Algorithms
AbstractA class of consistent difference schemes for incompressible Navier–Stokes equations in physical variables and their differential...
-
-
Symbolic Studies of Maxwell’s Equations in Space-Time Algebra Formalism
AbstractDifferent implementations of Clifford algebra: spinors, quaternions, and geometric algebra, are used to describe physical and technical...
-
From computer systems to power systems: using stochastic network calculus for flexibility analysis in power systems
As power systems transition from controllable fossil fuel plants to variable renewable sources, managing power supply and demand fluctuations becomes...
-
-
Computer Algebra in JULIA
AbstractRecently, the place of the main programming language for scientific and engineering computations has been little by little taken by Julia....
-
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
Verifying arithmetic circuits and most prominently multiplier circuits is an important problem which in practice is still considered to be...
-
Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings
This book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took... -
Investigation of the Influence of Constant Torque on Equilibrium Orientations of a Satellite Moving in a Circular Orbit with the Use of Computer Algebra Methods
AbstractMethods of computer algebra are used to investigate equilibrium orientations of a satellite moving along a circular orbit under the action of...
-
Implementation of Analytic Projective Geometry for Computer Graphics
AbstractIn their research, the authors actively exploit different branches of geometry. For geometric constructions, computer algebra approaches and...
-
On Calculating Partial Sums of Multiple Numerical Series by Methods of Computer Algebra
AbstractA method to calculate partial sums of some multiple numerical series arising when searching for the resultant of a polynomial and an entire...
-
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems
Digital mathematical libraries assemble the knowledge of years of mathematical research. Numerous disciplines (e.g., physics, engineering, pure and... -
Computer-Algebraic Approach to First Differential Approximations: Van der Pol Oscillator
AbstractFirst differential approximation has been used to analyze various numerical methods for solving systems of ordinary differential equations....
-
Derivation of Evolutionary Equations in the Many-Body Problem with Isotropically Varying Masses Using Computer Algebra
AbstractThe influence of the variability of the masses of celestial bodies on the dynamic evolution of planetary systems is investigated in the case...