๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Criterion for quasi-power basis and its applications

โœ Scribed by V. A. Oskolkov

Publisher
SP MAIK Nauka/Interperiodica
Year
1990
Tongue
English
Weight
376 KB
Volume
48
Category
Article
ISSN
0001-4346

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The definable criterion for definability
The definable criterion for definability in Presburger arithmetic and its applications
โœ An.A. Muchnik ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 131 KB

In Section 1 of present paper we construct a formula 'n(A) of Presburger arithmetic (integers with addition and order) with additional n-ary predicate variable A. This formula is true if and only if predicate A is deรฟnable in Presburger arithmetic (Theorem 2). This formula is used to prove the foll

A Fast Algorithm for Grรถbner Basis Conve
A Fast Algorithm for Grรถbner Basis Conversion and its Applications
โœ Quoc-Nam Tran ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 362 KB

The Grรถbner walk method converts a Grรถbner basis by partitioning the computation of the basis into several smaller computations following a path in the Grรถbner fan of the ideal generated by the system of equations. The method works with ideals of zerodimension as well as positive dimension. Typicall