A generic implementation of differential characteristic set algorithms in Aldor

Christian Aistleitner

Research output: Working paper and reportsPreprint

Abstract

This report compares various implementations for differential characteristic set computations and introduces a characteristic set library for Aldor. Its design along with alternatives is discussed. The possibilities to connect the library to Maple and Mathematica are presented and a comparison of different implementations for differential polynomial rings is given.
Original languageEnglish
Place of PublicationJohannes Kepler University, Altenberger Str. 69, 4040 Linz
PublisherRISC
Number of pages133
Publication statusPublished - Dec 2005

Publication series

NameRISC Report Series
No.05-15

Fields of science

  • 101 Mathematics
  • 101001 Algebra
  • 101005 Computer algebra
  • 101009 Geometry
  • 101012 Combinatorics
  • 101013 Mathematical logic
  • 101020 Technical mathematics

Cite this