| 1 |
--- George Shapovalov <george@g.o> wrote: |
| 2 |
|
| 3 |
> |
| 4 |
> So, right now I would like to ask for the feedback on the following: |
| 5 |
|
| 6 |
[snip - too far out of the loop right now to have a useful opinion :-(] |
| 7 |
|
| 8 |
> Q3) Not relevant to this restructuring, but always usefull: if you |
| 9 |
> know of some package that you think should really go under sci- |
| 10 |
> something, please let us know! |
| 11 |
|
| 12 |
Unfortunately I am not really in a good position to comment - my gentoo |
| 13 |
box (my only home computer) has been of the net for many months and I |
| 14 |
am so far behind on current trends it is scary. In the past I have |
| 15 |
been involved with the Maxima, Axiom, and BRL-CAD ebuilds. The latter |
| 16 |
should be in a sci-cad categorization if one doesn't exist yet (I know, |
| 17 |
I know - not much CAD on Linux. Still, I'd call it a very logical |
| 18 |
category. I think there are a couple more out there somewhere besides |
| 19 |
QCAD and BRL-CAD, and I think I may have even listed them somewhere... |
| 20 |
SALOME comes echoing back out of the mists to me as something that |
| 21 |
might be interesting.) As for Axiom and Maxima (along with the |
| 22 |
wxmaxima GUI) they belong in sci-symbolic or maybe sci-symbolicmath (I |
| 23 |
wish it could be sci-math-symbolic, which is also the google newsgroup |
| 24 |
name, but I'm sure that violates some naming rule). |
| 25 |
|
| 26 |
A general question I would like to put to the sci list - there exist a |
| 27 |
significant number of programs which might be catagorized as proof |
| 28 |
software (there are several subtypes) and are freely available. I have |
| 29 |
wanted to see these in Gentoo for quite a while (nor am I alone - I see |
| 30 |
a bug requesting the HOL theorem proof assistant from 2004) but I don't |
| 31 |
know if there even exists a category for this type of program. Would |
| 32 |
it be sci? Perhaps sci-computer? I think there have not been a flood |
| 33 |
of ebuilds for these programs because as a rule they tend to be |
| 34 |
difficult to build (for some reason they don't usually follow the |
| 35 |
normal configure-make-make_install procedure we all know and love) but |
| 36 |
they are exceedingly powerful and I think their inclusion in Gentoo |
| 37 |
would be a Good Thing. |
| 38 |
|
| 39 |
A particular focus of interest is Isabelle: |
| 40 |
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ |
| 41 |
|
| 42 |
I attempted to build this once but met with complete failure - perhaps |
| 43 |
after I get back on the net I can try to figure it out again. |
| 44 |
|
| 45 |
Cheers, |
| 46 |
CY |
| 47 |
|
| 48 |
__________________________________________________ |
| 49 |
Do You Yahoo!? |
| 50 |
Tired of spam? Yahoo! Mail has the best spam protection around |
| 51 |
http://mail.yahoo.com |
| 52 |
-- |
| 53 |
gentoo-science@g.o mailing list |
Archives