Výsledky vyhľadávania - Symbolic and Algebraic Manipulation- Algebraic Algorithms General Terms

Higher-Order Pattern Anti-Unification in Linear Time Autor 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…”
Získať plný text

Anti-unification for Unranked Terms and Hedges Autor 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…”
Získať plný text

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

“…In the early 1970s, in Kiev, research on automated theorem proving started in the framework of the so-called Evidence Algorithm (EA…”
Získať plný text

Equivariant Unification Autor 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…”
Získať plný text

A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems Autor 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…”
Získať plný text

Geometry-oblivious FMM for compressing dense SPD matrices Autor 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…”
Získať plný text

A combinatorial approach to involution and δ-regularity II: structure analysis of polynomial modules with pommaret bases Autor 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…”
Získať plný text

Symbolic implementation of the algorithm for calculating Adomian polynomials Autor 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…”
Získať plný text

Analysis of the multistrain asymmetric SI model for arbitrary strain diversity Autor 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…”
Získať plný text

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

“…Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of ‘valid…”
Získať plný text

An empirical study of cache-oblivious polygon indecomposability testing Autor 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…”
Získať plný text

Type-specialized staged programming with process separation Autor 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…”
Získať plný text

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

“…Generalized Algebraic Data Types are a generalization of Algebraic Data Types with additional type equality constraints…”
Získať plný text

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

“…MatchingTools is a Python library for doing symbolic calculations in effective field theory…”
Získať plný text

Direct transformation from Cartesian into geodetic coordinates on a triaxial ellipsoid Autor 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…”
Získať plný text

Linear recurrences with carry as uniform random number generators Autor 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…”
Získať plný text

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

“…) design of an efficient search algorithm - these algorithms have been based on paradigms from various communities including use of SAT/SMT solvers…”
Získať plný text

The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs Autor 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…”
Získať plný text

Direct transformation from Cartesian into geodetic coordinates on a triaxial ellipsoid Autor 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…”
Získať plný text

LARGE DEFORMATION ANALYSIS OF A CYLINDRICAL SHELL UNDER PURE BENDING AND PRESSURIZATION Autor 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…”
Získať plný text