Skip to content

coffinproblems/resources

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Coffin resources

The purpose of this repository is to preserve, translate, and digitise the documents and references that pertain to the "Coffin problems".

It serves to aid in the work of cataloguing such mathematical problems, which is carried out in the repository coffins.

Status

Work is at a very early stage.

Download

Warning

The currently available material is unfinished.

Downloads are available in these formats:

  • PDF: PDF document
  • EPUB MathML: reflowable ebook, with math content in MathML format;
  • EPUB SVG: reflowable ebook, with math content rendered as SVG;

Note

At the moment, EPUB files with MathML are very poorly formatted, and those with SVG have some formatting issues.

PDF EPUB MathML EPUB SVG
zadachi-1979 Download Download Download
zadachi-1982 Download Download Download
zadachi-1986 Download Download Download

Contributing

More details are provided in CONTRIBUTING.md.

Here is a non-exhaustive list of ways to contribute:

  • provide additional documents and sources to be digitised or translated (this also includes resources that are already available in multiple formats and/or multiple languages, since sometimes each version carries meaningful differences);
  • help faithfully translating Russian documents to English (even those that have an English version available, since in some cases there are differences);
  • submit scans of documents that are not otherwise available online, or better scans of documents than those that are currently available;
  • help accurately digitising the documents listed here;
  • help faithfully translating the documents listed here;
  • report errors, inaccuracies, etc;
  • suggest improvements to the transcriptions, translations, etc;
  • suggest possible improvements to the LaTeX source code;
  • sift through the cited references to see if there are mentioned other resources.
  • help to identify other sources, perhaps not available online but stored in University archives.
  • get access to original physical documents.
  • help contacting people that might be able to help further in any way.

See CONTRIBUTING.md for more details.

Building

Requirements

The documents are typeset in LaTeX, and can be generated from the source code with any TeX distribution.

Generate PDF

To generate the PDF file of a specific document, navigate to its directory and run the following command from within that directory:

latexmk main.tex

The resulting file is placed in the output directory, and the intermediate auxiliary files are placed in the build directory.

TeX engines

Compilation is possible with the pdfLaTeX and LuaLaTeX compilation engines; the engine used by default is LuaLaTeX.

To compile with pdfLaTeX, set the -pdflatex option when running latexmk:

latexmk -pdflatex main.tex

or change $pdf_mode = 4 to $pdf_mode = 1 in the latexmkrc file.

Generate ebook

Warning

Ebook generation is currently not reliable.

Note

It is recommended to have tidy installed.

For generating an ebook in EPUB3 format, run this command from within the directory of the desired document:

tex4ebook -B ../build_epub3 -d ../output -f epub3 main.tex mathml

This generates the document in EPUB version 3, with mathematical notation encoded in the MathML format.

Important

The MathML-encoded results are currently broken: the generated documents have incomplete formulas, and messed up text and formatting.
Encoding Maths content as svg or png produces more usable results, though some issues persist.

For SVG Maths, use this command:

tex4ebook -B ../build_ebook_svg -d ../output -f epub main.tex svg

For PNG Maths, use this command:

tex4ebook -B ../build_ebook_png -d ../output -f epub main.tex png

Note

The epub option in the above two commands can be replaced by any format among epub, epub3, mobi, azw, azw3; but in order to generate ebooks in mobi, azw and azw3 formats, calibre needs to be installed, because tex4ebook uses the command ebook-convert, provided by calibre.

Note

The commands described above use PDFTeX as engine. Compilation with LuaTeX is currently not working.
In any case, to use LuaTeX as engine anyway, use tex4ebook -l in place of tex4ebook in the commands.

Reproducible builds

PDF builds are reproducible.
In order to reproduce a PDF build, use the same TeX distribution, version, and engine as the target file, set the environment variable SOURCE_DATE_EPOCH to match that of the target build (and consider setting FORCE_SOURCE_DATE=1 too), and use the same -jobname as the target:

SOURCE_DATE_EPOCH=0 FORCE_SOURCE_DATE=1 latexmk main.tex -jobname="jobname"

All the required parameters can be found here.

PDF standards compliance

The PDF files are conformant with the PDF/A-4f standard, and the accessibility standards PDF/UA-2 and WTPDF-1.0 (Well-Tagged PDF); their PDF version is PDF 2.0.

When building the project from source, by default the standard is set to PDF/A-2u, with PDF version PDF 1.7.

For building PDFs satisfying the other standards (PDF/A-4f, PDF/UA-2, WTPDF-1.0, PDF 2.0) compile with this command:

latexmk -g -usepretex='\def\TAGPDF{}' main.tex

Note

A TeX distribution version from 2025 or later is required for this. Additionally, compilation needs to be performed with LuaLaTeX (not with PDFLaTeX).

It is also possible to build PDF files satisfying the PDF/A-3a standard and the accessibility standard PDF/UA-1, under PDF version PDF 1.7; to do so, compile with this command:

latexmk -g -usepretex='\def\PDFAA{}' main.tex

Note

A TeX distribution version from 2025 or later is required for this. Additionally, compilation needs to be performed with LuaLaTeX (not with PDFLaTeX).

Compliance validation

Verifying that a PDF file is conformant to certain PDF standards can be done with VeraPDF, either online at https://demo.verapdf.org/, or locally. To test a PDF file locally, run the following command (note that it requires VeraPDF to be installed):

verapdf --flavour 0 --format text path/to/file.pdf

Contact

The project can be contacted at:

License

This work focuses on preserving, translating, and digitising existing documents for better accessibility.
Each document's copyright belongs to its original authors and copyright holders.
All documents made available here are already freely publicly available in their original forms from the documented references.

References

Below is the list of resources.

User discussions

Relevant user discussions and forum posts.

About

Digitisations and translations of (some) documents, references, and other resources related to the "coffin problems"

Topics

Resources

Contributing

Stars

Watchers

Forks

Releases

No releases published

Contributors