Artifact 59d301d978a5b04b291cb9aa9d5a5d227523634b54dab2ba5295de511e1f433f:


@INPROCEEDINGS{Hornfeldt:82,
  AUTHOR = "L. Hornfeldt",
  TITLE = "A Sum-Substitutor used as Trigonometric Simplifier",
  BOOKTITLE = "Proc. {EUROCAM} '82",
  PAGES = "188-195",
  SERIES = "Lecture Notes on Comp. Science",
  NUMBER = 144,
  PUBLISHER = "Springer-Verlag",
  ADDRESS = "Berlin",
  YEAR = 1982}



REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]