Decision method for elementary algebra

Main
Mathematics - Algebra
Decision method for elementary algebra

Decision method for elementary algebra

Seidenberg A.

0 / 0

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Категории:

Mathematics - Algebra

Год:

1954

Язык:

english

Страницы:

11

Серия:

Ann.Math.

Файл:

DJVU, 169 KB

IPFS:

,

english, 1954

Читать Онлайн

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

Elwyn Berlekamp — Algebraic coding survey

Morinaga, Nono. — On the linearization of a form of higher degree and its representation (generalized Clifford algebra)(J.Sci.Hiroshima 1952)

Beck J.M. — Triples, algebras and cohomology (PhD thesis, 1967, reprint 2003)

Euler L. — An algebraic problem of finding four numbers, given the products of each of the numbers with the sum of the three others

Seidenberg A. — A new decision method for elementary algebra

Elwyn R. Berlekamp — A Survey of Algebraic Coding Theory: Lectures Held at the Department of Automation and Information, July 1970

Davenport J.H., Siret Y., Tournier E. — Computer algebra: Systems and algorithms for algebraic computation

Bob Caviness (Editor) — Journal of Symbolic Computation, Volume 28, issues 1-6 28 1-6

Hoon Hong (Editor) — Journal of Symbolic Computation, Volume 31, issues 1-6 31 1-6

Hoon Hong (Editor) — Journal of Symbolic Computation, Volume 33, issues 1-6 33 1-6

Klaus Hulek — Elementary Algebraic Geometry

Davenport J.H. — Computer algebra

A. Adrian Albert — College algebra

Sudhir R. Ghorpade — Introduction to Algebraic Geometry [Lecture notes]

Hans Sterk — Algebra 3: algorithms in algebra [Lecture notes]

Donu Arapura — Notes on basic algebraic geometry [Lecture notes]

Cox et al — Using Algebraic Geometry

Schwartz. — Fast probabilistic verification of polynomial identities

Collins. — Multivariate polynomial resultants

J. H. Davenport — Computer Algebra: Systems and Algorithms for Algebraic Computation

Pohst M. — Algorithmic methods in algebra and number theory

Hoon Hong (Editor) — Journal of Symbolic Computation, Volume 41, issues 1-12 41 1-12

ross beaumont — The Algebraic Foundations of Mathematics

H.J.Keisler, S.Körner, W.A.J.Luxemburg, A.D.Young (eds) — Abraham Robinson: Selected papers. Volume 1. Model Theory and Algebra

Bhubaneswar Mishra — Algorithmic algebra

David A. Cox, John Little, Donal O’shea (auth.) — Using Algebraic Geometry

Alfred Tarski; J. C. C. McKinsey — A Decision Method for Elementary Algebra and Geometry

David A. Cox, Bernd Sturmfels, Dinesh N. Manocha (ed.) — Applications of Computational Algebraic Geometry: American Mathematical Society Short Course January 6-7, 1997 San Diego, California

Paul S. Wang (Editor) — SYMSAC '81: Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation, Snowbird, Utah, August 5-7, 1981

Issac — Proceedings ISSAC (Kiev)

Wolfgang W. Kuchlin — Issac 97: July 21-23, 1997, Maui, Hawaii, USA: Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computa

— Proceedings EUROSAM 1984 (selected papers)(SIGSAM, ACM)

Lamagna, Edmund A — Computer algebra: concepts and techniques

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 16, issues 1-6 issue 1-6

Bhubaneswar Mishra — Algorithmic Algebra

Oliver Gloor — Issac 98: August 13-15, 1998, University of Rostock, Germany: Proceedings of the 1998 International Symposium on Symbolic and Al

— Issac 1999 Symposium

— 2001 International Symposium on Symbolic and Algebraic Computation

Teo Mora — ISSAC 2002 : July 07-10, 2002, Université de Lille, Lille, France : Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation

— Issac 2003: Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation: August 3-6, 2003, Philadelphia,

Ключевые слова