𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algorithm and computer experiment for seeking proofs of theorems in the predicate calculus

✍ Scribed by F. V. Anufriev; V. M. Kostyakov; A. I. Malashonok

Publisher
Springer US
Year
1974
Tongue
English
Weight
524 KB
Volume
8
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Computer Algebra Algorithms and Routines
Computer Algebra Algorithms and Routines for the Computation of Conservation Laws and Fixing of Gauge in Differential Expressions
✍ T. Wolf; A. Brand; M. Mohammadzadeh πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 303 KB

In this paper we present three different approaches for the determination of conservation laws. For three corresponding REDUCE computer algebra programs CONLAW1/2/3 the necessary subroutines are described. All three programs use subroutines which remove redundant functions and constants in the gener

COMPLX: a computer algorithm for the det
COMPLX: a computer algorithm for the detection of protein–ligand and other macromolecular complexes in mass spectra
✍ Jason W. H. Wong; Kevin M. Downard πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 148 KB

## Abstract A new algorithm has been designed and tested to identify protein, or any other macromolecular, complexes that have been widely reported in mass spectral data. The program takes advantage of the appearance of multiply charged ions that are common to both electrospray ionization and, to a