References in zbMATH (referenced in 103 articles , 4 standard articles )

Showing results 101 to 103 of 103.
Sorted by year (citations)

previous 1 2 3 4 5 6

  1. Klatte, R.; Kulisch, U.; Neaga, M.; Ratz, D.; Ullrich, Ch.: Pascal-XSC. Language description with examples (1991)
  2. Kulisch, U.; Klatte, R.; Ratz, D.; Wolff, C. (Karlsruhe Univ. (T. H.) (Germany). Inst.fuer Angewandte Mathematik); Corliss, G. F. (Argonne National Lab., IL (United States). Mathematics and Computer Science Div.); Neaga, M. (Numerik Software GmbH, Baden-Baden (Germany)); Ullrich, C. (Basel Univ. (Switzerland). Inst.fuer Informatik): Pascal-XSC. Language reference with examples. Pascal-XSC. Sprachbeschreibung mit Beispielen. (1991) MathEduc
  3. Thames, Joseph: Synthetic calculus. -- A paradigm of mathematical program synthesis (1991)

previous 1 2 3 4 5 6