Results 1 to 10 of about 2,059 (204)

Exact symbolic–numeric computation of planar algebraic curves [PDF]

Theoretical Computer Science, 2013
We present a novel certified and complete algorithm to compute arrangements of real planar algebraic curves. It provides a geometric-topological analysis of the decomposition of the plane induced by a finite number of algebraic curves in terms of a cylindrical algebraic decomposition.
Eric Berberich, Michael Sagraloff, Pavel Emeliyanenko   +2 more
exaly   +7 more sources

Optimal hyperdimensional representation for learning and cognitive computation [PDF]

Frontiers in Artificial Intelligence
Hyperdimensional Computing (HDC) is a neurally inspired computing paradigm that leverages lightweight, high-dimensional operations to emulate key brain functions.
Prathyush P. Poduval, Hamza Errahmouni Barkam, Xiangjian Liu, Sanggeon Yun, Yang Ni, Zhuowen Zou, Nathaniel D. Bastian, Mohsen Imani   +7 more
doaj   +2 more sources

Symbolic computation in algebra, geometry, and differential equations

Information and Computation
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Franz Winkler
exaly   +3 more sources

Symbolic and Algebraic Computation [PDF]

Lecture Notes in Computer Science, 1979
exaly   +2 more sources

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, Rafael Losada-Liste, Luis Felipe Tabera, Carlos Ueno   +3 more
doaj   +1 more source

New Exact Solutions of Landau-Ginzburg-Higgs Equation Using Power Index Method

Journal of Function Spaces, 2023
In the present study, the optimality approach is applied to find the exact solution of the Landau-Ginzburg-Higgs Equation (LGHE) using new transformations.
Khalil Ahmad, Khudija Bibi, Muhammad Shoaib Arif, Kamaleldin Abodayeh   +3 more
doaj   +1 more source

Symbolic Methods for Analysing Bifurcations and Chaos of Two Five-Parameter Families of Planar Quadratic Maps

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

Mixed algorithm for solving boundary value problem

Computer Assisted Methods in Engineering and Science, 2023
Symbolic computation has been applied to Runge-Kutta technique in order to solve two-point boundary value problem. The unknown initial values are considered as symbolic variables, therefore they will appear in a system of algebraic equations, after the ...
Béla Paláncz, György Popper
doaj  

SymbAlign: A Hybrid Symbolic–Neural Alignment Framework for Automated Mathematical Solution Scoring [PDF]

EPJ Web of Conferences
Automated scoring of mathematical solutions is challenging due to the diversity of solution strategies and the need to assess both correctness and reasoning.
Johnsi R., Kumar Guntur Bharadwaja
doaj   +1 more source

Recursive Elimination Method in Moving Horizon Estimation for a Class of Nonlinear Systems and Non-Gaussian Noise

SICE Journal of Control, Measurement, and System Integration, 2020
This paper proposes a recursive elimination method for optimal filtering problems of a class of discrete-time nonlinear systems with non-Gaussian noise. By this method, most of the computations to solve an optimal filtering problem can be carried out off-
Tomoyuki Iori, Toshiyuki Ohtsuka
doaj   +1 more source