13 Citations
Novel Proofs for Summations in the Nisṛṣṭārthadūtī
- Mathematics
- 2017
Recent scholarly investigations have brought to light various mathematical proofs given by the astronomers and mathematicians of the Kerala school. However, not much is known regarding the proofs…
The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes
- Computer ScienceArXiv
- 2022
FASTFOOD is presented, a rule-based Natural Language Generation Program for cooking recipes which generates recipes by using an Automated Theorem Proving procedure to select the ingredients and instructions, with ingredients corresponding to axioms and instructions to implications.
Translating Sanskrit Mathematics
- Environmental ScienceAestimatio: Sources and Studies in the History of Science
- 2021
A discussion of Jean Michel Delire’s Les mathématiques de l’autel védique. Le Baudhāyana Śulbasūtra et son commentaire Śulbadīpikā.
Published Online (2021-04-30)Copyright © 2021 by Satyanad…
Influence Of 7 Sunnah Improves Higher Order Thinking Skills Of Indonesian Students In Mathematics
- Education
- 2021
The quality of mathematics education in Indonesia is of great concern. This is proven based on the survey results conducted by international survey institutions such as PISA and TIMSS and national…
What is “Technology”?
- Art
- 2015
A technician, reading works on philosophy of technology, usually has the impression that the authors do not have any idea what technology is and write about an imaginary entity. There are many…
Development of Calculus in India
- History
- 2010
In his pioneering history of calculus written sixty years ago, Carl Boyer was totally dismissive of the Indian contributions to the conceptual development of the subject.1 Boyer’s historical overview…
DEVELOPMENT OFCALCULUS IN INDIA
- Mathematics
- 2009
In this article we shall present an overview of the developme nt of calculus in Indian mathematical tradition. The article is divided natu r lly into two parts. In the first part we shall discuss the…
References
SHOWING 1-10 OF 38 REFERENCES
Pythagoras und die Inder : eine Untersuchung über Herkunft und Abstammung der pythagoreischen Lehren
- Philosophy
- 1884
A History of Chinese Mathematics
- Art
- 1996
The book is made up of two mutually explanatory parts, the first devoted to the general, historical and cultural background, and the second to the development of each subdiscipline that together…
The Calendar: The 5000 Year Struggle To Align The Clock and the Heavens, and What Happened To The Missing Ten Days
- History
- 1998
Measuring the daily and yearly cycle of the cosmos has never been entirely straightforward. The year 2000 is alternatively the year 2544 (Buddhist), 6236 (Ancient Egyptian), 5761 (Jewish) or simply…
Greek and Vedic Geometry
- Art
- 1999
L'A. du present article part d'abord du fait que la geometrie de l'Inde vedique et de la Grece antique etait fondee sur des rituels qui exigeaient que l'on change la taille et la forme des autels et…