Overall Objectives
Research Program
Application Domains
New Software and Platforms
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
 PDF e-Pub

## Section: New Software and Platforms

### apxproof

Keyword: LaTeX

Functional Description: apxproof is a LaTeX package facilitating the typesetting of research articles with proofs in appendix, a common practice in database theory and theoretical computer science in general. The appendix material is written in the LaTeX code along with the main text which it naturally complements, and it is automatically deferred. The package can automatically send proofs to the appendix, can repeat in the appendix the theorem environments stated in the main text, can section the appendix automatically based on the sectioning of the main text, and supports a separate bibliography for the appendix material.

Release Functional Description: Fix formatting of theorems (and proof sketches) to be faithful to the way they are formatted in the base document class (this will change some difference in the appearance of documents typset with earlier versions of apxproof), Configurable mainbodyrepeatedtheorem command to add some styling to repeated theorems, Allow using apxproof without bibunits (e.g., for biblatex compatibility), Restore predefined theorem counters, allowing more robust use of apxproof when the base document class predefines theorems.

News Of The Year: Major 1.2.0 release with a much more faithful rendering of theorems compared to the original base classes, bug fixes, compatibility enhancements (in particular, with respect to the use of biblatex or of fancyvrb).

• Participant: Pierre Senellart

• Contact: Pierre Senellart