Results 11 to 20 of about 2,672 (199)
Report on the 40th International Symposium on Symbolic and Algebraic Computation
ACM Communications in Computer Algebra, 2015 The 40th International Symposium on Symbolic and Algebraic Computation (ISSAC 2015) was held at The University of Bath, Bath, UK from 6 - 9 July 2015. It featured: • 43 Contributed Paper talks selected by the ISSAC 2015 Program Committee; • 3 Invited Speakers; • 3 Tutorial Sessions; • 12 Poster Presentations;
England, Matthew; id_orcid
openaire +2 more sources
Symbolic computation for evaluation of measurement uncertainty [PDF]
, 2007 In recent years, with the rapid development of symbolic computation, the integration of symbolic and numeric methods is increasingly applied in various applications.
Wei, P +7 more
core +1 more source
Interfacing Coq + SSReflect with GAP [PDF]
, 2012 Presentation slides and preprint both provided by author. Preprint published in Electronic Notes in Theoretical Computer Science: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10).We report on an extendable ...
Komendantsky, Vladimir +3 more
core +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
Ruiz Reina, José Luis +1 more
core +1 more source
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
New Specific and General Linearization Formulas of Some Classes of Jacobi Polynomials
Mathematics, 2020 The main purpose of the current article is to develop new specific and general linearization formulas of some classes of Jacobi polynomials. The basic idea behind the derivation of these formulas is based on reducing the linearization coefficients which ...
Waleed Mohamed Abd-Elhameed, Afnan Ali
doaj +1 more source
Symbolic iteration method based on computer algebra analysis for Kepler’s equation
Scientific Reports, 2022 The Kepler’s equation of elliptic orbits is one of the most significant fundamental physical equations in Satellite Geodesy. This paper demonstrates symbolic iteration method based on computer algebra analysis (SICAA) to solve the Kepler’s equation.
Ruichen Zhang, Shaofeng Bian, Houpu Li
doaj +1 more source
Российский технологический журнал, 2022 Objectives. The paper deals with the equivalence of program schemes. According to A.A. Lyapunov and Yu.I. Yanov, the founders of this theory, a program scheme is understood as a program model wherein abstraction from contensive values of operators and ...
Y. P. Korablin
doaj +1 more source
New exact solutions for the two-dimensional Broadwell system [PDF]
Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2022 In this paper, we consider the discrete kinetic Broadwell system. This system is a nonlinear hyperbolic system of partial differential equations. The two-dimensional Broadwell system is the kinetic Boltzmann equation, and for this model momentum and ...
Dukhnovsky, Sergey A.
doaj +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