fricas-hypertex

Source: fricas
Package: fricas-hypertex
Versions: fricas-hypertex (1.3.10-1), fricas-hypertex (1.3.10-1+b1), fricas-hypertex (1.3.10-2), fricas-hypertex (1.3.11-1), fricas-hypertex (1.3.11-2), fricas-hypertex (1.3.11-2+b1), fricas-hypertex (1.3.11-3), fricas-hypertex (1.3.11-4), fricas-hypertex (1.3.11-5), fricas-hypertex (1.3.11-5+b1), fricas-hypertex (1.3.12-1), fricas-hypertex (1.3.12-2), fricas-hypertex (1.3.13-1), fricas-hypertex (1.3.6-1), fricas-hypertex (1.3.6-2), fricas-hypertex (1.3.6-3), fricas-hypertex (1.3.6-4), fricas-hypertex (1.3.6-5), fricas-hypertex (1.3.6-6), fricas-hypertex (1.3.7-1), fricas-hypertex (1.3.7-2), fricas-hypertex (1.3.7-3), fricas-hypertex (1.3.7-4), fricas-hypertex (1.3.7-5), fricas-hypertex (1.3.8-1), fricas-hypertex (1.3.8-4), fricas-hypertex (1.3.8-5), fricas-hypertex (1.3.8-6), fricas-hypertex (1.3.8-7), fricas-hypertex (1.3.8-8)
Prioritize: 47
Description: General purpose computer algebra system: hypertex subsystem
 Fricas is useful for
 research and development of mathematical algorithms. It defines a
 strongly typed, mathematically correct type hierarchy. It has a
 programming language and a built-in compiler.
 .
 Fricas has been in development since 1973 and was sold as a
 commercial product. It has been released as free software.
 .
 Efforts are underway to extend this software to (a) develop a
 better user interface (b) make it useful as a teaching tool
 (c) develop an algebra server protocol (d) integrate additional
 mathematics (e) rebuild the algebra in a literate programming style
 (f) integrate logic programming (g) develop an Fricas Journal with
 refereed submissions.
 .
 This package contains the binaries for the hypertex subsystem.
 The programs in this package provide an interactive online help
 system describing the many fricas commands.

Description-it: sistema universale di algebra al computer: sottosistema hypertex
 Fricas è utile per la ricerca e lo sviluppo di algoritmi matematici.
 Definisce una gerarchia di tipi, rigorosa e matematicamente corretta. Ha un
 linguaggio di programmazione ed un compilatore incorporato.
 .
 Fricas è stato sviluppato sin dal 1973 ed è stato venduto come prodotto
 commerciale. È stato rilasciato come software libero.
 .
 Sono in corso sforzi per estendere questo software per (a) sviluppare
 un'interfaccia utente migliore; (b) renderlo utile come strumento di
 insegnamento; (c) sviluppare un protocollo server per l'algebra; (d)
 integrare matematica aggiuntiva; (e) ricostruire l'algebra in uno stile di
 programmazione documentato; (f) integrare la programmazione logica; (g)
 sviluppare un Fricas Journal con contributi sottoposti a revisione.
 .
 Questo pacchetto contiene i binari per il sottosistema hypertex. I
 programmi in questo pacchetto forniscono un sistema di guida in linea
 interattiva che descrive i molti comandi di Fricas.

c2b9e8e57e68a4f3ec57812ecd126f23 translated
11a5580f22abf24bbe0d069441dd5cf5 translated
05d2f2532c5330c96d847d1ab6710a42 translated
7dfeaae41c7754e0eed0f188f2a6a719 translated
aad77a310cda844ea0b525bd0feb58e3 translated