Concepedia

Temur Kutsia

TK

Statistics

Publications

13

Citations

351

H-Index

10

Active since

2005

Affiliations

Johannes Kepler University of Linz(Current)

Universitat de Girona

Artificial Intelligence Research Institute

Temur Kutsia is an author at Johannes Kepler University of Linz specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationMathematical ProgrammingSemanticsProgram AnalysisKnowledge DiscoveryComputational Linguistics

Publications per year

2005–2023

13

Publications

13

Theorema: Towards computer-aided mathematical theory exploration

Bruno Buchberger, Adrian Crăciun, Tudor Jebelean et al. · Journal of Applied Logic · 2005 · 129 citations

Mathematical Programming, Engineering, Automated Reasoning +3

Theorema 2.0: Computer-Assisted Natural-Style Mathematics

Bruno Buchberger, Tudor Jebelean, Temur Kutsia et al. · SHILAP Revista de lepidopterología · 2014 · 35 citations · Full text

Qed Manifesto, Engineering, Automated Reasoning +12

Solving equations with sequence variables and sequence functions

Temur Kutsia · Journal of Symbolic Computation · 2007 · 32 citations

Sequence Design, Nonlinear Equation, Sequence Variables +1

Foundations of the rule-based system ρLog

Mircea Marin, Temur Kutsia · Journal of Applied Non-Classical Logics · 2006 · 30 citations

Mathematical Programming, Engineering, Rule-based Programming +17

Anti-unification for Unranked Terms and Hedges

Temur Kutsia, Jordi Levy, Mateu Villaret · Journal of Automated Reasoning · 2013 · 29 citations · Full text

Mathematical Programming, Engineering, Computational Complexity +19

1–5 of 13