Concept

Greek mathematics

Related publications (4)

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

Le "Fragmentum de inventionibus scientiarum" de Diego Palomino

Nouara Chekhar

The objective of this PhD thesis is the translation of, and the mathematical commentary on, a 16th-century Latin book. Its author, Diego Palomino is not well known. With a background in theology, he was a prior. In order to obtain his PhD at the University ...

EPFL2012

Étude d'un manuscrit de Ludwig Schläfli - Euklid. 2 Hefte

Rachel Bendjama Faller

The great Swiss mathematician Ludwig Schläfli (1814-1895) left after his death more than three hundred and fifty notebooks. They include mathematical studies and new results, as well as works about classical mathematical texts and a priori more surprising ...

EPFL2011

L'algèbre al-Badi d'al-Karagi

Christophe Hebeisen

This work contains the study of the algebra called al-Badī‘ fī al-ḥisāb (literally : "the Wonderful on calculation"), written by the Persian mathematician Abu Bakr Muḥammad ibn al-Ḥusain al-Karaǧi (previously known as ...

EPFL2009

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.