Harald,
I would be more than happy to participate in such a thing here in Wien!
Just let me know how can I help...
On 29 September 2013 16:41, Harald Schilly wrote:
> On Sun, Sep 29, 2013 at 1:44 PM, John Cremona
> wrote:
> > +Bristol perhaps. Yes, enough people. I'm not sure what such a gr
On Thursday, October 3, 2013 10:17:42 AM UTC-7, Keshav Kini wrote:
>
> rjf > writes:
> > On Monday, September 30, 2013 11:42:43 PM UTC-7, Keshav Kini wrote:
> > But as far as I know, Sage is not proof-aware in any way.
> >
> > Why would you necessarily know about this?
>
> I don't kn
john_perry_usm writes:
> On Tuesday, October 1, 2013 1:42:43 AM UTC-5, Keshav Kini wrote:
>
> But as far as I know, Sage is not proof-aware in any way. I've
> never
> heard theorem-proving people talk about making use of existing
> computer
> algebra systems and I can't imagin
rjf writes:
> On Monday, September 30, 2013 11:42:43 PM UTC-7, Keshav Kini wrote:
> But as far as I know, Sage is not proof-aware in any way.
>
> Why would you necessarily know about this?
I don't know, why would I?
> I am well aware
> that Maxima, a component of Sage, has been used to g
On Thursday, October 3, 2013 12:17:18 AM UTC-7, Dr. David Kirkby wrote:
> For what my department was
> doing, MATLAB was just as useful, and much more cost-effective.
>
Then obviously you should not be using mathematica. You might consider
using Octave which is similar to Matlab but free,
On 2 October 2013 05:42, john_perry_usm wrote:
> On Tuesday, October 1, 2013 1:42:
> He's shown off some pretty impressive stuff. If I could afford Mathematica
> (in terms of energy and time as well as money) I might be interested in
> learning about it.
It is expensive. Wolfram Research's prices
On Monday, September 30, 2013 11:42:43 PM UTC-7, Keshav Kini wrote:
>
>
>
> But as far as I know, Sage is not proof-aware in any way.
Why would you necessarily know about this? I am well aware
that Maxima, a component of Sage, has been used to generate proofs.
I assume it is not the only
On Tuesday, October 1, 2013 1:42:43 AM UTC-5, Keshav Kini wrote:
> But as far as I know, Sage is not proof-aware in any way. I've never
> heard theorem-proving people talk about making use of existing computer
> algebra systems and I can't imagine how they could be useful in the
> business of
Julien Puydt writes:
> Le 01/10/2013 08:42, Keshav Kini a écrit :
>> But as far as I know, Sage is not proof-aware in any way. I've never
>> heard theorem-proving people talk about making use of existing computer
>> algebra systems and I can't imagine how they could be useful in the
>> business
Le 01/10/2013 08:42, Keshav Kini a écrit :
> But as far as I know, Sage is not proof-aware in any way. I've never
> heard theorem-proving people talk about making use of existing computer
> algebra systems and I can't imagine how they could be useful in the
> business of well-founded theorem provi
rjf writes:
> On Sunday, September 29, 2013 9:53:07 AM UTC-7, Keshav Kini wrote:
>
>
>
> Could you elaborate on what relevance you see Sage having to
> truth
> maintenance and theorem proving?
>
>
> Typically the people who work in these areas feel that they have a
> great
On Sunday, September 29, 2013 9:53:07 AM UTC-7, Keshav Kini wrote:
>
>
>
> Could you elaborate on what relevance you see Sage having to truth
> maintenance and theorem proving?
>
> Typically the people who work in these areas feel that they have a great
deal to
offer to mathematicians. See th
On Monday, September 30, 2013 5:13:12 AM UTC-7, kcrisman wrote:
>
>
> Hi - I didn't see these responses, my RSS only updates now if there's a
> new *thread*, very annoying...
>
> There are several models for rationales for gatherings. It might pay to
>> distinguish among them.
>>
>
> Exactly.
On Monday, September 30, 2013 12:26:51 PM UTC-7, telugujoshi wrote:
>
> Just thought of a name for Sage user group - uSage.
>
Nice play on words. Also the similarity to "U-pick" orchards seems an
appropriate allusion to what using sage in the less polished areas often
feels like. Perhaps for th
On Friday, September 27, 2013 4:29:19 PM UTC-5, Harald Schilly wrote:
>
> On Friday, September 27, 2013 7:30:23 PM UTC+2, kcrisman wrote:
>>
>> Thoughts?
>>
>
> There exists this model of "user groups" with regular meetings. "Hello,
> I'm addicted to Sage for 1 1/2 years. Please help me with my
Hi - I didn't see these responses, my RSS only updates now if there's a new
*thread*, very annoying...
There are several models for rationales for gatherings. It might pay to
> distinguish among them.
>
Exactly. I have no problem with the idea of Sage user groups - the local R
user group is
rjf writes:
> 5. Assemblies of people who study large computer systems, parallel
> computing, software techniques for
> compilation, truth maintenance, theorem proving, etc ... in which
> Sage is some kind of example of a
> problem and solution which can be explained to others and others can
> off
There are several models for rationales for gatherings. It might pay to
distinguish among them.
1. Assemblies of people who are devoted to the advancement of the computer
software that is the
Sage "main line" of python code, used to glue together the collection of
other systems from which it
is
On Sun, Sep 29, 2013 at 1:44 PM, John Cremona wrote:
> +Bristol perhaps. Yes, enough people. I'm not sure what such a group
> is intended for or what it would do though.
I think I'll make an overview page in the next days.
@John: I have a broad experience with user groups, and I can tell you
On 29 September 2013 08:15, Dima Pasechnik wrote:
> On 2013-09-28, Harald Schilly wrote:
>>
>>
>> On Saturday, September 28, 2013 11:16:55 AM UTC+2, Thierry
>> (sage-googlesucks@xxx) wrote:
>>>
>>> On Fri, Sep 27, 2013 at 04:35:25PM -0700, Jean-Pierre Flori wrote:
>>> > Actually we're trying to r
On 2013-09-28, Harald Schilly wrote:
>
>
> On Saturday, September 28, 2013 11:16:55 AM UTC+2, Thierry
> (sage-googlesucks@xxx) wrote:
>>
>> On Fri, Sep 27, 2013 at 04:35:25PM -0700, Jean-Pierre Flori wrote:
>> > Actually we're trying to run a monthly Sage users meeting in Paris, ...
>>
>> More d
On Saturday, September 28, 2013 11:16:55 AM UTC+2, Thierry
(sage-googlesucks@xxx) wrote:
>
> On Fri, Sep 27, 2013 at 04:35:25PM -0700, Jean-Pierre Flori wrote:
> > Actually we're trying to run a monthly Sage users meeting in Paris, ...
>
> More details on http://wiki.sagemath.org/GroupeUtilisat
On Fri, Sep 27, 2013 at 04:35:25PM -0700, Jean-Pierre Flori wrote:
> Actually we're trying to run a monthly Sage users meeting in Paris,
> France, spanning over an afternoon, providing help for Sage installation, a
> general introduction to Sage, a thematic presentation and a coding/help
> sessi
On Friday, September 27, 2013 11:29:19 PM UTC+2, Harald Schilly wrote:
>
> On Friday, September 27, 2013 7:30:23 PM UTC+2, kcrisman wrote:
>>
>> Thoughts?
>>
>
> There exists this model of "user groups" with regular meetings. "Hello,
> I'm addicted to Sage for 1 1/2 years. Please help me with my
On Friday, September 27, 2013 7:30:23 PM UTC+2, kcrisman wrote:
>
> Thoughts?
>
There exists this model of "user groups" with regular meetings. "Hello, I'm
addicted to Sage for 1 1/2 years. Please help me with my integrals ... "
For "R", there is at least this long list:
http://blog.revolutionan
On Friday, September 27, 2013 12:59:30 PM UTC-4, William wrote:
>
> From somebody:
>
> "Does anyone know about workshops to train faculty to use/teach SAGE
> (ie uses related to the undergraduate course contents)? We are not
> able to afford the Mathematica site license (no help from other cam
26 matches
Mail list logo
