axiom-developer

This forum is an archive for the mailing list axiom-developer@nongnu.org (more options) Messages posted here will be sent to this mailing list.
Axiom Developers
1234567 ... 104
Topics (3638)
Replies Last Post Views
Why focus on education? by Tim Daly
0
by Tim Daly
axiom don't compile under slackware by Blatrix
0
by Blatrix
Proving Axiom Correct by Tim Daly
6
by Tim Daly
Axiom, COQ, and Proof General by Tim Daly
0
by Tim Daly
Proving Axiom Correct. COQ/Axiom type matching by Tim Daly
0
by Tim Daly
The QED Manifesto by Tim Daly
0
by Tim Daly
Towards a Semantic Language of Mathematics by Tim Daly
1
by Raymond Rogers-3
Proving Axiom Correct: Mathematical Components book by Tim Daly
0
by Tim Daly
Re: Clifford Algebra (Physics, Geometry, Algebra) by Tim Daly
1
by Martin Baker-3
Computational Math and Terence Tao's three stages of mathematics by Tim Daly
3
by Martin Baker-3
org.codehaus.stax2.StAXException missing in axiom-api:1.0 in org.apache.axiom.om.impl.stream.stax.StAXExceptionUtil by Martin Gainty
2
by Tatu Saloranta
Oral Tradition in Software Engineering by Tim Daly
0
by Tim Daly
[Category Theory] Lecture on Category Theory by Tim Daly
0
by Tim Daly
[quantum] Geometric Algebra by Tim Daly
3
by Arthur Ralfs
[quantum] Axiom's Quantum Computing implementation by Tim Daly
0
by Tim Daly
GCL on Fedora by Tim Daly
0
by Tim Daly
Latest Ubuntu compile fail by Lawrence Bottorff
0
by Lawrence Bottorff
Fedora build failure by Martin Irungu
2
by Tim Daly
Re: Axiom-developer Digest, Vol 155, Issue 1 by Jovan Trujillo
0
by Jovan Trujillo
Future research directions (Deep Neural Networks) by Tim Daly
0
by Tim Daly
Future research directions (Universal Numbers) by Tim Daly
0
by Tim Daly
Future research directions (Quantum Computing) by Tim Daly
0
by Tim Daly
Best reason to document code... by Tim Daly
0
by Tim Daly
Re: Comp failed by Tim Daly
2
by Kurt Pagani
Axiom 2016 / 30 Year Horizon "State of the Union" review by Tim Daly
3
by Kurt Pagani
Dictionary of Algorithms... contributions? by Tim Daly
1
by Black, Paul E. (Fed)
Re: The purpose of GCL by Tim Daly
0
by Tim Daly
Problem building Axiom by Malcolm MacCallum
1
by Tim Daly
Proving Axiom correct, derivations, and CAD by Tim Daly
1
by Camm Maguire-2
Design of Semantic Latex by Tim Daly
6
by Tim Daly
Buchberger Jenks Award? by Tim Daly
1
by Ilias Kotsireas
Twenty Pieces of Advice for a Young (and also not so young) Mathematician by Tim Daly
0
by Tim Daly
Design Thoughts on Semantic Latex (SELATEX) by Tim Daly
16
by Tim Daly
Design Thoughts on Semantic Latex (SELATEX) by Tim Daly
0
by Tim Daly
Semantic Latex by Tim Daly
3
by Tim Daly
1234567 ... 104