Gaisi Takeuti

About

Gaisi Takeuti is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Mathematical Physics. According to data from OpenAlex, Gaisi Takeuti has authored 68 papers receiving a total of 941 indexed citations (citations by other indexed papers that have themselves been cited), including 35 papers in Computational Theory and Mathematics, 25 papers in Artificial Intelligence and 14 papers in Mathematical Physics. Recurrent topics in Gaisi Takeuti’s work include Logic, programming, and type systems (22 papers), Logic, Reasoning, and Knowledge (20 papers) and Computability, Logic, AI Algorithms (19 papers). Gaisi Takeuti is often cited by papers focused on Logic, programming, and type systems (22 papers), Logic, Reasoning, and Knowledge (20 papers) and Computability, Logic, AI Algorithms (19 papers). Gaisi Takeuti collaborates with scholars based in United States, Ghana and Japan. Gaisi Takeuti's co-authors include Satoko Titani, Akiko Kino, Jan Krajı́ček, Pavel Pudlák and Robert I. Soare and has published in prestigious journals such as Annals of Mathematics, Lecture notes in mathematics and American Mathematical Monthly.

In The Last Decade

Fields of papers citing papers by Gaisi Takeuti

Since Specialization

EngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics

This network shows the specialization of papers citing the papers produced by Gaisi Takeuti. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Gaisi Takeuti may publish in the future.

Countries citing papers authored by Gaisi Takeuti

Since Specialization

Citations

This map shows the geographic impact of Gaisi Takeuti's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Gaisi Takeuti with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Gaisi Takeuti more than expected).

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by P.G. Laye Breakdown of academic impact, for papers by Hong Xiao Breakdown of academic impact, for papers by Mamta Garg Breakdown of academic impact, for papers by Qi Sun Breakdown of academic impact, for papers by Il Soon Hwang Breakdown of academic impact, for papers by Bianca Pane Breakdown of academic impact, for papers by Miki Asano Breakdown of academic impact, for papers by Hannes Uecker