OVCE (symbolický výpočetní systém) - SHEEP (symbolic computation system)

OVCE je jedním z prvních interaktivních symbolické výpočetní systémy. Specializuje se na výpočty s tenzory, a byl navržen pro potřeby výzkumných pracovníků pracujících s obecná relativita a další teorie zahrnující rozsáhlé výpočty tenzorového počtu.[1][2]

OVCE je freeware balíček (chráněný autorskými právy, ale zdarma pro vzdělávací a výzkumné účely).[3]

Jméno „OVCE“ je slovní hříčka Lisp algebraický manipulátor nebo LAM na kterém je ovce založena. Balíček napsal Inge Frick s využitím dřívější práce Iana Cohena a Ray d'Inverno, který napsal ALAM - Atlas LISP Algebraic Manipulation in earlier (designed in 1970).[4][5] OVCE byl interaktivní počítačový balíček, zatímco LAM a ALAM byly dávkové zpracování jazyky.[6]

Jan E. man napsal do OVCE důležitý balíček k provedení Algoritmus Cartan-Karlhede. Novější verze OVCE, kterou napsal Jim Skea, běží pod Cambridge Lisp, který se také používá pro SNÍŽIT.

Poznámky

  1. ^ FOLDOC položka pro OVCE
  2. ^ „Description at hopl.murdoch.edu.au“. Archivovány od originál dne 14.10.2009. Citováno 2009-12-26.
  3. ^ http://www.computeralgebra.nl/systemsoverview/special/tensoranalysis/sheep/sheep.ps.gz
  4. ^ Vstup na hopl.murdoch.edu.au Archivováno 11.03.2011 na Wayback Machine
  5. ^ Popis na hopl.murdoch.edu.au Archivováno 2008-08-19 na Wayback Machine
  6. ^ Interakce s OVCE R. A. D'inverna a I. Fricka, Obecná relativita a gravitace, svazek 14, číslo 10, říjen 1982

Viz také

externí odkazy