I appreciate that questions about where to submit are generally considered off-topic, but I hope that the unusual features of the present case may make it acceptable.
- It is 159 pages long, corresponding to about 15000 lines of LaTeX, mostly written in the traditional style with definitions, theorems and proofs.
- There are about 30000 lines of associated Maple code. Anyone who wants to engage in a serious way with the monograph will probably want to download this code.
- A large fraction of the Maple code is used for semi-formal verification of proofs in the LaTeX document. The project has a fairly systematic framework for this; it does not reach the same level of rigour as could be achieved with a proof assistant such as Coq or Isabelle, but it goes a long way in that direction.
- Another large fraction of the Maple code implements a network of related numerical algorithms.
- Documentation for the Maple code is provided as a family of HTML pages (visible from the URL above) with links between them.
- There are many coloured diagrams in the monograph, and colour is also used to distinguish between different kinds of text. None of this is strictly essential for understanding, but it is certainly useful.
Can anyone suggest a good home where this work could be formally published?