Suchergebnisse - Symbolic and Algebraic Manipulation- Algebraic Algorithms General Terms

Higher-Order Pattern Anti-Unification in Linear Time von 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 …”
Volltext

Anti-unification for Unranked Terms and Hedges von 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 …”
Volltext

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

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

Equivariant Unification von 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 …”
Volltext

A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems von 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 …”
Volltext

Geometry-oblivious FMM for compressing dense SPD matrices von 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 …”
Volltext

A combinatorial approach to involution and δ-regularity II: structure analysis of polynomial modules with pommaret bases von 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 …”
Volltext

Symbolic implementation of the algorithm for calculating Adomian polynomials von 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 …”
Volltext

Analysis of the multistrain asymmetric SI model for arbitrary strain diversity von 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 …”
Volltext

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

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

An empirical study of cache-oblivious polygon indecomposability testing von 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 …”
Volltext

Type-specialized staged programming with process separation von 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 …”
Volltext

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

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

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

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

Direct transformation from Cartesian into geodetic coordinates on a triaxial ellipsoid von 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 …”
Volltext

Linear recurrences with carry as uniform random number generators von 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 …”
Volltext

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

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

The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs von 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 …”
Volltext

Direct transformation from Cartesian into geodetic coordinates on a triaxial ellipsoid von 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 …”
Volltext

LARGE DEFORMATION ANALYSIS OF A CYLINDRICAL SHELL UNDER PURE BENDING AND PRESSURIZATION von 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 …”
Volltext