Search Results - Symbolic and Algebraic Manipulation- Algebraic Algorithms General Terms

Higher-Order Pattern Anti-Unification in Linear Time by Baumgartner, Alexander, Kutsia, Temur, Levy, Jordi, Villaret, Mateu

“…We present a rule-based Huet’s style anti-unification algorithm for simply typed lambda-terms, which computes a least general higher-order pattern generalization…”
Get full text

Anti-unification for Unranked Terms and Hedges by Kutsia, Temur, Levy, Jordi, Villaret, Mateu

“…)terms with different top function symbols. First, we design a complete and minimal algorithm to compute least general generalizations…”
Get full text

Evidence Algorithm and Inference Search in First-Order Logics by Lyaletski, Alexander

“…In the early 1970s, in Kiev, research on automated theorem proving started in the framework of the so-called Evidence Algorithm (EA…”
Get full text

Equivariant Unification by Cheney, James

“… It serves as the basis of logic programming, term rewriting, and automated theorem proving techniques that support reasoning about languages with name-binding…”
Get full text

A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems by Zinn, Julian, M. Verma, Rakesh

“…Term rewrite systems are useful in many areas of computer science. Two especially important areas are decision procedures for the word problem of some algebraic systems and rule-based programming…”
Get full text

Geometry-oblivious FMM for compressing dense SPD matrices by Yu, Chenhan D., Levitt, James, Reiz, Severin, Biros, George

“… Compression requires N log N storage and work. In general, our scheme belongs to the family of hierarchical matrix approximation methods…”
Get full text

A combinatorial approach to involution and δ-regularity II: structure analysis of polynomial modules with pommaret bases by Seiler, Werner M.

“…Much of the existing literature on involutive bases concentrates on their efficient algorithmic construction. By contrast, we are here more concerned with…”
Get full text

Symbolic implementation of the algorithm for calculating Adomian polynomials by Choi, H.-W., Shin, J.-G.

“… trigonometric terms, and unique summation rules. It is well known that the algebraic manipulation language such as Mathematica is useful to facilitate such a hard computational work…”
Get full text

Analysis of the multistrain asymmetric SI model for arbitrary strain diversity by van der Ventel, B.I.S.

“… Since Mathematica is an algebraic manipulator, analytical expressions are presented for the equilibrium population variables in terms of the forces of infection for arbitrary number of strains, n…”
Get full text

Context-sensitive analysis without calling-context by Lakhotia, Arun, Boccardo, Davidson R., Singh, Anshuman, Manacero, Aleardo

“…Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of ‘valid…”
Get full text

An empirical study of cache-oblivious polygon indecomposability testing by Abu Salem, Fatima K., Soudah, Rawan N.

“…We implement and undertake an empirical study of the cache-oblivious variant of the polygon indecomposability testing algorithm of Gao and Lauder, based on a depth-first search (DFS…”
Get full text

Type-specialized staged programming with process separation by Liu, Yu David, Skalka, Christian, Smith, Scott F.

“…Staging is a powerful language construct that allows a program at one stage of evaluation to manipulate and specialize a program to be executed at a later…”
Get full text

A lean specification for GADTs: system F with first-class equality proofs by Middelkoop, Arie, Dijkstra, Atze, Swierstra, S. Doaitse

“…Generalized Algebraic Data Types are a generalization of Algebraic Data Types with additional type equality constraints…”
Get full text

MatchingTools: A Python library for symbolic effective field theory calculations by Criado, Juan C.

“…MatchingTools is a Python library for doing symbolic calculations in effective field theory…”
Get full text

Direct transformation from Cartesian into geodetic coordinates on a triaxial ellipsoid by Diaz–Toca, Gema Maria, Marin, Leandro, Necula, Ioana

“…This paper1 presents two new direct symbolic-numerical algorithms for the transformation of Cartesian coordinates into geodetic coordinates considering the general case of a triaxial reference ellipsoid…”
Get full text

Linear recurrences with carry as uniform random number generators by Couture, Raymond, L'Ecuyer, Pierre

“… Marsaglia and A. Zaman (1991). We define for them a general (infinite) state space and focus our attention on the (finite…”
Get full text

Synthesis from Examples: Interaction Models and Algorithms by Gulwani, S.

“…) design of an efficient search algorithm - these algorithms have been based on paradigms from various communities including use of SAT/SMT solvers…”
Get full text

The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs by Gerdt, Vladimir P., Lange-Hegermann, Markus, Robertz, Daniel

“…We present the Maple package TDDS (Thomas Decomposition of Differential Systems). Given a polynomially nonlinear differential system, which in addition to…”
Get full text

Direct transformation from Cartesian into geodetic coordinates on a triaxial ellipsoid by Diaz-Toca, Gema M, Marin, Leandro, Necula, Ioana

“…This paper presents two new direct symbolic-numerical algorithms for the transformation of Cartesian coordinates into geodetic coordinates considering the general case of a triaxial reference ellipsoid…”
Get full text

LARGE DEFORMATION ANALYSIS OF A CYLINDRICAL SHELL UNDER PURE BENDING AND PRESSURIZATION by BANNISTER, KENNETH ALLEN

“… The MACSYMA symbolic manipulation system is first applied alone and then in combination with two different gradient method-type optimization algorithms on the analysis of a large deformation shell problem…”
Get full text