Miguel, can you add the project to the wiki page (or tell me the
information here), even if it is not fully prepared? It will help increase
our chances of being selected for GSoC again.
For everyone, there is a new 90 hour option for GSoC project lengths this
year.
Best,
Travis
On Monday,
On Sunday, February 11, 2024 at 7:10:59 AM UTC-8 mmarco wrote:
if i understand what you mean correctly, 1) would go along making it easier
from the sage part to implement tactics like polyrith (which right now
calls the sagecell server to prove equalities between expressions using
groebner
So, if i understand what you mean correctly, 1) would go along making it
easier from the sage part to implement tactics like polyrith (which right
now calls the sagecell server to prove equalities between expressions using
groebner basis)?
That sounds very nice. In particular I would like to
Hi Miguel,
There's of course a large scope of work that can be meaningful. I'll just
mention two directions, but I'll be happy to have a broader and/or more
detailed conversation.
1. For interactive proof assistants/theorem provers such as LEAN, it can be
powerful to make CAS capabilities
One question, Matthias: I see that you have proposed a project involving
integration with proof assistants/theorem provers. Just out of curiosity:
how do you envision such integration?
El martes, 6 de febrero de 2024 a las 6:56:44 UTC+1, Matthias Koeppe
escribió:
> Great, thanks a lot,
Great, thanks a lot, Travis, also for taking on the role of the GSoC admin
for another year!
On Monday, February 5, 2024 at 9:55:25 PM UTC-8 Travis Scrimshaw wrote:
> Hi everyone,
>I have submitted the application.
>
> However, we can continue to add projects (and mentors) at any point. So
Hi everyone,
I have submitted the application.
However, we can continue to add projects (and mentors) at any point. So if
you are interested or have any features that you want to request, please
either add it to the wiki page, post it here, or email me.
Best,
Travis
On Tuesday, February
Hi Linden,
Thank you. I added the project at the "standard" length 350 hours.
Best,
Travis
On Monday, February 5, 2024 at 7:24:38 PM UTC+9 Linden Disney wrote:
> I have a proposal for a project I would be willing to mentor (detailed
> below for completeness), but I'm unsure about how best
I have a proposal for a project I would be willing to mentor (detailed
below for completeness), but I'm unsure about how best to estimate the
length (I did GSoC 2021 but estimates of length weren't around then). The
initial coding would not be too challenging, but the mathematical research
I have added it. (For reference on editing the pages, you login using your
trac credentials from the upper left corner.)
Best,
Travis
On Monday, February 5, 2024 at 5:38:52 AM UTC+9 Martin R wrote:
> I would like to propose the exact same project I had for last year again,
> but I am
I would like to propose the exact same project I had for last year again,
but I am currently at a conference and additionally don't see how I could
edit the page.
Martin
On Sunday 4 February 2024 at 05:19:17 UTC+1 Travis Scrimshaw wrote:
> Sorry for the multiple messages.
>
> For potential
Sorry for the multiple messages.
For potential mentors, there is no commitment required at this time.
You can also decide later to add a project and/or be a mentor.
Best,
Travis
On Sunday, February 4, 2024 at 1:17:54 PM UTC+9 Travis Scrimshaw wrote:
> For the potential projects, you can
For the potential projects, you can either edit the corresponding wiki page
in Matthias's link or directly post them here (you do not need to be the
mentor).
Also, I would like to have a list of potential mentors. Any SageMath
developer can be a mentor for a GSoC project; so if you are willing
Thank you for doing that. I updated my projects and removed all of those
with named mentors as they have not agreed at present (AFAIK) to be a
potential mentor.
I was expecting to be the main administrator for GSoC again this year. We
will discuss this on the mentors list.
For the proposal,
14 matches
Mail list logo
