×
Edit Profile (opens in new tab)

Kobayashi, Munehiro

Co-Author Distance
Author ID: kobayashi.munehiro Recent zbMATH articles by "Kobayashi, Munehiro"
Published as: Kobayashi, Munehiro
Documents Indexed: 13 Publications since 1982
Co-Authors: 9 Co-Authors with 4 Joint Publications
58 Co-Co-Authors
all top 5

Co-Authors

3 single-authored
4 Capri, Anton Z.
3 Anai, Hirokazu
3 Iwane, Hidenao
3 Matsuzaki, Takuya
2 Arai, Noriko H.
2 Fukasaku, Ryoya
2 Kudo, Jumma
2 Lamb, David J. jun.
2 Zhan, Yiyang
1 Araki, Yoshikazu
1 Kuriyama, Takayuki
1 Takeuchi, Kota
1 Uetani, Koji
all top 5

Serials

4 Journal of Mathematical Physics
1 Modern Physics Letters A
1 Acta Mechanica
1 Classical and Quantum Gravity
1 Journal of the Mechanics and Physics of Solids
1 AI Communications
1 Journal of Physics A: Mathematical and General
1 Congressus Numerantium
all top 5

Fields

4 Computer science (68-XX)
4 Quantum theory (81-XX)
2 Ordinary differential equations (34-XX)
2 Differential geometry (53-XX)
2 Mechanics of deformable solids (74-XX)
2 Statistical mechanics, structure of matter (82-XX)
1 General and overarching topics; collections (00-XX)
1 Mathematical logic and foundations (03-XX)
1 Partial differential equations (35-XX)
1 Integral equations (45-XX)
1 Mechanics of particles and systems (70-XX)
1 Optics, electromagnetic theory (78-XX)
1 Relativity and gravitational theory (83-XX)
1 Mathematics education (97-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

6 Publications have been cited 9 times in 7 Documents Cited by ▼ Year ▼
Efficient subformula orders for real quantifier elimination of non-prenex formulas. Zbl 1460.68086
Kobayashi, Munehiro; Iwane, Hidenao; Matsuzaki, Takuya; Anai, Hirokazu
6
2016
A mechanical model with constraints. Zbl 0499.70029
Capri, A. Z.; Kobayashi, M.
4
1982
Method of solving the homogeneous Bloch equation. Zbl 1060.81064
Kobayashi, M.
2
2002
Two observers calculate the trace anomaly. Zbl 0848.53054
Capri, A. Z.; Kobayashi, M.; Lamb, D. J.
2
1996
Race against the teens – benchmarking mechanized math on pre-university problems. Zbl 1475.68459
Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H.
2
2016
Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems. Zbl 1462.68152
Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H.
1
2018
Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems. Zbl 1462.68152
Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H.
1
2018
Efficient subformula orders for real quantifier elimination of non-prenex formulas. Zbl 1460.68086
Kobayashi, Munehiro; Iwane, Hidenao; Matsuzaki, Takuya; Anai, Hirokazu
6
2016
Race against the teens – benchmarking mechanized math on pre-university problems. Zbl 1475.68459
Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H.
2
2016
Method of solving the homogeneous Bloch equation. Zbl 1060.81064
Kobayashi, M.
2
2002
Two observers calculate the trace anomaly. Zbl 0848.53054
Capri, A. Z.; Kobayashi, M.; Lamb, D. J.
2
1996
A mechanical model with constraints. Zbl 0499.70029
Capri, A. Z.; Kobayashi, M.
4
1982
all cited Publications top 5 cited Publications
all top 5

Cited by 21 Authors

3 England, Matthew
2 Anai, Hirokazu
2 Iwane, Hidenao
2 Matsuzaki, Takuya
1 Arai, Noriko H.
1 Bridge, James P.
1 Brown, Christopher W.
1 Cohen, Kelly
1 Davenport, James Harold
1 Daves, Glenn Christopher
1 del Río Almajano, Tereso
1 Florescu, Dorian
1 Fujita, Tomohiro
1 Fukasaku, Ryoya
1 Huang, Zongyan
1 Kobayashi, Munehiro
1 Kudo, Jumma
1 Paulson, Lawrence Charles
1 Pickering, Lynn
1 Wilson, David J.
1 Zhan, Yiyang

Cited in 3 Serials

1 Journal of Symbolic Computation
1 AI Communications
1 Mathematics in Computer Science

Cited in 5 Fields

7 Computer science (68-XX)
1 General and overarching topics; collections (00-XX)
1 Mathematical logic and foundations (03-XX)
1 Algebraic geometry (14-XX)
1 Statistics (62-XX)

Citations by Year