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 the MKM conference proceedings. They also feel that they might make great use of computer algebra systems or other mathematics-oriented programs to assist in their activities. So it is potentially a 2-way street.
You might do some research and see if you can find a particularly pithy and more-detailed version of what I outlined above. RJF > -Keshav > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
