✦ LIBER ✦

A modular order-sorted equational generalization algorithm

✍ Scribed by Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José

Book ID: 122117702
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 738 KB
Volume: 235
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2014.01.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new sixth-order algorithm for general

A new sixth-order algorithm for general second order ordinary differential equations

✍ Awoyemi, D.O. 📂 Article 📅 2001 🏛 Taylor and Francis Group 🌐 English ⚖ 255 KB

A new algorithm for order statistic and

A new algorithm for order statistic and sorting

✍ Kar, B.K.; Pradhan, D.K. 📂 Article 📅 1993 🏛 IEEE 🌐 English ⚖ 618 KB

Generation algorithm of a sort ofP-permu

Generation algorithm of a sort ofP-permutations

✍ Haiqing Han; Huanguo Zhang; Qin Li; Yan Tong 📂 Article 📅 2010 🏛 Wuhan University 🌐 English ⚖ 298 KB

A generalization of Françoise's algorith

A generalization of Françoise's algorithm for calculating higher order Melnikov functions

✍ Ahmed Jebrane; Pavao Mardešić; Michèle Pelletier 📂 Article 📅 2002 🏛 Elsevier Science 🌐 French ⚖ 293 KB

In [J. Differential Equations 146 (2) (1998) 320-335], Françoise gives an algorithm for calculating the first nonvanishing Melnikov function M of a small polynomial perturbation of a Hamiltonian vector field and shows that M is given by an Abelian integral. This is done under the condition that vani

A Fast Algorithm for Sorting and Countin

A Fast Algorithm for Sorting and Counting Third-Order Intermodulation Products

✍ Fortes, J.; Sampaio-Neto, R. 📂 Article 📅 1986 🏛 IEEE 🌐 English ⚖ 610 KB

A generalization of the zero–one princip

A generalization of the zero–one principle for sorting algorithms

✍ Dorothea Wagner; Frank Wagner 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 518 KB