Vu Xuan Tung

Nhà nghiên cứu Hồ sơ 6/10

Trường Đại học Công nghiệp Hà Nội · Toán học

7 công bố · 60 trích dẫn · h-index 5

Thông tin

🏛️Nơi công tác: Trường Đại học Công nghiệp Hà Nội
🔬Lĩnh vực: Toán học
🆔ORCID: 0000-0002-2239-6574
✍️Hồ sơ chưa đầy đủ — bổ sung thông tin

Chỉ số h-index 5 xếp học giả này vào lĩnh vực Toán học, thuộc nhóm 25% dẫn đầu trong 1.789 hồ sơ cùng lĩnh vực của danh bạ này.

Công bố tiêu biểu

Subtropical Satisfiability15 trích dẫn
Lecture notes in computer science · 2017 · DOI

raSAT: An SMT Solver for Polynomial Constraints15 trích dẫn
Lecture notes in computer science · 2016 · DOI

raSAT: an SMT solver for polynomial constraints15 trích dẫn
Formal Methods in System Design · 2017 · DOI

Frontiers of Combining Systems6 trích dẫn
Lecture notes in computer science · 2017 · DOI

Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT5 trích dẫn
MPG.PuRe (Max Planck Society) · 2018

Semantic Parsing for Vietnamese Question Answering System4 trích dẫn
· 2015 · DOI

Building an image processing program for the vehicle fire control system
The Transport and Communications Science Journal · 2024 · DOI

Về lĩnh vực Toán học

1.789học giả

30.127công bố

381.053trích dẫn

4.2h-index trung bình

Hướng nghiên cứu phổ biến trong lĩnh vực:

Composite Structure Analysis and OptimizationAdvanced machining processes and optimizationAdvanced Mathematical Modeling in EngineeringOptimization and Variational AnalysisNonlinear Differential Equations AnalysisStability and Controllability of Differential Equations

Nơi có nhiều học giả lĩnh vực này nhất: