nongnu
›
Axiom
›
axiom-developer
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
Search
everywhere
in axiom-developer
Advanced Search
New Topic
People
1
2
3
4
5
6
7
...
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
1
2
3
4
5
6
7
...
104
Free forum by Nabble
Edit this page