Набиране на средства 15 Март 2025 – 1 Април 2025 Относно набирането на средства

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Main
Mathematics
Proceedings 1992 Int. Workshop on...

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Wu Wen-Tsun, Cheng Min-De. (eds.)

0 / 0

0 comments

Колко ви харесва тази книга?

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

Изтеглете книгата за оценка на качеството

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

Категории:

Тип съдържание:

Книги

Година:

1992

Език:

english

Страници:

291

ISBN 10:

7800031969

ISBN 13:

9787800031960

Файл:

DJVU, 6.91 MB

IPFS:

,

english, 1992

Четете Онлайн

djvu, 6.91 MB

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

Xiao-Shan Gao; Shang-Ching Chou — A Zero Structure Theorem for Differential Parametric Systems

Mora, Teo; Traverso, Carlo — Effective Methods in Algebraic Geometry ||

Ganzha, Victor G.; Mayr, Ernst W.; Vorozhtsov, Evgenii V — Computer Algebra in Scientific Computing CASC 2001 ||

Dongming Wang — Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases

Daniel Lazard — Thirty years of Polynomial System Solving, and now?

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

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 13, issues 1, 2, 4 of 6 issue 1, 2, 4 of 6

— [Journal] Journal of Symbolic Computation. Vol. 37. Numbers 1-6

Tran. — Symbolic-numerical solution of real algebraic equations

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

Y.N. (ed) Lakshman — Proceedings ISSAC (Zurich)

Bruno Buchberger, Franz Winkler — Gröbner Bases and Applications

E. Becker, R. Neuhaus (auth.), Frédéric Eyssette, André Galligo (eds.) — Computational Algebraic 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

Association for Computing Machinery — Issac 90: International Symposium on Symbolic & Algebraic Computation, Held August 20-24, '90 in Japan

International Symposium on Symbolic and Algebraic Computation, Stephen M. Watt, Association for Computing Machinery, Association for Computing Machinery. Special Interest Group in Simulation — Proceedings ISSAC (Bonn)

Issac — Proceedings ISSAC (Kiev)

Issac — Proceedings ISSAC (Oxford)

A. H. M. Levelt — Issac '95: International Symposium on Symbolic and Algebraic Computation

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

Unknown — Proceedings ISSAC 2010 (Munich)

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

— 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,

— Proceedings ISSAC (Santander)

— Proceedings ISSAC (Beijing)

— Proceedings ISSAC 2008 (ACM)

Unknown — Proceedings ISSAC 2009 (Seoul)

Dongming Wang — Elimination practice: software tools and applications

Dongming Wang — Elimination Practice: Software Tools and Applications (With CD-Rom)

Martin Kreuzer, Hennie Poulisse, Lorenzo Robbiano (auth.), Lorenzo Robbiano, John Abbott (eds.) — Approximate Commutative Algebra

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

L. A. Bassalygo (auth.), Gérard Cohen, Marc Giusti, Teo Mora (eds.) — Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 11th International Symposium, AAECC-11 Paris, France, July 17–22, 1995 Proceedings

Най-често използвани термини