Results 21 to 30 of about 53,514 (278)
Towards Diagrammatic Specifications of Symbolic Computation Systems [PDF]
, 2006 The aim of this work is to present an ongoing project to formalize, in the framework of diagrammatic logic (due to Dominique Duval and Christian Lair) some data structures appearing in Sergeraert\u27s symbolic computation systems Kenzo and EAT.
+3 more
core +1 more source
Improved algorithm for computing separating linear forms for bivariate systems [PDF]
, 2014 We address the problem of computing a linear separating form of a system of two bivariate polynomials with integer coefficients, that is a linear combination of the variables that takes different values when evaluated at the distinct solutions of the ...
Bouzidi, Yacine +4 more
core +4 more sources
Evolutionary dynamics on a regular networked structured and unstructured multi‐population
International Journal of Robust and Nonlinear Control, EarlyView., 2023 Abstract In this paper, we study collective decision‐making in a multi‐population framework, where groups of individuals represent whole populations that interact by means of a regular network. Each group consists of a number of players and every player can choose between two options.
Wouter Baar +2 more
wiley +1 more source
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions
Journal of Applied Mathematics, 2014 We introduce an approach exploiting the power of polynomial ring algebra to perform SystemVerilog assertion verification over digital circuit systems. This method is based on Groebner bases theory and sequential properties checking.
Ning Zhou +4 more
doaj +1 more source
Nonperturbative Analytical Diagonalization of Hamiltonians with Application to Circuit QED
PRX Quantum, 2022 Deriving effective Hamiltonian models plays an essential role in quantum theory, with particular emphasis in recent years on control and engineering problems.
Boxi Li, Tommaso Calarco, Felix Motzoi
doaj +1 more source
Abelian functions associated with genus three algebraic curves [PDF]
, 2011 We develop the theory of Abelian functions associated with algebraic curves. The growth in computer power and an advancement of efficient symbolic computation techniques has allowed for recent progress in this area.
Baker +5 more
core +1 more source
Mathematics, 2021 Recently developed GeoGebra tools for the automated deduction and discovery of geometric statements combine in a unique way computational (real and complex) algebraic geometry algorithms and graphic features for the introduction and visualization of ...
Tomás Recio +3 more
doaj +1 more source
Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems [PDF]
, 2014 The application of automated reasoning to the formal verification of symbolic computation systems is motivated by the need of ensuring the correctness of the results computed by the system, beyond the classical approach of testing. Formal verification
B. Buchberger +5 more
core +1 more source
Mathematical Modelling and Analysis, 2018 We discuss here the problem of solving the system of two nonlinear algebraic equations determining the relative equilibrium positions in the planar circular restricted four-body problem formulated on the basis of the Euler collinear solution of the three-
Alexander N. Prokopenya
doaj +1 more source
Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix [PDF]
, 2016 Given a nonsingular $n \times n$ matrix of univariate polynomials over a field $\mathbb{K}$, we give fast and deterministic algorithms to compute its determinant and its Hermite normal form.
Labahn, George +2 more
core +5 more sources