Skip to content

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

26 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.

Documents

Warning

The currently available material is unfinished.

At the moment, the following are the included documents:

  • Selected problems from the entrance examinations at Mekhmat in Moscow State University, in the years 1979, 1982, 1986.
  • Handwritten notebooks by Tanya Khovanova, from the Soviet Union's 1975 IMO preparation camp.

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 are not provided due to failing to compile.

Selected problems from the entrance examinations at Mekhmat in Moscow State University, in the years 1979, 1982, 1986.

It is unclear whether the problems collected in these documents are from the oral examinations, from the written examinations, or from both, and it is unclear whether they are all coffin problems.
The documents mention that candidates were given no more than 20 minutes to solve each problem; but the 1986 document mentions at problem 12 that "at the written exam at MIPT, where this problem was proposed, five hours were given to solve four problems": it is unclear if this comment is supposed to mean the the same problem was also given in MITP at the written exam, while proposed at the oral exam in MSU.


Original Transcription Translation
PDF EPUB MathML EPUB SVG PDF EPUB MathML EPUB SVG
zadachi-1979 Here (archive) Download (Not yet available) (Not yet available) Download (Not yet available) (Not yet available)
zadachi-1982 Here (archive) Download (Not yet available) (Not yet available) Download (Not yet available) (Not yet available)
zadachi-1986 Here (archive) Download (Not yet available) (Not yet available) Download (Not yet available) (Not yet available)

Tanya Khovanova's notebooks from 1975 IMO training camp

At the 1975 training camp for Soviet Union's team for the International Mathematical Olympiad, Valery Senderov asked the students for help in solving a collection of coffin problems.
The following are Tanya Khovanova's notebooks about the coffin problems from that camp:

  • khovanova-notes consists of some loose pages.
  • khovanova-notebook-1 is a notebook containing problems and some solution attempts; many of the problems are the same as the previous ones, but there are some differences.
  • khovanova-notebook-2 contains the solution, or attempts, to the first 44 problems from the previous notebook.

Original Transcription Translation
PDF EPUB MathML EPUB SVG PDF EPUB MathML EPUB SVG
khovanova-notes Here Download (Not yet available) (Not yet available) Download (Not yet available) (Not yet available)
khovanova-notebook-1 Here Download (Not yet available) (Not yet available) Download (Not yet available) (Not yet available)
khovanova-notebook-2 Here Download (Not yet available) (Not yet available) Download (Not yet available) (Not yet available)

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.

Note

The references are also available in bib format in the file references.bib

Additional references

These are additional resources for a more complete historical overview.

Note

They are also listed in bib format in the file further_reading.bib.

User discussions

Relevant user discussions and forum posts.

Note

These are also listed in bib format in the file discussions.bib.

About

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

Topics

Resources

Contributing

Stars

Watchers

Forks

Releases

Contributors

Languages