Computer Algebra [electronic resource] : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982 /
Asymptotically fast algorithms for the numerical muitiplication and division of polynomials with complex coefficients -- An adaptive hybrid algorithm for multiplying dense polynomials -- The construction of multivariate polynomials with preassigned zeros -- Lattices and factorization of polynomials over algebraic number fields -- Commutative algebra and computer algebra -- The nielsen reduction as key problem to polynomial algorithms in free groups -- The structure of near-rings of small order -- Computing double coset representatives for the generation of solvable groups -- On the determination of algebraic number fields of given discriminant -- Rewrite rule theory and abstract data type analysis -- Algebraic specifications: A constructive methodology in logic programming -- A theorem-proving approach to the Knuth-Bendix completion algorithm -- Solving symbolic equations with press -- Deterministic versus probabilistic factorization of integral polynomials -- On polynomial factorization -- Hacijan's algorithm in VAXIMA: improvements and difficulties -- The parallel Risch algorithm (I) -- An algorithm to compute the equations of tangent cones -- Computer algebra systems viewed by a notorious user -- Implementation of differential geometric objects and functions with an application to extended Maxwell equations -- A sum-substitutor used as trigonometric simplifier -- Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables -- Algebraic computation of the solution of some nonlinear differential equations -- Factorization in cylindrical algebraic decomposition — Abstract -- Cylindrical algebraic decomposition by quantifier elimination -- Algorithms for the computation of free lattices -- Linear algebraic approach for computing polynomial resultant -- The development of a vector-based algebra system -- Nlargeing a z80 microprocessor -- Escaping from intermediate expression swell: a continuing saga -- REDUCE — A case study in algebra system development -- An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point -- Symbolic numeric methods in microwave technology -- A program in REDUCE for finding explicit solutions to certain ordinary differential equations -- An application of MACSYMA to nonlinear systems decoupling.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1982
|
Subjects: | Mathematics., Numerical analysis., Numerical Analysis., |
Online Access: | http://dx.doi.org/10.1007/3-540-11607-9 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:183196 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1831962018-07-30T23:04:16ZComputer Algebra [electronic resource] : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982 / Calmet, Jacques. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1982.engAsymptotically fast algorithms for the numerical muitiplication and division of polynomials with complex coefficients -- An adaptive hybrid algorithm for multiplying dense polynomials -- The construction of multivariate polynomials with preassigned zeros -- Lattices and factorization of polynomials over algebraic number fields -- Commutative algebra and computer algebra -- The nielsen reduction as key problem to polynomial algorithms in free groups -- The structure of near-rings of small order -- Computing double coset representatives for the generation of solvable groups -- On the determination of algebraic number fields of given discriminant -- Rewrite rule theory and abstract data type analysis -- Algebraic specifications: A constructive methodology in logic programming -- A theorem-proving approach to the Knuth-Bendix completion algorithm -- Solving symbolic equations with press -- Deterministic versus probabilistic factorization of integral polynomials -- On polynomial factorization -- Hacijan's algorithm in VAXIMA: improvements and difficulties -- The parallel Risch algorithm (I) -- An algorithm to compute the equations of tangent cones -- Computer algebra systems viewed by a notorious user -- Implementation of differential geometric objects and functions with an application to extended Maxwell equations -- A sum-substitutor used as trigonometric simplifier -- Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables -- Algebraic computation of the solution of some nonlinear differential equations -- Factorization in cylindrical algebraic decomposition — Abstract -- Cylindrical algebraic decomposition by quantifier elimination -- Algorithms for the computation of free lattices -- Linear algebraic approach for computing polynomial resultant -- The development of a vector-based algebra system -- Nlargeing a z80 microprocessor -- Escaping from intermediate expression swell: a continuing saga -- REDUCE — A case study in algebra system development -- An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point -- Symbolic numeric methods in microwave technology -- A program in REDUCE for finding explicit solutions to certain ordinary differential equations -- An application of MACSYMA to nonlinear systems decoupling.Mathematics.Numerical analysis.Mathematics.Numerical Analysis.Springer eBookshttp://dx.doi.org/10.1007/3-540-11607-9URN:ISBN:9783540394334 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Mathematics. Numerical analysis. Mathematics. Numerical Analysis. Mathematics. Numerical analysis. Mathematics. Numerical Analysis. |
spellingShingle |
Mathematics. Numerical analysis. Mathematics. Numerical Analysis. Mathematics. Numerical analysis. Mathematics. Numerical Analysis. Calmet, Jacques. editor. SpringerLink (Online service) Computer Algebra [electronic resource] : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982 / |
description |
Asymptotically fast algorithms for the numerical muitiplication and division of polynomials with complex coefficients -- An adaptive hybrid algorithm for multiplying dense polynomials -- The construction of multivariate polynomials with preassigned zeros -- Lattices and factorization of polynomials over algebraic number fields -- Commutative algebra and computer algebra -- The nielsen reduction as key problem to polynomial algorithms in free groups -- The structure of near-rings of small order -- Computing double coset representatives for the generation of solvable groups -- On the determination of algebraic number fields of given discriminant -- Rewrite rule theory and abstract data type analysis -- Algebraic specifications: A constructive methodology in logic programming -- A theorem-proving approach to the Knuth-Bendix completion algorithm -- Solving symbolic equations with press -- Deterministic versus probabilistic factorization of integral polynomials -- On polynomial factorization -- Hacijan's algorithm in VAXIMA: improvements and difficulties -- The parallel Risch algorithm (I) -- An algorithm to compute the equations of tangent cones -- Computer algebra systems viewed by a notorious user -- Implementation of differential geometric objects and functions with an application to extended Maxwell equations -- A sum-substitutor used as trigonometric simplifier -- Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables -- Algebraic computation of the solution of some nonlinear differential equations -- Factorization in cylindrical algebraic decomposition — Abstract -- Cylindrical algebraic decomposition by quantifier elimination -- Algorithms for the computation of free lattices -- Linear algebraic approach for computing polynomial resultant -- The development of a vector-based algebra system -- Nlargeing a z80 microprocessor -- Escaping from intermediate expression swell: a continuing saga -- REDUCE — A case study in algebra system development -- An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point -- Symbolic numeric methods in microwave technology -- A program in REDUCE for finding explicit solutions to certain ordinary differential equations -- An application of MACSYMA to nonlinear systems decoupling. |
format |
Texto |
topic_facet |
Mathematics. Numerical analysis. Mathematics. Numerical Analysis. |
author |
Calmet, Jacques. editor. SpringerLink (Online service) |
author_facet |
Calmet, Jacques. editor. SpringerLink (Online service) |
author_sort |
Calmet, Jacques. editor. |
title |
Computer Algebra [electronic resource] : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982 / |
title_short |
Computer Algebra [electronic resource] : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982 / |
title_full |
Computer Algebra [electronic resource] : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982 / |
title_fullStr |
Computer Algebra [electronic resource] : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982 / |
title_full_unstemmed |
Computer Algebra [electronic resource] : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982 / |
title_sort |
computer algebra [electronic resource] : eurocam '82, european computer algebra conference marseille, france 5–7 april 1982 / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1982 |
url |
http://dx.doi.org/10.1007/3-540-11607-9 |
work_keys_str_mv |
AT calmetjacqueseditor computeralgebraelectronicresourceeurocam82europeancomputeralgebraconferencemarseillefrance57april1982 AT springerlinkonlineservice computeralgebraelectronicresourceeurocam82europeancomputeralgebraconferencemarseillefrance57april1982 |
_version_ |
1756265064388624384 |