↓ Skip to main content

EUROCAL '85

Overview of attention for book
Cover of 'EUROCAL '85'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 229 Algorithms for polynomial division
  3. Altmetric Badge
    Chapter 230 Sparse hensel lifting
  4. Altmetric Badge
    Chapter 231 Heugcd: How elementary upperbounds generate cheaper data
  5. Altmetric Badge
    Chapter 232 Gaussian elimination over a euclidean ring
  6. Altmetric Badge
    Chapter 233 Demonstration of reduce3 as implemented on a stand-alone Motorola 68000 based microcomputer
  7. Altmetric Badge
    Chapter 234 The Scratchpad II computer algebra language and system
  8. Altmetric Badge
    Chapter 235 The SAC-2 computer algebra system
  9. Altmetric Badge
    Chapter 236 DOE-MACSYMA: Progress report
  10. Altmetric Badge
    Chapter 237 Towards practical implementations of syllogistic
  11. Altmetric Badge
    Chapter 238 Path resolution and semantic graphs
  12. Altmetric Badge
    Chapter 239 Fast subsumption algorithms
  13. Altmetric Badge
    Chapter 240 Substitution expressions: Extracting solutions of non-Horn clause proofs
  14. Altmetric Badge
    Chapter 241 The complexity of elementary problems in archimedean ordered groups
  15. Altmetric Badge
    Chapter 242 Progress on the equivalence problem
  16. Altmetric Badge
    Chapter 243 Symbol representations of noncommutative algebras
  17. Altmetric Badge
    Chapter 244 Algebraic computations in elementary catastrophe theory
  18. Altmetric Badge
    Chapter 245 Bifurcation theory and computer algebra: An initial approach
  19. Altmetric Badge
    Chapter 246 Factorization of polynomials by transcendental evaluation
  20. Altmetric Badge
    Chapter 247 Factorization of rational polynomials in the Zassenhaus — Norm
  21. Altmetric Badge
    Chapter 248 On decomposable and commuting polynomials
  22. Altmetric Badge
    Chapter 249 Fast polynomial decomposition algorithms
  23. Altmetric Badge
    Chapter 250 A program system for root finding
  24. Altmetric Badge
    Chapter 251 A program system for factorization of polynomials with rational coefficients
  25. Altmetric Badge
    Chapter 252 THKLISP as a base of formula manipulation systems
  26. Altmetric Badge
    Chapter 253 AMP a system for algebraic computations
  27. Altmetric Badge
    Chapter 254 The program ortocartan for applications in Einstein's relativity theory
  28. Altmetric Badge
    Chapter 255 Sheep and classification in general relativity
  29. Altmetric Badge
    Chapter 256 Norcan — A computer calculus program
  30. Altmetric Badge
    Chapter 257 Demo of stensor
  31. Altmetric Badge
    Chapter 258 Visual environments for symbolic computation
  32. Altmetric Badge
    Chapter 259 Syntactic equivalences inducing semantic equivalences
  33. Altmetric Badge
    Chapter 260 The Algos computational system
  34. Altmetric Badge
    Chapter 261 Retrieval in a module library using formal specifications: Preliminary search using syntactic properties
  35. Altmetric Badge
    Chapter 262 The J-Machine: Functional programming with combinators
  36. Altmetric Badge
    Chapter 263 Symbolic algebra in problems of nonlinear mechanics
  37. Altmetric Badge
    Chapter 264 Macsyma's computation of dirac-bergmann algorithm for Hamiltonian syytems with constraints
  38. Altmetric Badge
    Chapter 265 Infinite dimensional computer Lie algebra ?
  39. Altmetric Badge
    Chapter 266 Application of computer algebra to the theory of the vibration-rotational spectra of diatomic molecules
  40. Altmetric Badge
    Chapter 267 Algorithms for the character theory of the symmetric group
  41. Altmetric Badge
    Chapter 268 Worst-case analysis of algorithms for computational problems on abelian permutation groups
  42. Altmetric Badge
    Chapter 269 A completion of some coxeter groups
  43. Altmetric Badge
    Chapter 270 A CAYLEY file of finite simple groups
  44. Altmetric Badge
    Chapter 271 On some laws in PSL(2,q)
  45. Altmetric Badge
    Chapter 272 An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space
  46. Altmetric Badge
    Chapter 273 A cluster-based cylindrical algebraic decomposition algorithm
  47. Altmetric Badge
    Chapter 274 On mechanical quantifier elimination for elementary algebra and geometry: Solution of a nontrivial problem
  48. Altmetric Badge
    Chapter 275 Gröbner bases using SAC2
  49. Altmetric Badge
    Chapter 276 A polynomial-time algorithm for the topological type of a real algebraic curve
  50. Altmetric Badge
    Chapter 277 An improved projection operation for cylindrical algebraic decomposition
  51. Altmetric Badge
    Chapter 278 Arithmetic in quadratic fields with unique factorization
  52. Altmetric Badge
    Chapter 279 About a new method for computing in algebraic number fields
  53. Altmetric Badge
    Chapter 280 An algebraic implementation of packages
  54. Altmetric Badge
    Chapter 281 The SMP pattern matcher
  55. Altmetric Badge
    Chapter 282 An expression compression package for REDUCE based on factorization and controlled expansion
  56. Altmetric Badge
    Chapter 283 STENSOR uses disc automatically for very large computations
  57. Altmetric Badge
    Chapter 284 Numerical methods with automatic verification
  58. Altmetric Badge
    Chapter 285 ACRITH — High accuracy arithmetic subroutine library
  59. Altmetric Badge
    Chapter 286 Floating-point computation in PASCAL-SC with verified results
  60. Altmetric Badge
    Chapter 287 PASCAL-SC demonstration accurate arithmetic for verified results
  61. Altmetric Badge
    Chapter 288 A solution to the polynomial hensel-code conversion problem
  62. Altmetric Badge
    Chapter 289 A posteriori interval analysis
  63. Altmetric Badge
    Chapter 290 Symbolic manipulations on a computer and their application to generation and investigation of difference schemes
  64. Altmetric Badge
    Chapter 291 Completeness in data type specifications
  65. Altmetric Badge
    Chapter 292 On solving the equality problem in theories defined by Horn clauses
  66. Altmetric Badge
    Chapter 293 Reducing the complexity of the Knuth-Bendix completion algorithm: A "unification" of different approaches
  67. Altmetric Badge
    Chapter 294 A confluence criterion based on the generalised Newman Lemma
  68. Altmetric Badge
    Chapter 295 ERIL — Equational reasoning: an interactive laboratory
  69. Altmetric Badge
    Chapter 296 Implementation of a general completion procedure parameterized by built-in theories and strategies
  70. Altmetric Badge
    Chapter 297 Computer algebra in Norway
  71. Altmetric Badge
    Chapter 298 Goppa codes: Algorithmic problems
  72. Altmetric Badge
    Chapter 299 Gcd's and factoring multivariate polynomials using Grobner bases
  73. Altmetric Badge
    Chapter 300 A note on the complexity of constructing standard bases
  74. Altmetric Badge
    Chapter 301 Some algorithmic questions on ideals of differential operators
  75. Altmetric Badge
    Chapter 302 Obtaining complete sets of reductions and equations without using special unification algorithms
  76. Altmetric Badge
    Chapter 303 An overview of completion algorithms
  77. Altmetric Badge
    Chapter 304 The optimisation by "code motion" of user programs for an algebraic manipulation system
  78. Altmetric Badge
    Chapter 305 An improved plotting package for VAXIMA
  79. Altmetric Badge
    Chapter 306 On logic programs with data-driven computations
  80. Altmetric Badge
    Chapter 307 Darwin, a system designed for the study of enumerative combinatorics
  81. Altmetric Badge
    Chapter 308 Correctness proofs of the implementation of abstract data types
  82. Altmetric Badge
    Chapter 309 Using prolog for constructing geometric objects defined by constraints
  83. Altmetric Badge
    Chapter 310 The role of symbolic computation in the management of scientific information
  84. Altmetric Badge
    Chapter 311 CIM (computer integrated manufacturing) — A challenge for symbolic computation
  85. Altmetric Badge
    Chapter 312 Symbolic and algebraic computation may support secondary education
  86. Altmetric Badge
    Chapter 313 Software toolkit for input stage measurement in symbolic compuation
  87. Altmetric Badge
    Chapter 314 The algebraic manipulation systems on the electrical power systems
  88. Altmetric Badge
    Chapter 315 A new method of computing fundamental units in algebraic number fields
  89. Altmetric Badge
    Chapter 316 The generalized Voronoi-algorithm in totally real algebraic number fields
  90. Altmetric Badge
    Chapter 317 An algorithm for the computation of perfect polyhedral cones over real quadratic number fields
  91. Altmetric Badge
    Chapter 318 Explicit determination of non-trivial torsion structures of elliptic curves over quadratic number fields
  92. Altmetric Badge
    Chapter 319 p-Adic algorithms and the computation of zeros of p-adic l-functions
  93. Altmetric Badge
    Chapter 320 On the solution of the diophantine equation G n =p z
  94. Altmetric Badge
    Chapter 321 Term orderings on the polynomial ring
  95. Altmetric Badge
    Chapter 322 An algorithmic approach to local rings
  96. Altmetric Badge
    Chapter 323 A reduction strategy for the taylor resolution
  97. Altmetric Badge
    Chapter 324 From polynomials to Galois groups
  98. Altmetric Badge
    Chapter 325 A system for parallel computer algebra programs
  99. Altmetric Badge
    Chapter 326 Unification in parallel with refined linearity test: An example of recursive network structure in FP2, a functional parallel programming language
  100. Altmetric Badge
    Chapter 327 The parallel L-machine for symbolic computation
  101. Altmetric Badge
    Chapter 328 Unification in conditional-equational theories
  102. Altmetric Badge
    Chapter 329 Mechanical translation of set theoretic problem specifications into efficient RAM code — A case study
  103. Altmetric Badge
    Chapter 330 A methodology for automatic programming based on the constructive matching strategy
  104. Altmetric Badge
    Chapter 331 The structural synthesis of programs: New means
  105. Altmetric Badge
    Chapter 332 Taking advantage of symmetry in the automatic generation of numerical programs for finite element analysis
  106. Altmetric Badge
    Chapter 333 Automatic generation of optimized programs
  107. Altmetric Badge
    Chapter 334 Canonical form for rational exponential expressions
  108. Altmetric Badge
    Chapter 335 Elementary and Liouvillian solutions of linear differential equations
  109. Altmetric Badge
    Chapter 336 Analytical decoupling, decision of compatibility and partial integration of systems of nonlinear ordinary and partial differential equations
  110. Altmetric Badge
    Chapter 337 Symbolic integration of exponential polynomials
  111. Altmetric Badge
    Chapter 338 A REDUCE package for determining first integrals of autonomous systems of ordinary differential equations
  112. Altmetric Badge
    Chapter 339 A package of tools for manipulation of sums and series
  113. Altmetric Badge
    Chapter 340 Theory of summation in finite terms
  114. Altmetric Badge
    Chapter 341 Abstract of the manuscript entitled "symbol manipulation and symmetry breaking"
  115. Altmetric Badge
    Chapter 342 On improving approximate results of Buchberger's algorithm by Newton's method
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
10 Wikipedia pages

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
EUROCAL '85
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-15984-3
ISBNs
978-3-54-015984-1, 978-3-54-039685-7
Editors

Caviness, Bob F.

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United States 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 1 100%
Readers by discipline Count As %
Mathematics 1 100%