Results 41 to 50 of about 2,672 (199)

Symbolic Computation of the Lie Algebra se(3) of the Euclidean Group SE(3): An Application to the Infinitesimal Kinematics of Robot Manipulators

Mathematics
This paper reports an application of the Lie algebra se(3) of the Euclidean group SE(3), which is isomorphic to the theory of screws in the velocity and acceleration analyses of serial manipulators.
Jaime Gallardo-Alvarado, Mario A. Garcia-Murillo, Juan Manuel Tabares-Martinez, X. Yamile Sandoval-Castro   +3 more
doaj   +1 more source

Symbolic Computation of Molecular Integrals

, 2023
The purpose of the present article is to give an account of the symbolic computation of molecular integrals. This sort of computation is a requisite for a scheme of quantum chemistry, which has been developed by the authors of the present article.
Ichio Kikuchi, Akihito Kikuchi
core   +1 more source

Nonlinear Waveforms for Ion-Acoustic Waves in Weakly Relativistic Plasma of Warm Ion-Fluid and Isothermal Electrons

Advances in Mathematical Physics, 2012
The reductive perturbation method has been employed to derive the Korteweg-de Vries (KdV) equation for small- but finite-amplitude electrostatic ion-acoustic waves in weakly relativistic plasma consisting of warm ions and isothermal electrons.
S. A. El-Wakil, Essam M. Abulwafa, E. K. El-Shewy, H. G. Abdelwahed, Hamdi M. Abd-El-Hamid   +4 more
doaj   +1 more source

A Computational Approach to the Perimeter-Area Inequality in a Triangle

Axioms
This paper explores the application of automated reasoning tools, specifically those implemented in GeoGebra Discovery, to the perimeter-area inequality in triangles.
Tomás Recio, Carlos Ueno, María Pilar Vélez   +2 more
doaj   +1 more source

Communicating quantum processes [PDF]

, 2005
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation.
Simon J. Gay, Rajagopal Nagarajan, Nagarajan, Rajagopal, Nagarajan, R., Gay, S. J., Gay, S.J.   +5 more
core   +1 more source

Object oriented institutions to specify symbolic computation systems [PDF]

, 2007
The specification of the data structures used in EAT, a software system for symbolic computation in algebraic topology, is based on an operation that defines a link among different specification frameworks like hidden algebras and coalgebras.
Julio Rubio, Domínguez, C. [0000-0002-2081-7523], Rubio, J. [0000-0002-4282-3692], Lambán, Laureano, Lambán, L. [0000-0003-2383-2689], César Domínguez, Rubio, Julio, Domínguez, César, Laureano Lambán   +8 more
core   +1 more source

Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition

, 2023
This toolbox supports the results in the following publication: Pickering, L., del Río, T., England, M. and Cohen, K., 2023. Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic ...
Del Rio, Tereso, Pickering, Lynn, Research Centre for Computational Science and Mathematical Modelling, England, Matthew; id_orcid, Cohen, Kelly, University of Cincinnati, Coventry University   +6 more
core   +2 more sources

Automatic Synthesis of Linear Program Ranking Functions

工程科学与技术, 2009
:Due to determining the classical ranking functions of program verification, a new approach was proposed based on the theory of semi-algebraic systems.
Li Jun, LI Yl, Feng Yong, Qin Xiao-lin
doaj  

Transcendentality of zeros of higher dereivatives of functions involving Bessel functions

International Journal of Mathematics and Mathematical Sciences, 1995
C.L. Siegel established in 1929 [Ges. Abh., v.1, pp. 209-266] the deep results that (i) all zeros of Jv(x) and J′v(x) are transcendental when v is rational, x≠0, and (ii) J′v(x)/Jv(x) is transcendental when v is rational and x algebraic.
Lee Lorch, Martin E. Muldoon
doaj   +1 more source

Symbolic Generation of Adomian Polynomials for Different Nonlinearities by Python [PDF]

Journal of Chemical and Petroleum Engineering
The Adomian decomposition method (ADM) is a powerful mathematical technique to find closed-form solutions to nonlinear functional equations including ODEs, PDEs, differential-difference, integral, integro-differential, algebraic, and transcendental ...
Mohsen Noorimohammad, Asadollah Houshmand, Hooman Fatoorehchi   +2 more
doaj   +1 more source