:
Artificial Intelligence and Symbolic Computation (AISC)
Co-Chairs: John A. Campbell, Jacques Carette
Calculemus
Chair: Gabriel Dos Reis
Digital Mathematical Libraries (DML)
Chair: Petr Sojka
Mathematical Knowledge Management (MKM)
Chair: Makarius Wenzel
Systems and Projects
Chair: Volker Sorge
Proof Checking in Isabelle/Isar
Andrea Asperti, Wilmer Riccioti, Claudio Sacerdoti
Coen, Enrico Tassi. A New Type for Tactics
12:10-13:40 Lunch
13:40-14:40 Invited tutorial (Session Chair:)
Gabriel Dos Reis. OpenAxiom: A Categorial
On Sat, May 23, 2009 at 9:25 PM, William Stein wrote:
> For me rings always have both 1 and 0.
> I would call a "ring without 1" an algebra.
It is common terminology to call a `Ring without 1' a Rng.
I'm usually not a fan of Wikipedia as reference, but here you go
http://en.wikipedia.org/wiki/
On Sat, May 23, 2009 at 9:25 PM, William Stein wrote:
>
> On 5/23/09, Nicolas M. Thiery wrote:
>>
>> Dear Sage developers,
>>
>> The point below was discussed during Sage Days 15,
>>
>> On Sun, Nov 09, 2008 at 04:31:52PM +0100, Nicolas Thiéry wrote:
>>>
>>> ... About naming conventions for
2009 and presents her or his paper.
Accepted papers will appear in the ACM Digital Library.
Links
* http://plmms09.cse.tamu.edu/, the PLMMS 2009 workshop web site
* http://tphols.in.tum.de/, the THOPLs 2009 conference web site
Program Committee
* Clemens Ballarin, aicas GmbH
* Ga
M Digital Library.
Links
* http://plmms09.cse.tamu.edu/, the PLMMS 2009 workshop web site
* http://tphols.in.tum.de/, the THOPLs 2009 conference web site
Program Committee
* Clemens Ballarin, aicas GmbH
* Gabriel Dos Reis, Texas A&M University (Co-Chair)
* Jean-Christophe Filliat
On Mon, Dec 29, 2008 at 11:19 AM, mabshoff wrote:
> Sigh, when will SUSE learn? They have shipped crap compilers (read:
> their own patched mess or prerelease snapshots) since way before the
> days of SuSE 9.0 (half a decade ago IIRC) when their decision to ship
> pre release compilers finally c
On Thu, Apr 24, 2008 at 3:00 PM, root <[EMAIL PROTECTED]> wrote:
>
> I don't think that Axiom's solution can work for Sage because
> Axiom is a strongly typed language. But it does highlight at
> least one other point in the space of design decisions.
`argument dependent name lookup' (which i
On Thu, Apr 24, 2008 at 8:49 AM, Franco Saliola <[EMAIL PROTECTED]> wrote:
>
> On Thu, Apr 24, 2008 at 4:00 AM, John Cremona <[EMAIL PROTECTED]> wrote:
> >
> > 2008/4/24 William Stein <[EMAIL PROTECTED]>:
> >
> > >
> > > On Wed, Apr 23, 2008 at 1:42 PM, Franco Saliola <[EMAIL PROTECTED]>
On Tue, Apr 22, 2008 at 6:50 PM, mabshoff
<[EMAIL PROTECTED]> wrote:
>
> I don't want this discussion to go out of hand [too late], but
> ultimately this is all about what is best for the Sage project. And my
> opinion there counts a whole lot more in that regard than yours, just
> as my opin
On Tue, Apr 22, 2008 at 4:25 PM, root <[EMAIL PROTECTED]> wrote:
> I know you don't care about lisp and that's fine. And I know you've
> encountered problems with lisp builds. And we both know that when
> someone encounters problems with open source tools it is expected
> behavior to post bug
On Tue, Apr 22, 2008 at 9:35 AM, Robert Dodier <[EMAIL PROTECTED]> wrote:
> > There is no point in beating the dead horse that is gcl.
>
> It has been proposed more than once on the Maxima mailing
> list to drop GCL. The main issue is that GCL runs on Windows
> and some other Lisps of interes
On Tue, Apr 22, 2008 at 8:12 AM, William Stein <[EMAIL PROTECTED]> wrote:
>
>
> On Tue, Apr 22, 2008 at 5:32 AM, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote:
> >
> > On Tue, Apr 22, 2008 at 2:39 AM, mabshoff
> > <[EMAIL PROTECTED]> wrote:
>
On Tue, Apr 22, 2008 at 2:39 AM, mabshoff
<[EMAIL PROTECTED]> wrote:
>
>
>
> On Apr 22, 9:15 am, "Alfredo Portes" <[EMAIL PROTECTED]> wrote:
> > On Tue, Apr 22, 2008 at 1:41 AM, mabshoff
>
> > <[EMAIL PROTECTED]>
>
> Hi,
>
>
> > > Well, I think NAG chose the "non-commercial only" license on p
On Tue, Apr 22, 2008 at 12:36 AM, Bill Page <[EMAIL PROTECTED]> wrote:
> The most recent branch 'Version_2_6_8pre' is what we normally use to
> build Axiom. There is a change about 4 months old. If I recall
> correctly 'Version_2_6_8pre' actually corresponds to the version
> distributed on De
On Mon, Apr 21, 2008 at 11:09 AM, root <[EMAIL PROTECTED]> wrote:
> GCL runs on windows although I have not spent any time on a
> windows port. Waldek has, so he might have an opinion.
Well, *I* spend considerable time making Axiom buildable
on Windows back when I was working
on Axiom.build-im
On Wed, Feb 20, 2008 at 4:26 PM, mabshoff
<[EMAIL PROTECTED]> wrote:
>
>
>
> On Feb 20, 11:09 pm, Harald Schilly <[EMAIL PROTECTED]> wrote:
> > http://it.slashdot.org/article.pl?sid=08/02/20/1852219
> >
> > sounds pretty familiar, doesn't it?
> >
> > h
>
> Yep, and the first sentence in the
17 matches
Mail list logo
