Results 31 to 40 of about 51,397 (286)
Visualizing a Cubic Linkage through the Use of CAS and DGS
Mathematics, 2022 Our goal is to discuss the different issues that arise when attempting to visualize a joints-and-bars cube through GeoGebra, a widespread program that combines dynamic geometry (DGS) and computer algebra systems (CAS). As is standard in the DGS framework,
Tomás Recio +3 more
doaj +1 more source
Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT [PDF]
Journal of symbolic computation, 2019 We use techniques from the fields of computer algebra and satisfiability checking to develop a new algorithm to search for complex Golay pairs. We implement this algorithm and use it to perform a complete search for complex Golay pairs of lengths up to ...
Curtis Bright +3 more
semanticscholar +1 more source
Interfaces to symbolic computation systems: reconsidering experience of Bergman [PDF]
Computer Science Journal of Moldova, 2005 The article is based on experience of implementation of computer algebra system Bergman and on analysis of other symbolic computation systems. It is noted that many symbolic computation systems meet similar interface problems.
Svetlana Cojocaru +2 more
doaj
Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches
Journal of Applied Mathematics, 2013 This work presents an efficient solution using computer algebra system to perform linear temporal properties verification for synchronous digital systems. The method is essentially based on both Groebner bases approaches and symbolic simulation.
Ning Zhou, Jinzhao Wu, Xinyan Gao
doaj +1 more source
Science Journal of University of Zakho, 2020 In this work, we analyze the dynamical behaviors of two five-parameter families of planar quadratic maps by utilizing strategies of symbolic computation.
Sarbast H. Mikaeel, Bewar H. Othman
doaj +1 more source
Computation of Minimal Polynomials and Multivector Inverses in Non-Degenerate Clifford Algebras
MathematicsClifford algebras are an active area of mathematical research having numerous applications in mathematical physics and computer graphics, among many others.
Dimiter Prodanov
doaj +1 more source
Dynamics of a System of Two Connected Bodies Moving along a Circular Orbit around the Earth [PDF]
EPJ Web of Conferences, 2020 Symbolic–numeric methods are used to investigate the dynamics of a system of two bodies connected by a spherical hinge. The system is assumed to move along a circular orbit under the action of gravitational torque. The equilibrium orientations of the two-
Gutnik Sergey A., Sarychev Vasily A.
doaj +1 more source
Complexity, 2019 We aim to construct exact and explicit solutions to a generalized Bogoyavlensky-Konopelchenko equation through the Maple computer algebra system. The considered nonlinear equation is transformed into a Hirota bilinear form, and symbolic computations are ...
Shou-Ting Chen, Wen-Xiu Ma
doaj +1 more source
An optimizing symbolic algebra approach for generating fast multipole method operators
Computer Physics Communications, 2020 We have developed a symbolic algebra approach to automatically produce, verify, and optimize computer code for the Fast Multipole Method (FMM) operators.
J. Coles, R. Bieri
semanticscholar +1 more source
Applying computer algebra systems with SAT solvers to the Williamson conjecture [PDF]
Journal of symbolic computation, 2018 We employ tools from the fields of symbolic computation and satisfiability checking—namely, computer algebra systems and SAT solvers—to study the Williamson conjecture from combinatorial design theory and increase the bounds to which Williamson matrices ...
Curtis Bright +2 more
semanticscholar +1 more source