H ? « »

Language peer sets for ORTHOCARTAN:
Poland
Poland/1977
Designed 1977
1970s languages
Fourth generation
High Cold War

ORTHOCARTAN(ID:2319/ort002)

Symbolic maths 

alternate simple view
Country: Poland
Designed 1977


for ORThOganal CARTan series

A. Krasinski, Warsaw, 1977ff. Symbolic math, especially General Relativity.


from Krasinski 1983:
The team included M. Wardecki (we adapted his simplifying subprogram written for another
purpose), M. Perkowski (he wrote the first complete code of the program and helped
the author to learn LISP) and Z. Otwinowski (his brilliant ideas resulted in reducing
the execution time by the factor 5).

Version Göktürk Üçoluk Middle East Technical University 1990


References:
  • Krasniski et al (1979) Krasinski, A.; Perkowski, M. and Otwinowski, Z. "The system ORTOCARTAN for analytic calculations, detailed description" Report of the N. Copernicus Astronomical Center (1979).
  • Krasniski et al (1980) Krasinski A. and M. Perkowski, "The system ORTOCARTAN - user's manual" Report of the N. Copernicus Astronomical Center (1980).
  • Krasinski (1983) Krasinski, A. "The Program Ortocartan for Algebraic Calculations New Developments" General Relativity and Gravitation, Vol. 1, Classical Relativity. Proceedings of the 10th International Conference on General Relativity and Gravitation, held July 4-9, 1983, in Padova, Italy. Edited by B. Bertotti, F. de Felice and A. Pascolini. Published by Consiglio Nazionale delle Ricerche, Rome, 1983
  • Krasiñski (1983) Krasiñski, Andrzej "ORTOCARTAN: a program for algebraic calculations in general relativity" ACM SIGSAM Bulletin 17(3-4) (August-November 1983) 12-18 Abstract Online copy Extract: Introduction Extract: The Language
  • Krasniski et al (2000) Krasinski, A. and Perkowski, M. "The system Ortocartan - user’s manual" Fifth edition, Warszawa 2000.
  • Krasinski (2000) Krasinski, Andrzej "The newest release of the Ortocartan set of programs for algebraic calculations in relativity" Gen.Rel.Grav. 33 (2001) 145-161 Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder