<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of halshs-00151013v2</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-24T11:55:18+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Dispelling mathematical doubts. Assessing the&lt;br /&gt;mathematical correctness of algorithms in Bhâskara's commentary on the mathematical chapter of the Âryabhatîya.</title>
            <author role="aut">
              <persName>
                <forename type="first">Agathe</forename>
                <surname>Keller</surname>
              </persName>
              <email type="md5">e084d3b2c51ce3e901107d3a0fad8993</email>
              <email type="domain">univ-paris-diderot.fr</email>
              <idno type="idhal" notation="string">agathe-keller</idno>
              <idno type="idhal" notation="numeric">11095</idno>
              <idno type="halauthorid" notation="string">16582-11095</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8473-3433</idno>
              <idno type="IDREF">https://www.idref.fr/083809996</idno>
              <affiliation ref="#struct-103"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Agathe</forename>
                <surname>Keller</surname>
              </persName>
              <email type="md5">e084d3b2c51ce3e901107d3a0fad8993</email>
              <email type="domain">univ-paris-diderot.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2007-06-01 13:18:09</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2008-01-21 12:53:08</date>
              <date type="whenWritten">2008-01</date>
              <date type="whenModified">2023-03-24 14:52:49</date>
              <date type="whenReleased">2008-01-21 15:05:45</date>
              <date type="whenProduced">2008-01</date>
              <date type="whenEndEmbargoed">2008-01-21</date>
              <ref type="file" target="https://shs.hal.science/halshs-00151013v2/document">
                <date notBefore="2008-01-21"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://shs.hal.science/halshs-00151013v2/file/ProofsinBAB.pdf" id="file-211271-64703">
                <date notBefore="2008-01-21"/>
              </ref>
            </edition>
            <edition n="v3">
              <date type="whenSubmitted">2009-08-14 11:35:02</date>
            </edition>
            <edition n="v4">
              <date type="whenSubmitted">2011-01-21 18:28:16</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="100321">
                <persName>
                  <forename>Agathe</forename>
                  <surname>Keller</surname>
                </persName>
                <email type="md5">e084d3b2c51ce3e901107d3a0fad8993</email>
                <email type="domain">univ-paris-diderot.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">halshs-00151013</idno>
            <idno type="halUri">https://shs.hal.science/halshs-00151013</idno>
            <idno type="halBibtex">keller:halshs-00151013</idno>
            <idno type="halRefHtml">2008</idno>
            <idno type="halRef">2008</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-211271-64703"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt/>
          <notesStmt>
            <note type="commentary">Issue d'une présentation faite en Mai 2002 dans un colloque autour de l'histoire et de l'historiographie de la preuve en mathématique. Version d'un article inclus dans un livre collectif edité par K. Chemla et soumis à Cambridge University Press.</note>
            <note type="audience" n="1">Not set</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Dispelling mathematical doubts. Assessing the&lt;br /&gt;mathematical correctness of algorithms in Bhâskara's commentary on the mathematical chapter of the Âryabhatîya.</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Agathe</forename>
                    <surname>Keller</surname>
                  </persName>
                  <email type="md5">e084d3b2c51ce3e901107d3a0fad8993</email>
                  <email type="domain">univ-paris-diderot.fr</email>
                  <idno type="idhal" notation="string">agathe-keller</idno>
                  <idno type="idhal" notation="numeric">11095</idno>
                  <idno type="halauthorid" notation="string">16582-11095</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8473-3433</idno>
                  <idno type="IDREF">https://www.idref.fr/083809996</idno>
                  <affiliation ref="#struct-103"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">History of mathematics in India</term>
                <term xml:lang="en">history of mathematical proofs</term>
                <term xml:lang="fr">Histoire des mathématiques en Inde</term>
                <term xml:lang="fr">Histoire des preuves mathématiques</term>
              </keywords>
              <classCode scheme="halDomain" n="shs.hist">Humanities and Social Sciences/History</classCode>
              <classCode scheme="halDomain" n="shs.hisphilso">Humanities and Social Sciences/History, Philosophy and Sociology of Sciences</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In the mathematical chapter of the Âryabhatîya, a&lt;br /&gt;Sanskrit astronomical treatise of the fifth century, Bhâskara&lt;br /&gt;(629 ad) established procedures for checking the&lt;br /&gt;computational accuracy and logical consistency of mathematical&lt;br /&gt;exercizes. Through the explanations, demonstrations and&lt;br /&gt;verifications of his commentary, Bhâskara endeavored to defend&lt;br /&gt;his interpretation of the procedures and their correctness. These&lt;br /&gt;unsystematic attempts at justification are often fragmentary and&lt;br /&gt;perhaps mere echoes of an activity carried out orally. Nonetheless,&lt;br /&gt;one of the modes for mathematically grounding a procedure was&lt;br /&gt;`re-interpretation' via the Rule of Three and the `Pythagorean Theorem'. &lt;br /&gt;Another mode of assessing the validity of a procedure was to &lt;br /&gt;establish an independant alternative procedure arriving at the same result.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Cet article analyse le vocabulaire et les raisonnements que Bhâskara (629 A. D.) utilise pour justifier les procédures exposées dans le chapitre mathématique de l'Âryabhatîya, un traité d'astronomie en Sanskrit du cinquième siècle. Nous verrons qu'expliquer, montrer et vérifier des procédures font partie de l'effort général du commentaire pour défendre son interprétation des procédures et leur exactitude. Ces tentatives sont nullement systématiques, et quand elles apparaissent, elles sont souvent fragmentaires comme si elles étaient effectuées oralement. Nous discuterons néanmoins, de la méthode qui consiste à relire un algorithme à l'aide d'une autre. Nous verrons que la règle de trois et le théorème de Pythagore ont une valeur spéciale dans ce contexte.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-103" status="OLD">
          <idno type="IdRef">029219965</idno>
          <idno type="RNSR">199712642J</idno>
          <orgName>Recherches Epistémologiques et Historiques sur les Sciences Exactes et les Institutions Scientifiques</orgName>
          <orgName type="acronym">REHSEIS (UMR_7596)</orgName>
          <date type="start">2000-01-01</date>
          <date type="end">2008-12-31</date>
          <desc>
            <address>
              <addrLine>UFR GHSS case7064 103, rue de Tolbiac - 75251 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.rehseis.cnrs.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300301" type="direct"/>
            <relation name="UMR7596" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300301" status="OLD">
          <idno type="IdRef">027542084</idno>
          <idno type="ISNI">0000000121514068</idno>
          <idno type="ROR">https://ror.org/02n7qrg46</idno>
          <orgName>Université Paris Diderot - Paris 7</orgName>
          <orgName type="acronym">UPD7</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>5 rue Thomas-Mann - 75205 Paris cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris-diderot.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>