-
1
-
2
-
3
-
4
-
5
Satisfiability checking meets symbolic computation
Published 2016“…Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. …”
Conference item -
6
Symbolic computations for analytical solutions: An indentation computation
Published 2009Journal article -
7
-
8
Interfaces to symbolic computation systems: reconsidering experience of Bergman
Published 2005-10-01“…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. …”
Get full text
Article -
9
Preface to Numerical and Symbolic Computation: Developments and Applications—2021
Published 2022-12-01“…This is the Special Issue “Numerical and Symbolic Computation: Developments and Applications—2021”, also available at the Special Issue website https://www [...]…”
Get full text
Article -
10
Symbolic Computation Applied to Cauchy Type Singular Integrals
Published 2021-12-01Subjects: “…symbolic computation…”
Get full text
Article -
11
SC2: Satisfiability checking meets symbolic computation
Published 2016“…Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. …”
Conference item -
12
-
13
-
14
-
15
MICA workspace : a symbolic computational environment for signal analysis
Published 2013Get full text
Thesis -
16
Preface to <i>Numerical and Symbolic Computation: Developments and Applications—2019</i>
Published 2020-05-01“…This book constitutes the printed edition of the Special Issue <i>Numerical and Symbolic Computation: Developments and Applications—2019</i>, published by <i>Mathematical and Computational Applications</i> (MCA) and comprises a collection of articles related to works presented at the 4th International Conference in Numerical and Symbolic Computation—SYMCOMP 2019—that took place in Porto, Portugal, from April 11th to April 12th 2019 [...]…”
Get full text
Article -
17
Symbolic Computation to Solving an Irrational Equation on Based Symmetric Polynomials Method
Published 2020-04-01Get full text
Article -
18
Counting permutations where the difference between entries located r places apart can never be s (for any given positive integers r and s)
Published 2023-02-01Subjects: Get full text
Article -
19
-
20
A study on the applicability of symbolic computation in stabilising control design for switched systems
Published 2012“…In this study, a Switched System Control Design Toolbox employing symbolic computation based on the Haris-Rogers solution method was developed using the Maple software. …”
Get full text
Thesis