The architecture of symbolic computers / by 320961 Kogge, Peter M.

Differential equations with symbolic computation / by Wang, Dongming, Zheng, Zhiming

Symbolic computation of differential equivalences by Cardelli, L, Tribastone, M, Tschaikowski, M, Vandin, A

Symbolic computation : applications to scientific computing / by Grossman, Robert, 1957-, Society for Industrial and Applied Mathematics, Ames Research Center

Satisfiability checking meets symbolic computation by Abraham, E, Abbott, J, Becker, B, Bigatti, A, Brain, M, Buchberger, B, Cimatti, A, Davenport, J, England, M, Fontaine, P, Forrest, S, Griggio, A, Kroening, D, Seiler, W, Sturm, T

“…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. …”

Symbolic computations for analytical solutions: An indentation computation by Constantinescu, A, Korsunsky, A, Pison, O

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium / by Kerber, Manfred, Kohlhase, Michael

Interfaces to symbolic computation systems: reconsidering experience of Bergman by Svetlana Cojocaru, Ludmila Malahova, Alexandru Colesnicov

“…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

Preface to Numerical and Symbolic Computation: Developments and Applications—2021 by Maria Amélia R. Loja

“…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

Symbolic Computation Applied to Cauchy Type Singular Integrals by Ana C. Conceição, Jéssica C. Pires

Subjects: “…symbolic computation…”
Get full text

SC2: Satisfiability checking meets symbolic computation by Ábrahám, E, Abbott, J, Becker, B, Bigatti, A, Brain, M, Buchberger, B, Cimatti, A, Davenport, J, England, M, Fontaine, P, Forrest, S, Griggio, A, Kroening, D, Seiler, W, Sturm, T

“…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. …”

Analytical methods in anisotropic elasticity : with symbolic computational tools / by 451649 Rand, Omri, Rovenskii, Vladimir Y., 1953-

Heat conduction : lumped analysis, integral transforms, symbolic computation / by 445568 Cotta, Renato M., Mikhailov, M. D. (Mikhail Dimitrov), 1934-

Symbolic computing on Newton's method for solving unconstrained optimization problems / by 494813 Sendra Ada, Rohanin Ahmad, Fakulti Sains

MICA workspace : a symbolic computational environment for signal analysis by Spanbauer, Adam J. (Adam Jeffrey)

Get full text

Preface to <i>Numerical and Symbolic Computation: Developments and Applications—2019</i> by Maria Amélia R. Loja, Joaquim I. Barbosa

“…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

Symbolic Computation to Solving an Irrational Equation on Based Symmetric Polynomials Method by Valery Ochkov, Inna Vasileva, Massimiliano Nori, Konstantin Orlov, Evgeny Nikulchev

Get full text

Counting permutations where the difference between entries located r places apart can never be s (for any given positive integers r and s) by George Spahn, Doron Zeilberger

Subjects: Get full text

Analytical methods in anisotropic elasticity [compact disc] : with symbolic computational tools / by 451649 Rand, Omri, Rovenskii, Vladimir Y., 1953-

A study on the applicability of symbolic computation in stabilising control design for switched systems by At-Tasneem, Mohd Amin

“…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