axiom-developer
[
Top
][
All Lists
]
Advanced
[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
[Axiom-developer] The QED Manifesto
From
:
Tim Daly
Subject
:
[Axiom-developer] The QED Manifesto
Date
:
Sat, 22 Dec 2018 17:14:35 -0500
Computerized Mathematics
http://www.cs.ru.nl/~freek/qed/qed.html
reply via email to
[Prev in Thread]
Current Thread
[Next in Thread]
[Axiom-developer] The QED Manifesto
,
Tim Daly
<=
Prev by Date:
[Axiom-developer] PLOS Rules for documenting scientific software
Next by Date:
[Axiom-developer] QED Manifesto and Symbolic Algebra
Previous by thread:
[Axiom-developer] PLOS Rules for documenting scientific software
Next by thread:
[Axiom-developer] QED Manifesto and Symbolic Algebra
Index(es):
Date
Thread