Sorin Vlase | Applied Mathematics | Excellence in Applied Mathematics

Prof. Sorin Vlase | Applied Mathematics | Excellence in Applied Mathematics

Professor at Transilvania University of Brasov, Romania

Prof. Sorin Vlase is a distinguished researcher and full professor at Transilvania University of Brasov, Romania, specializing in Mechanics, Computational Mechanics, Finite Element Method, and Multibody Systems. With an academic career spanning nearly five decades, he has made significant contributions to mechanical engineering and applied mathematics. He has served as the head of multiple departments, organized prestigious international awards, and led over 15 scientific projects while participating in more than 50. His extensive publication record includes 244 ISI-indexed papers, 21 books, and numerous award proceedings. He has played a key role in advancing computational mechanics, composite materials, and automotive engineering, securing national and international research grants, including NATO-funded projects. His expertise is recognized through his editorial contributions, scientific committee memberships, and honorary professor titles. Prof. Vlase’s work continues to impact the global research community, making him a strong candidate for recognition as a leading researcher in his field.

Professional Profile 

Google Scholar
ORCID Profile

Education

Prof. Sorin Vlase has a strong academic background in mechanical engineering and applied mathematics. He earned his B.Sc. and M.Sc. in Mechanical Engineering with a specialization in Automotive Engineering from Transilvania University of Brasov (1971–1976). In addition, he pursued a degree in mathematics from the University of Bucharest (1977–1982), further strengthening his analytical expertise. He obtained his Ph.D. from Transilvania University of Brasov in 1989, focusing on advanced computational mechanics. His academic journey culminated in a Habilitation in Automotive Engineering in 2015, allowing him to mentor doctoral students. His multidisciplinary education has played a crucial role in shaping his expertise in mechanics, computational analysis, and finite element methods, making him a highly respected scholar in his field. Throughout his academic career, he has been associated with Transilvania University, significantly contributing to its research and educational framework through his teaching, mentorship, and leadership in various scientific projects.

Professional Experience

Prof. Vlase has had an extensive professional career, primarily at Transilvania University of Brasov, where he has been a faculty member since 1980. His career progression includes roles as an Assistant Professor (1980–1984), Lecturer (1984–1991), Associate Professor (1991–1996), and Full Professor (1996–present). He also served as the Head of the Department of Mechanics (2004–2011), Head of the Department of Automotive Engineering and Mechanics (2011–2012), and Head of the Department of Mechanical Engineering (2012–2020). Prior to joining academia, he worked as a research engineer at the Automotive Research Institute and ROMAN SA Brasov (1976–1980), gaining valuable industry experience. His expertise spans mechanical stability, numerical methods, kinematics, and dynamics of multibody systems. Additionally, he has organized numerous international awards and contributed to over 50 scientific projects, demonstrating his leadership and commitment to advancing mechanical engineering and applied sciences.

Research Interests

Prof. Vlase’s research is centered on Mechanics, Computational Mechanics, Finite Element Method, Vibrations, and Multibody Systems. His interdisciplinary approach integrates mathematical modeling, numerical simulations, and experimental mechanics, with applications in automotive engineering and composite materials. He has made significant contributions to computational analysis, particularly in the dynamic behavior of mechanical structures. His work also explores nonlinear analysis, virtual prototyping, and the optimization of mechanical systems. His research extends to white noise in urban environments and mechanical identifiability in automotive engineering, reflecting his ability to bridge theoretical research with real-world applications. His leadership in national and international research grants, including NATO-funded projects, underscores his influence in the field. Through his extensive publication record, including books, journal articles, and award proceedings, he continues to contribute to the development of cutting-edge technologies in engineering and applied mechanics.

Awards and Honors

Prof. Sorin Vlase has been widely recognized for his contributions to mechanical engineering and computational mechanics. He has received numerous accolades for his research, teaching, and leadership in the scientific community. He was awarded an Honorary Professorship at Ovidius University in Constanta, a testament to his influence in academia. He has served as an editor for 15 scientific publications and has been a key organizer of several prestigious international awards, including the Computational Mechanics and Virtual Engineering (COMEC) series and the Advanced Composite Materials Engineering (COMAT) awards. His research excellence has been acknowledged through multiple national and international grants, including NATO-sponsored projects. His role as a principal investigator in over 15 projects and a participant in more than 50 research initiatives further highlights his impact. Prof. Vlase’s commitment to advancing the field of mechanics has earned him a distinguished reputation in the global academic community.

Conclusion

Prof. Sorin Vlase is a highly accomplished researcher, educator, and leader in the fields of mechanics, computational analysis, and automotive engineering. His academic journey, spanning decades, has been marked by significant contributions to research, teaching, and scientific collaboration. With over 244 ISI-indexed papers, 21 books, and leadership in numerous research projects, he has left a lasting impact on engineering sciences. His interdisciplinary expertise, bridging mechanical engineering and applied mathematics, has led to innovative solutions in computational mechanics and material science. His role in organizing international awards and securing competitive research grants further underscores his dedication to advancing scientific knowledge. Recognized through prestigious awards and honorary titles, Prof. Vlase continues to shape the future of mechanical engineering. His extensive contributions make him a strong candidate for any distinguished research award, reflecting his outstanding achievements in academia, research, and professional service.

Publications Top Noted

  • Title: On the partition of energies for the backward in time problem of thermoelastic materials with a dipolar structure
    Authors: M. Marin, S. Vlase, R. Ellahi, M.M. Bhatti
    Year: 2019
    Citations: 127
    Source: Symmetry, 11(7), 863

  • Title: Motion equation for a flexible one-dimensional element used in the dynamical analysis of a multibody system
    Authors: S. Vlase, M. Marin, A. Öchsner, M.L. Scutaru
    Year: 2019
    Citations: 122
    Source: Continuum Mechanics and Thermodynamics, 31, 715-724

  • Title: Improved rigidity of composite circular plates through radial ribs
    Authors: C. Itu, A. Öchsner, S. Vlase, M.I. Marin
    Year: 2019
    Citations: 115
    Source: Proceedings of the Institution of Mechanical Engineers, Part L: Journal of Materials: Design and Applications

  • Title: New analytical method based on dynamic response of planar mechanical elastic systems
    Authors: M.L. Scutaru, S. Vlase, M. Marin, A. Modrea
    Year: 2020
    Citations: 113
    Source: Boundary Value Problems, 2020, 1-16

  • Title: A method for the study of the vibration of mechanical bars systems with symmetries
    Authors: S. Vlase, C. Năstac, M. Marin, M. Mihălcică
    Year: 2017
    Citations: 107
    Source: Acta Technica Napocensis-Series: Applied Mathematics, Mechanics, and Engineering

  • Title: Considerations on double porosity structure for micropolar bodies
    Authors: M. Marin, S. Vlase, M. Paun
    Year: 2015
    Citations: 107
    Source: AIP Advances, 5(3)

  • Title: On mixed problem in thermoelasticity of type III for Cosserat media
    Authors: M. Marin, A. Seadawy, S. Vlase, A. Chirila
    Year: 2022
    Citations: 100
    Source: Journal of Taibah University for Science, 16(1), 1264-1274

  • Title: On the decay of exponential type for the solutions in a dipolar elastic body
    Authors: M. Marin, R. Ellahi, S. Vlase, M.M. Bhatti
    Year: 2020
    Citations: 95
    Source: Journal of Taibah University for Science, 14(1), 534-540

  • Title: Coupled transverse and torsional vibrations in a mechanical system with two identical beams
    Authors: S. Vlase, M. Marin, M.L. Scutaru, R. Munteanu
    Year: 2017
    Citations: 95
    Source: AIP Advances, 7(6)

  • Title: Effect of microtemperatures for micropolar thermoelastic bodies
    Authors: M. Marin, D. Baleanu, S. Vlase
    Year: 2017
    Citations: 88
    Source: Structural Engineering and Mechanics, 61(3), 381-387

  • Title: Homogenization and averaging methods to predict elastic properties of pre-impregnated composite materials
    Authors: H. Teodorescu-Draghicescu, S. Vlase
    Year: 2011
    Citations: 88
    Source: Computational Materials Science, 50(4), 1310-1314

  • Title: Finite element method analysis of some fibre-reinforced composite laminates
    Authors: H. Teodorescu-Draghicescu, A. Stanciu, S. Vlase, L. Scutaru, M.R. Calin
    Year: 2011
    Citations: 78
    Source: Optoelectronics and Advanced Materials-Rapid Communications, 5(7), 782-785

  • Title: A method of eliminating Lagrangian multipliers from the equation of motion of interconnected mechanical systems
    Authors: S. Vlase
    Year: 1987
    Citations: 76
    Source: Not available

  • Title: Hysteresis effect in a three-phase polymer matrix composite subjected to static cyclic loadings
    Authors: H. Teodorescu-Draghicescu, S. Vlase, L. Scutaru, L. Serbina, M.R. Calin
    Year: 2011
    Citations: 74
    Source: Optoelectronics and Advanced Materials-Rapid Communications, 5 (March 2011)

  • Title: Influence of B4C and industrial waste fly ash reinforcement particles on the microstructural characteristics and mechanical behavior of aluminium (Al–Mg–Si-T6) hybrid metal matrix composites
    Authors: M.S. Kumar, M. Vasumathi, S.R. Begum, S.M. Luminita, S. Vlase, C.I. Pruncu
    Year: 2021
    Citations: 61
    Source: Journal of Materials Research and Technology, 15, 1201-1216

  • Title: Behavior of multiphase fiber-reinforced polymers under short time cyclic loading
    Authors: S. Vlase, H. Teodorescu-Draghicescu, D.L. Motoc, M.L. Scutaru, L. Serbina
    Year: 2011
    Citations: 59
    Source: Optoelectronics and Advanced Materials-Rapid Communications, 5, 419-423

  • Title: Mechanical behavior of CSM450 and RT800 laminates subjected to four-point bend tests
    Authors: A. Stanciu, H. Teodorescu-Drăghicescu, S. Vlase, M.L. Scutaru, M.R. Cǎlin
    Year: 2012
    Citations: 58
    Source: Optoelectronics and Advanced Materials-Rapid Communications, 6 (March-April 2012)

  • Title: Advanced pultruded glass fibers-reinforced isophtalic polyester resin
    Authors: H. Teodorescu-Draghicescu, S. Vlase, M.D. Stanciu, I. Curtu, M. Mihalcica
    Year: 2015
    Citations: 56
    Source: Mater. Plast, 52(1), 62-64

  • Title: Properties of advanced new materials used in automotive engineering
    Authors: A. Modrea, S. Vlase, H. Teodorescu-Draghicescu, M. Mihalcica, M.R. Calin
    Year: 2013
    Citations: 55
    Source: Optoelectronics and Advanced Materials-Rapid Communications, 7 (May-June 2013)

  • Title: Simulation of the elastic properties of some fiber-reinforced composite laminates under off-axis loading system
    Authors: S. Vlase, H. Teodorescu-Draghicescu, M.R. Calin, L. Serbina
    Year: 2011
    Citations: 55
    Source: Optoelectronics and Advanced Materials-Rapid Communications, 5 (April 2011)

 

Ran Zhang | Applied Mathematics | Best Researcher Award

Dr. Ran Zhang | Applied Mathematics | Best Researcher Award

Researcher at Nanjing University of Posts and Telecommunications, China

Ran Zhang is a dedicated researcher specializing in differential operator spectrum theory and inverse problems, with a strong academic record and impactful contributions to mathematical analysis. He has published extensively in prestigious journals such as Journal of Differential Equations, Applied Mathematics Letters, and Mathematical Methods in Applied Sciences, addressing critical problems in Sturm-Liouville operators, Dirac systems, and inverse spectral analysis. As the host of national research projects, including those funded by the National Natural Science Foundation of China and Jiangsu Provincial Natural Science Foundation of China, he has demonstrated leadership in advancing theoretical mathematics. His work has significant implications for mathematical physics and engineering applications. While already an accomplished researcher, expanding into applied interdisciplinary domains and increasing global collaborations could further enhance his influence. With a strong foundation in theoretical and computational approaches, Ran Zhang continues to push the boundaries of mathematical research, making him a valuable contributor to the field.

Professional Profile

Scopus Profile
ORCID Profile

Education

Ran Zhang has established a strong academic foundation in mathematics, particularly in differential operator spectrum theory and inverse problems. His educational journey has been marked by rigorous training in advanced mathematical techniques, equipping him with the analytical and computational skills necessary for solving complex problems in spectral analysis. Throughout his academic career, he has specialized in inverse problems, Sturm-Liouville operators, and Dirac systems, which are fundamental to mathematical physics and engineering applications. His deep understanding of functional analysis and operator theory has enabled him to contribute innovative solutions to long-standing mathematical challenges. His education has been further enriched through collaborations with esteemed mathematicians and participation in high-level mathematical research projects. This solid academic background has laid the groundwork for his contributions to the field, positioning him as a leading researcher in spectral theory and inverse problems.

Professional Experience

Ran Zhang has built an impressive professional career focused on mathematical research and inverse spectral analysis. As a host of research projects funded by the National Natural Science Foundation of China and the Jiangsu Provincial Natural Science Foundation of China, he has played a pivotal role in advancing theoretical mathematics. His work has been recognized in esteemed mathematical journals, reflecting the high impact of his research in spectral theory, Sturm-Liouville operators, and discontinuous differential equations. He has actively contributed to solving complex mathematical challenges and has worked closely with research teams, collaborating with renowned mathematicians across institutions. His experience extends beyond academia, as his research has potential applications in engineering, quantum mechanics, and applied physics. His ability to bridge theoretical mathematics with practical applications makes him a distinguished figure in the field. As he progresses in his career, expanding into interdisciplinary research and mentoring young mathematicians could further solidify his professional legacy.

Research Interest

Ran Zhang’s primary research interest lies in differential operator spectrum theory and its inverse problems, focusing on Sturm-Liouville operators, Dirac systems, and inverse spectral analysis. His work explores the uniqueness, reconstruction, and solvability of inverse problems, often dealing with differential operators that exhibit discontinuities. He is particularly interested in solving inverse nodal and resonance problems, which have profound implications in mathematical physics, quantum mechanics, and engineering applications. His research also extends to periodic and impulsive differential equations, addressing their spectral properties and reconstruction techniques. By developing new mathematical models and analytical methods, he aims to enhance the theoretical understanding of inverse problems while providing practical solutions for computational mathematics. His contributions to spectral theory play a vital role in advancing numerical methods and mathematical modeling, further strengthening the connection between pure and applied mathematics. His future research aims to expand into multidisciplinary applications, fostering collaborations across physics, engineering, and computational sciences.

Awards and Honors

Ran Zhang’s research excellence has been recognized through several prestigious honors and awards. As the recipient of funding from the National Natural Science Foundation of China and the Jiangsu Provincial Natural Science Foundation of China, he has demonstrated his ability to lead impactful research projects. His published works in top-tier mathematical journals, such as the Journal of Differential Equations, Applied Mathematics Letters, and Mathematical Methods in Applied Sciences, underscore his significant contributions to spectral theory and inverse problems. His research achievements have also been acknowledged through collaborations with internationally renowned mathematicians, highlighting his growing influence in the mathematical community. His ability to solve complex problems in spectral analysis has positioned him as a leading researcher in the field. With an increasing number of citations and recognition from the global mathematics community, Ran Zhang continues to make substantial contributions that are shaping modern mathematical research.

Conclusion

Ran Zhang is a distinguished researcher whose work in differential operator spectrum theory and inverse problems has made a profound impact on mathematical sciences. His strong academic background, extensive research experience, and leadership in national research projects position him as a key figure in mathematical analysis. His research has provided significant advancements in spectral theory, Sturm-Liouville operators, and inverse nodal problems, which are crucial for engineering, quantum mechanics, and mathematical physics. While he has already gained significant recognition, expanding his work into interdisciplinary applications and international collaborations could further elevate his influence. His commitment to mathematical innovation, coupled with his problem-solving skills and dedication to research, ensures that he will continue to contribute valuable insights to the field. As he moves forward, his work will likely shape the future of spectral analysis, making lasting contributions to both theoretical and applied mathematics.

Publications Top Noted

  • Title: Inverse spectral problems for the Dirac operator with complex-valued weight and discontinuity
    Authors: Ran Zhang, Chuan-Fu Yang, Natalia P. Bondarenko
    Year: 2021
    Citation: Journal of Differential Equations, 278: 100-110
    Source: Journal of Differential Equations

  • Title: Uniqueness and reconstruction of the periodic Strum-Liouville operator with a finite number of discontinuities
    Authors: Ran Zhang, Kai Wang, Chuan-Fu Yang
    Year: 2024
    Citation: Applied Mathematics Letters, 147: 108853
    Source: Applied Mathematics Letters

  • Title: Uniqueness theorems for the impulsive Dirac operator with discontinuity
    Authors: Ran Zhang, Chuan-Fu Yang
    Year: 2022
    Citation: Analysis and Mathematical Physics, 12(1): 1-16
    Source: Analysis and Mathematical Physics

  • Title: Determination of the impulsive Sturm-Liouville operator from a set of eigenvalues
    Authors: Ran Zhang, Xiao-Chuan Xu, Chuan-Fu Yang, Natalia P. Bondarenko
    Year: 2020
    Citation: Journal of Inverse and Ill-posed Problems, 28(3): 341-348
    Source: Journal of Inverse and Ill-posed Problems

  • Title: Solving the inverse problems for discontinuous periodic Strum-Liouville operator by the method of rotation
    Authors: Ran Zhang, Kai Wang, Chuan-Fu Yang
    Year: 2024
    Citation: Results in Mathematics, 79(1): 49
    Source: Results in Mathematics

  • Title: Ambarzumyan-type theorem for the impulsive Sturm-Liouville operator
    Authors: Ran Zhang, Chuan-Fu Yang
    Year: 2021
    Citation: Journal of Inverse and Ill-posed Problems, 29(1): 21-25
    Source: Journal of Inverse and Ill-posed Problems

  • Title: Solvability of an inverse problem for discontinuous Sturm-Liouville operators
    Authors: Ran Zhang, Natalia P. Bondarenko, Chuan-Fu Yang
    Year: 2021
    Citation: Mathematical Methods in Applied Sciences, 44(1): 124-139
    Source: Mathematical Methods in Applied Sciences

  • Title: Reconstruction of the Strum-Liouville operator with periodic boundary conditions and discontinuity
    Authors: Ran Zhang, Chuan-Fu Yang
    Year: 2022
    Citation: Mathematical Methods in Applied Sciences, 45(8): 4244-4251
    Source: Mathematical Methods in Applied Sciences

  • Title: Determination of the impulsive Dirac systems from a set of eigenvalues
    Authors: Ran Zhang, Chuan-Fu Yang, Kai Wang
    Year: 2023
    Citation: Mathematics, 11(19): 4086
    Source: Mathematics

  • Title: Inverse nodal problem for the Sturm-Liouville operator with a weight
    Authors: Ran Zhang, Murat Sat, Chuan-Fu Yang
    Year: 2020
    Citation: Applied Mathematics – A Journal of Chinese Universities Series B, 35(2): 193-202
    Source: Applied Mathematics – A Journal of Chinese Universities Series B

 

Zohaib Khan | Optimization | Best Researcher Award

Dr. Zohaib Khan | Optimization | Best Researcher Award

Jiangsu University, China

Zohaib Khan is a dedicated researcher specializing in machine learning, object detection, and control science engineering, with a strong focus on precision agriculture and AI-driven automation. Currently pursuing a PhD at Jiangsu University, China, he has made significant contributions to deep learning-based agricultural robotics, publishing multiple first-author papers in high-impact SCI Q1, Q2, and EI journals. His work emphasizes real-time detection, optimization algorithms, and AI-driven sustainability solutions. With extensive mentoring experience (50+ Bachelor’s and 10 Master’s students), he has played a key role in academic development. Zohaib has received numerous national and international awards, including first prizes in elite research and innovation competitions. His technical expertise spans Python, MATLAB, LaTeX, and AI-driven modeling, complementing his ability to lead interdisciplinary research. With a passion for advancing AI applications in agriculture, he continues to drive innovation in sustainable and automated farming solutions.

Professional Profile 

Google Scholar
Scopus Profile
ORCID Profile

Education

Zohaib Khan is currently pursuing a PhD in Control Science Engineering at Jiangsu University, China (2022–2026), specializing in machine learning and object detection. He previously earned an MSc in Electrical Engineering (2019–2022) from the same institution, focusing on power systems and renewable energy. His Bachelor’s degree in Electrical Power Engineering (2013–2017) from Swedish College of Engineering and Technology, Pakistan, laid the foundation for his technical expertise. His early academic years were marked by excellence, having completed Pre-Engineering at Fazaia Degree College (2011–2013) and his Secondary School Certificate (2009–2011) at Agricultural University Public School. Zohaib’s academic journey is distinguished by his strong analytical skills and passion for integrating AI and automation in engineering solutions. His education reflects a deep commitment to advanced research, innovation, and interdisciplinary problem-solving, positioning him as a future leader in AI-driven technologies and precision agriculture.

Professional Experience

Zohaib Khan has gained substantial experience in both academic research and engineering practice. As an intern at WAPDA, Pakistan, he developed hands-on expertise in power distribution and transmission lines, strengthening his understanding of grid operations and maintenance. Later, as an Electrical Engineer at LIMAK (JV) ZKB – CPEC Project (2017–2018), he contributed to electrical system design, installation, and maintenance, gaining valuable project management experience. His role involved troubleshooting, safety compliance, and interdisciplinary collaboration, enhancing his problem-solving capabilities. In academia, Zohaib has mentored over 50 Bachelor’s and 10 Master’s students, guiding them through research projects in machine learning, object detection, and automation. His strong writing, teaching, and IT skills have been instrumental in fostering innovation. His diverse experience, spanning applied research and engineering implementation, makes him a well-rounded professional capable of driving breakthroughs in AI-powered automation and precision agriculture.

Research Interest

Zohaib Khan’s research focuses on machine learning, deep learning, object detection, and AI-driven automation, with applications in precision agriculture and robotics. His studies revolve around real-time detection, optimization algorithms, and advanced control systems for agricultural sustainability and industrial automation. He has pioneered AI-driven precision farming techniques, developing deep learning-enhanced YOLOv7 and YOLOv8 algorithms for real-time crop health assessment and robotic spraying systems. Additionally, his work explores autonomous navigation in unstructured farmlands, energy-efficient control systems, and reinforcement learning for AI-based decision-making. His research extends to risk assessment in renewable energy systems, contributing to more efficient and resilient smart grids. Through interdisciplinary collaborations, Zohaib continues to push the boundaries of AI in sustainable agriculture, robotics, and industrial automation, aiming to develop intelligent, scalable, and high-impact solutions for modern technological challenges.

Awards and Honors

Zohaib Khan has received multiple prestigious awards recognizing his contributions to research, innovation, and academic excellence. He has won First Prizes in National Competitions, including the China University Business Elite Challenge (2024) and the Brand Planning Competition (2024). His research excellence was acknowledged with the Excellent Paper Award at the Sino-award (2021) and special recognition in Jiangsu Province Graduate Energy-saving and Low-Carbon Research Competition (2023). Additionally, he was honored as an Outstanding Student in the 17th “Yale School of Jiangsu University” program and received a Certificate of Excellence for Teaching Assistance. His leadership and public speaking skills earned him first place in an English debate at Jiangsu University. These accolades reflect his dedication to research, leadership in innovation, and commitment to advancing AI applications in engineering and agriculture, solidifying his reputation as a promising researcher in his field.

Conclusion

Zohaib Khan’s academic, professional, and research journey showcases his exceptional talent in AI-driven automation, machine learning, and precision agriculture. His extensive experience in research, mentoring, and engineering practice positions him as a leading scholar in intelligent agricultural robotics and sustainable AI applications. With a strong publication record in high-impact journals (SCI Q1, Q2, and EI) and multiple national and international awards, he has demonstrated his ability to drive innovation and solve real-world problems. His work in deep learning-based automation and AI-driven optimization techniques continues to push the boundaries of technology for sustainability and efficiency. As he progresses in his career, Zohaib remains committed to advancing cutting-edge research, fostering academic collaborations, and contributing transformative solutions in AI, robotics, and smart energy systems. His dedication and achievements make him a strong candidate for prestigious research awards and a key contributor to the future of AI in engineering and agriculture.

Publications Top Noted 

 

Zengjing Chen | Probability Theory | Best Researcher Award

Prof. Zengjing Chen | Probability Theory | Best Researcher Award

Shandong China at School of Mathematics Shandong University, China

Professor Zengjing Chen is a distinguished scholar in applied mathematics, financial mathematics, and probability theory, currently serving at Shandong University. With a Ph.D. in Applied Mathematics from Shandong University, his academic journey includes visiting positions at leading institutions such as INRIA (France), the University of Western Ontario (Canada), and the University of Rochester (USA). He has made significant contributions to nonlinear expectations, stochastic processes, and financial mathematics, reflected in his extensive publication record in high-impact journals like Econometrica, Annals of Probability, and Journal of Economic Theory. His leadership roles include chairing committees in the Society for Industrial and Applied Mathematics of China and the Bernoulli Society. A recipient of prestigious awards such as the National Natural Science Award and the Society for Industrial and Applied Mathematics of China Fellowship, Professor Chen’s research has advanced the theoretical foundations of risk analysis, asset pricing, and stochastic control, earning him global recognition in mathematical finance and probability.

Professional Profile 

Scopus Profile

Education

Professor Zengjing Chen earned his Ph.D. in Applied Mathematics from Shandong University, where he developed a strong foundation in probability theory and financial mathematics. His academic journey included postdoctoral research and visiting scholar positions at renowned institutions, such as INRIA in France, the University of Western Ontario in Canada, and the University of Rochester in the United States. These international experiences enriched his expertise in stochastic processes, nonlinear expectations, and risk analysis. Throughout his education, he was mentored by leading mathematicians, contributing to his profound theoretical insights and innovative approaches to financial mathematics. His Ph.D. research laid the groundwork for his later contributions to nonlinear probability and robust financial modeling. By combining mathematical rigor with practical financial applications, he has become a prominent figure in applied probability and mathematical finance, influencing both theoretical advancements and real-world financial decision-making through his interdisciplinary research.

Professional Experience

Professor Chen has held key academic and research positions throughout his career, primarily at Shandong University, where he has been a professor and mentor to numerous doctoral students. His professional experience extends beyond China, having served as a visiting professor and research collaborator at leading institutions worldwide, including INRIA in France, the University of Western Ontario in Canada, and the University of Rochester in the United States. As an active member of the global mathematical community, he has chaired committees in prestigious organizations such as the Society for Industrial and Applied Mathematics of China and the Bernoulli Society. His editorial roles in top-tier mathematical journals demonstrate his influence in shaping the direction of research in financial mathematics and probability theory. With a career spanning decades, his professional journey reflects a commitment to advancing mathematical sciences, mentoring young researchers, and fostering international collaborations that bridge theoretical research with practical applications.

Research Interest

Professor Chen’s research interests lie at the intersection of probability theory, financial mathematics, and stochastic processes. He has made pioneering contributions to nonlinear expectations, risk measures, and robust financial modeling. His work on sublinear expectations and G-expectation has significantly impacted mathematical finance, particularly in asset pricing, risk management, and stochastic control. He is also deeply involved in uncertainty quantification and the application of probability theory to economics, developing models that address market volatility and financial risk under uncertainty. His research extends to machine learning applications in financial mathematics, where he explores new methodologies for predictive modeling and risk assessment. By integrating advanced probability theory with financial applications, his work has provided critical insights into optimal decision-making under uncertainty. His studies have been widely published in leading mathematical and economic journals, influencing both academic research and practical financial strategies used in investment, banking, and insurance industries.

Awards and Honors

Throughout his career, Professor Chen has received numerous prestigious awards recognizing his contributions to mathematics and financial modeling. He was honored with the National Natural Science Award, one of China’s highest accolades for scientific research, for his groundbreaking work in nonlinear probability and financial mathematics. He is also a Fellow of the Society for Industrial and Applied Mathematics of China, a distinction awarded to scholars who have made significant contributions to applied mathematics. His research has been supported by major grants from the National Science Foundation of China, allowing him to lead influential projects in stochastic analysis and risk management. Additionally, he has been invited to deliver keynote lectures at major international awards, further solidifying his status as a leading expert in probability and financial mathematics. His accolades reflect his lasting impact on the field, inspiring a new generation of researchers and practitioners in mathematical finance and applied probability.

Conclusion

Professor Zengjing Chen stands as a globally recognized scholar in applied mathematics, probability theory, and financial mathematics, with profound contributions to nonlinear expectations and stochastic processes. His academic and professional journey has been marked by excellence in research, international collaboration, and mentorship. Through his pioneering work in robust risk modeling and uncertainty quantification, he has advanced theoretical frameworks that influence real-world financial decision-making. His recognition through prestigious awards and leadership roles in top mathematical societies underscores his impact on the field. As a researcher, educator, and thought leader, Professor Chen continues to shape the future of mathematical finance, probability theory, and interdisciplinary mathematical applications. His contributions remain fundamental to both theoretical advancements and practical implementations in risk management, asset pricing, and financial stability, ensuring his legacy as a leading figure in the global mathematical community.

Publications Top Noted

  • Title: Proof of a Conjecture About Parrondo’s Paradox for Two-Armed Slot Machines
    Authors: Huaijin Liang, Zengjing Chen
    Year: 2025
    Source: Advances in Applied Mathematics

  • Title: A Theoretical Model for a Vane with Stochastic Rotation
    Authors: Zengjing Chen, Xinwei Feng, Han Li, Shijie Xie
    Year: 2024
    Source: Physica D: Nonlinear Phenomena

  • Title: An Advanced Machine Learning Method for Simultaneous Breast Cancer Risk Prediction and Risk Ranking in Chinese Population: A Prospective Cohort and Modeling Study
    Authors: Liyuan Liu, Yong He, Chunyu Kao, Zengjing Chen, Zhigang Yu
    Year: 2024
    Source: Chinese Medical Journal

  • Title: A Quantum Technology for Reinforcement Learning on Channel Assignment
    Authors: Zengjing Chen, Lu Wang, Chengzhi Xing
    Year: 2024
    Source: Advanced Quantum Technologies

  • Title: Optimal Strategy for Bayesian Two-Armed Bandit Problem with an Arched Reward Function
    Authors: Zengjing Chen, Zhao Ang Zhang
    Year: 2024
    Source: Mathematical Control and Related Fields

  • Title: Approximate Optimality and the Risk/Reward Tradeoff Given Repeated Gambles
    Authors: Zengjing Chen, Larry G. Epstein, Guodong Zhang
    Year: 2024
    Source: Economic Theory

 

Mohammed Hussein | Applied Mathematics | Best Researcher Award

Prof. Mohammed Hussein | Applied Mathematics | Best Researcher Award

Academia at University of Baghdad, Iran

Dr. Mohammed Sabah Hussein is a distinguished Professor of Applied Mathematics at the University of Baghdad, College of Science, with a Ph.D. from the University of Leeds. With 18 years of teaching and research experience, his expertise spans inverse problems for heat equations, numerical analysis, fluid dynamics, and mathematical modeling. He has made significant contributions to academia, mentoring postgraduate students and serving in leadership roles, including Head of the Mathematics Department. Dr. Hussein has an impressive publication record in high-impact journals and actively participates in international research collaborations. His academic reputation is reflected in his H-index rankings across Google Scholar, Scopus, and Clarivate. As a member of several professional societies and editorial boards, he is dedicated to advancing applied mathematics. His technical proficiency in MATLAB, Mathematica, and LaTeX, coupled with his extensive research on solving complex mathematical problems, makes him a leading figure in his field.

Professional Profile 

Google Scholar
Scopus Profile
ORCID Profile

Education

Dr. Mohammed Sabah Hussein earned his Ph.D. in Applied Mathematics from the University of Leeds, where he specialized in inverse problems for heat equations and numerical analysis. Prior to that, he obtained his Master’s and Bachelor’s degrees in Mathematics from the University of Baghdad, demonstrating early excellence in mathematical modeling and computational techniques. His academic journey has been marked by a strong foundation in mathematical theories, which he later expanded through advanced research in applied mathematics and fluid dynamics. Throughout his education, Dr. Hussein actively engaged in research projects that enhanced his expertise in solving complex mathematical problems, particularly in heat transfer and differential equations. His exposure to international academic environments enriched his analytical skills and deepened his understanding of mathematical applications in real-world scenarios. His educational background continues to influence his teaching and research, enabling him to contribute significantly to mathematical sciences and mentor future scholars in applied mathematics.

Professional Experience

Dr. Mohammed Sabah Hussein is a Professor of Applied Mathematics at the University of Baghdad, College of Science, with 18 years of experience in teaching and research. He has held several academic leadership roles, including serving as Head of the Mathematics Department, where he played a crucial role in curriculum development and faculty mentoring. Over the years, he has supervised numerous postgraduate students, guiding them in advanced mathematical research. Dr. Hussein has collaborated with international institutions on cutting-edge research projects in applied mathematics, enhancing interdisciplinary studies. He has also served as a reviewer and editorial board member for prestigious mathematical journals, contributing to the peer-review process. His expertise in numerical methods, fluid dynamics, and inverse problems has led him to participate in global awards and workshops, where he shares his insights with the academic community. His commitment to research and education solidifies his standing as a leading mathematician.

Research Interest

Dr. Mohammed Sabah Hussein’s research focuses on inverse problems for heat equations, numerical analysis, fluid dynamics, and mathematical modeling. He specializes in solving complex differential equations that arise in real-world applications, particularly in heat transfer and fluid mechanics. His work extends to computational techniques using MATLAB and Mathematica, where he develops algorithms for accurate numerical solutions. Dr. Hussein is also interested in optimization methods and their applications in engineering and physical sciences. His research has contributed to advancements in thermal analysis and industrial processes, demonstrating the practical impact of applied mathematics. Additionally, he collaborates on interdisciplinary projects that integrate mathematics with physics and engineering, broadening the scope of mathematical applications. His publications in high-impact journals reflect his dedication to innovative mathematical research, and his continued exploration of numerical simulations and mathematical modeling ensures his contributions remain at the forefront of applied mathematics advancements.

Awards and Honors

Dr. Mohammed Sabah Hussein has received several prestigious awards and honors for his outstanding contributions to applied mathematics. His research excellence has been recognized with accolades from national and international academic institutions. He has been honored for his high-impact publications and has received grants for his work in mathematical modeling and numerical analysis. Dr. Hussein’s influence in academia is further demonstrated by his strong citation record and H-index rankings in Google Scholar, Scopus, and Clarivate. He has been invited as a keynote speaker at global awards and has received recognition for his mentorship of postgraduate students. His role in advancing mathematical sciences has been acknowledged through memberships in esteemed mathematical societies and editorial boards of reputed journals. These honors reflect his dedication to academic excellence and his influence on the broader mathematical research community.

Conclusion

Dr. Mohammed Sabah Hussein is a highly respected mathematician whose expertise in applied mathematics has significantly impacted academia and research. With a strong educational background and extensive professional experience, he has contributed to solving complex mathematical problems through advanced numerical analysis and modeling. His dedication to mentoring students, publishing high-impact research, and collaborating internationally highlights his commitment to the mathematical sciences. His awards and honors reflect his scholarly influence and contributions to mathematical research. As a professor, researcher, and mentor, Dr. Hussein continues to advance applied mathematics, ensuring its relevance in solving real-world challenges. His work in inverse problems, fluid dynamics, and computational methods cements his reputation as a leader in the field. Through his academic and research endeavors, he remains dedicated to pushing the boundaries of mathematical knowledge and inspiring future generations of mathematicians.

Publications Top Noted

1. Simultaneous determination of time-dependent coefficients in the heat equation

Authors: M. S. Hussein, D. Lesnic, M. I. Ivanchov
Year: 2014
Citations: 61
Source: Computers & Mathematics with Applications, 67(5), 1065-1091

2. An inverse problem of finding the time‐dependent diffusion coefficient from an integral condition

Authors: M. S. Hussein, D. Lesnic, M. I. Ismailov
Year: 2016
Citations: 49
Source: Mathematical Methods in the Applied Sciences, 39(5), 963-980

3. Reconstruction of time-dependent coefficients from heat moments

Authors: M. J. Huntul, D. Lesnic, M. S. Hussein
Year: 2017
Citations: 45
Source: Applied Mathematics and Computation, 301, 233-253

4. Simultaneous determination of time and space-dependent coefficients in a parabolic equation

Authors: M. S. Hussein, D. Lesnic
Year: 2016
Citations: 38
Source: Communications in Nonlinear Science and Numerical Simulation, 33, 194-217

5. Multiple time-dependent coefficient identification thermal problems with a free boundary

Authors: M. S. Hussein, D. Lesnic, M. I. Ivanchov, H. A. Snitko
Year: 2016
Citations: 37
Source: Applied Numerical Mathematics, 99, 24-50

6. Direct and inverse source problems for degenerate parabolic equations

Authors: M. S. Hussein, D. Lesnic, V. L. Kamynin, A. B. Kostin
Year: 2020
Citations: 35
Source: Journal of Inverse and Ill-Posed Problems, 28(3), 425-448

7. Simultaneous determination of time-dependent coefficients and heat source

Authors: M. S. Hussein, D. Lesnic
Year: 2016
Citations: 24
Source: International Journal for Computational Methods in Engineering Science and Mechanics

8. Identification of the time-dependent conductivity of an inhomogeneous diffusive material

Authors: M. S. Hussein, D. Lesnic
Year: 2015
Citations: 24
Source: Applied Mathematics and Computation, 269, 35-58

9. Determination of a time-dependent thermal diffusivity and free boundary in heat conduction

Authors: M. S. Hussein, D. Lesnic
Year: 2014
Citations: 23
Source: International Communications in Heat and Mass Transfer, 53, 154-163

10. Simultaneous Identification of Thermal Conductivity and Heat Source in the Heat Equation

Authors: M. J. Huntul, M. S. Hussein
Year: 2021
Citations: 20
Source: Iraqi Journal of Science, 1968-1978

11. A wavelet-based collocation technique to find the discontinuous heat source in inverse heat conduction problems

Authors: M. Ahsan, W. Lei, M. Ahmad, M. S. Hussein, Z. Uddin
Year: 2022
Citations: 16
Source: Physica Scripta, 97(12), 125208

12. Identification of a multi-dimensional space-dependent heat source from boundary data

Authors: M. S. Hussein, D. Lesnic, B. T. Johansson, A. Hazanee
Year: 2018
Citations: 16
Source: Applied Mathematical Modelling, 54, 202-220

13. Free boundary determination in nonlinear diffusion

Authors: M. S. Hussein, D. Lesnic, M. Ivanchov
Year: 2013
Citations: 16
Source: East Asian Journal on Applied Mathematics, 3(4), 295-310

14. Retrieval of Timewise Coefficients in the Heat Equation from Nonlocal Overdetermination Conditions

Authors: F. Anwer, M. S. Hussein
Year: 2022
Citations: 15
Source: Iraqi Journal of Science, 1184-1199

15. Numerical Solution to Recover Time-dependent Coefficient and Free Boundary from Nonlocal and Stefan Type Overdetermination Conditions in Heat Equation

Authors: M. Qassim, M. S. Hussein
Year: 2021
Citations: 15
Source: Iraqi Journal of Science, 62(3), 950-960

16. Determination of time-dependent coefficient in time fractional heat equation

Authors: Q. W. Ibraheem, M. S. Hussein
Year: 2023
Citations: 14
Source: Partial Differential Equations in Applied Mathematics, 7, 100492

17. Splitting the One-Dimensional Wave Equation, Part II: Additional Data are Given by an End Displacement Measurement

Authors: S. O. Hussein, M. S. Hussein
Year: 2021
Citations: 13
Source: Iraqi Journal of Science, 62(1), 233-239

18. Numerical Solution for Two-Sided Stefan Problem

Authors: M. S. Hussein, Z. Adil
Year: 2020
Citations: 12
Source: Iraqi Journal of Science, 61(2), 444-452

Zammad Ali | Analysis (Real, Complex, Functional) | Best Researcher Award

Dr. Zammad Ali | Analysis (Real, Complex, Functional) | Best Researcher Award

Researcher at Bahauddin Zakariya University, Pakistan

Zammad Ali is an emerging researcher in applied mathematics, specializing in convex analysis, fractional calculus, and information sciences. He holds an MPhil in Mathematics from Bahauddin Zakariya University, Pakistan, with expertise in computational geometry, integral inequalities, and machine learning applications. His research contributions include multiple publications in high-impact journals, focusing on generalized convex functions, fractional integral inequalities, and their applications in entropy and information science. Proficient in Mathematica, MATLAB, and Python, he integrates computational tools to solve complex mathematical problems. His international collaborations with researchers from China and Japan highlight his growing academic presence. While his work demonstrates innovation and relevance, expanding his research impact through higher citation counts, interdisciplinary applications, and independent projects will further strengthen his profile. With continued contributions and leadership in mathematical research, Zammad Ali is well-positioned to make significant advancements in applied mathematics and information sciences.

Professional Profile 

Google Scholar

ORCID Profile

Education

Zammad Ali holds an MPhil in Mathematics from Bahauddin Zakariya University (BZU), Multan, Pakistan, completed between 2021 and 2023 with a CGPA of 3.30 out of 4.0. His academic focus during this period included Computational Geometry, Calculus on Time Scales, Advanced Linear Algebra, Integral Inequalities, and applications in Machine Learning and Data Science. Prior to this, he earned a Bachelor’s degree in Mathematics from the University of Education (UE), Lahore, Pakistan, from 2017 to 2021, achieving a CGPA of 3.39 out of 4.0. His undergraduate studies encompassed Mathematical Methods of Physics, Mathematical Statistics, Complex Analysis, Calculus, Differential Geometry, Linear Algebra, Real Analysis, and Ordinary Differential Equations. With a strong foundation in both pure and applied mathematics, his educational background supports his research interests in convex analysis, integral inequalities, and fractional calculus. His coursework and research reflect a blend of theoretical and computational mathematics, equipping him with diverse analytical and problem-solving skills.

Professional Experience

Zammad Ali has developed strong technical and research expertise throughout his academic journey, contributing to advanced mathematical research. Although he has not held formal academic or industry positions, his professional experience primarily lies in his research contributions and collaborations with esteemed scholars. His proficiency in computational tools like Mathematica, MATLAB, Python, and MS Office enhances his analytical capabilities. He has actively participated in mathematical research, working under the supervision of experienced professors such as Dr. Asfand Fahad and Dr. Awais Younus. His research engagements involve solving complex mathematical problems related to convex functions, integral inequalities, and fractional calculus. His publications in high-impact journals highlight his ability to contribute to contemporary mathematical advancements. While he is at an early stage of his professional career, his expertise and research collaborations position him as a promising mathematician with potential for future academic and industrial contributions.

Research Interest

Zammad Ali’s research interests focus on mathematical analysis, particularly in convex functions, integral inequalities, and fractional calculus. His work explores the properties of generalized convex functions and their applications in information sciences. He is particularly interested in geometrically arithmetically convex functions, Hermite–Hadamard–Mercer inequalities, and fractional integral operators. His research integrates theoretical mathematics with computational approaches, allowing for the development of new mathematical inequalities and their applications in various scientific domains. He has contributed to studies on entropy, information systems, and mean inequalities, demonstrating the practical relevance of his research. His growing interest in machine learning and data science suggests potential interdisciplinary applications of his mathematical expertise in optimization problems, artificial intelligence, and statistical modeling. Through his contributions, he aims to advance the field of applied mathematics, developing innovative methods that bridge pure mathematical theories with real-world applications.

Awards and Honors

Zammad Ali has made significant contributions to mathematical research, publishing in well-regarded journals such as Information Sciences, Alexandria Engineering Journal, and Fractal and Fractional. While he has not yet received formal awards or honors, his scholarly impact is evident through his collaborations with international researchers and his contributions to the field of fractional calculus and integral inequalities. His publications are gaining recognition, with citations reflecting the influence of his work within the academic community. As his research progresses, he is well-positioned to receive prestigious awards and grants for his contributions to mathematical sciences. His potential for future recognition is strong, given his consistent engagement in high-level mathematical research. With further experience, his work is expected to attract broader academic and industrial recognition, establishing him as a leading researcher in applied mathematics.

Conclusion

Zammad Ali is an emerging researcher in mathematics, specializing in convex analysis, fractional calculus, and integral inequalities. His academic journey, marked by strong theoretical foundations and computational expertise, has led to impactful research contributions. His ability to collaborate with international scholars and publish in high-impact journals demonstrates his potential as a mathematician. While he is in the early stages of his research career, his growing influence in the field suggests a promising future. With further experience and recognition, he is likely to make substantial contributions to mathematical sciences, bridging theoretical advancements with practical applications. His dedication to research and continuous learning sets the foundation for a successful academic and professional career.

Publications Top Noted

  • Title: Exploring properties and inequalities for geometrically arithmetically-Cr-convex functions with Cr-order relative entropy
    Authors: A. Fahad, Y. Wang, Z. Ali, R. Hussain, S. Furuichi
    Year: 2024
    Citations: 11
    Source: Information Sciences, Volume 662, Article ID 120219

  • Title: Novel fractional integral inequalities for GA-Cr-convex functions and connections with information systems
    Authors: A. Fahad, Z. Ali, S. Furuichi, Y. Wang
    Year: 2025
    Citations: 2
    Source: Alexandria Engineering Journal, Volume 113, Pages 509-515

  • Title: On generalization of Hermite–Hadamard–Mercer inequalities for interval-valued functions with generalized geometric–arithmetic convexity
    Authors: A. Fahad, Y. Qian, Z. Ali, A. Younus
    Year: 2024
    Citations: 2
    Source: International Journal of Geometric Methods in Modern Physics, Article ID 2440026

  • Title: New Inequalities for GA–h Convex Functions via Generalized Fractional Integral Operators with Applications to Entropy and Mean Inequalities
    Authors: A. Fahad, Z. Ali, S. Furuichi, S. I. Butt, Y. Wang
    Year: 2024
    Citations: Not available yet
    Source: Fractal and Fractional, Volume 8, Issue 12, Article ID 728

 

Ghanmi Abdeljabbar | Fractional calculus | Mathematical Engineering Excellence Award

Prof. Ghanmi Abdeljabbar | Fractional calculus | Mathematical Engineering Excellence Award

Professor in Mathematics at Tunis El Manar University, Tunisia

Dr. Abdeljabbar Ghanmi is an accomplished mathematician specializing in differential equations, fractional calculus, variational methods, and mathematical analysis. Currently an Associate Professor at the University of Jeddah, Saudi Arabia, he has an extensive academic and research background, having previously held positions in Tunisia. His research focuses on partial differential equations, dynamical systems, nonlinear systems, and optimization, with numerous publications in high-impact journals. Dr. Ghanmi collaborates with renowned mathematicians such as Prof. Vicentiu Radulescu and Prof. Dušan D. Repovš, reflecting his global research engagement. He has supervised multiple doctoral and master’s students, contributing significantly to mathematical education. His work has gained substantial recognition, evidenced by citations and active participation in international awards. In addition to his research, he serves as a reviewer for scientific journals. Dr. Ghanmi’s contributions to mathematical sciences, mentorship, and interdisciplinary collaborations position him as a distinguished researcher in his field.

Professional Profile 

Google Scholar
Scopus Profile
ORCID Profile

Education

Dr. Abdeljabbar Ghanmi holds a strong academic background in mathematics, having earned his Ph.D. in Applied Mathematics from a prestigious institution. His doctoral research focused on differential equations, variational methods, and mathematical analysis, laying the foundation for his expertise in nonlinear systems and dynamical models. Prior to his Ph.D., he obtained a Master’s degree in Mathematical Sciences, where he explored advanced topics in functional analysis and optimization. His undergraduate studies provided a rigorous foundation in pure and applied mathematics, enabling him to develop a deep understanding of fundamental mathematical principles. Throughout his academic journey, Dr. Ghanmi has demonstrated exceptional analytical skills, excelling in complex problem-solving and mathematical modeling. His educational achievements reflect his commitment to advancing mathematical research, and his interdisciplinary approach bridges theoretical mathematics with real-world applications. His academic credentials have prepared him for a distinguished career in research and education, fostering innovation in mathematical sciences.

Professional Experience

Dr. Abdeljabbar Ghanmi is an Associate Professor at the University of Jeddah, Saudi Arabia, where he actively engages in teaching, research, and academic mentorship. Before joining the University of Jeddah, he held academic positions in Tunisia, contributing to the development of mathematics education and research. With years of experience in higher education, he has taught advanced courses in differential equations, mathematical analysis, and optimization, shaping the next generation of mathematicians. His role extends beyond teaching, as he supervises Ph.D. and master’s students, guiding them in their research endeavors. Dr. Ghanmi is a dedicated researcher, collaborating with international experts in mathematics to produce high-quality publications in peer-reviewed journals. Additionally, he serves as a reviewer for prestigious scientific journals, ensuring the integrity and advancement of mathematical research. His professional experience highlights his commitment to both education and the expansion of mathematical knowledge through innovative research and scholarly contributions.

Research Interest

Dr. Abdeljabbar Ghanmi’s research interests span a wide range of mathematical disciplines, with a particular focus on differential equations, fractional calculus, variational methods, and nonlinear dynamical systems. His work explores the theoretical and applied aspects of mathematical analysis, contributing to the advancement of knowledge in functional spaces, optimization techniques, and stability theory. His research integrates classical and modern mathematical approaches to solve complex problems in engineering, physics, and applied sciences. Dr. Ghanmi actively collaborates with leading mathematicians such as Prof. Vicentiu Radulescu and Prof. Dušan D. Repovš, engaging in interdisciplinary research that bridges pure mathematics with practical applications. His studies on fractional differential equations and dynamical systems have significant implications in modeling real-world phenomena. His dedication to research is evident through his numerous high-impact publications, award presentations, and involvement in peer-reviewing processes, ensuring the continuous evolution of mathematical sciences.

Awards and Honors

Dr. Abdeljabbar Ghanmi has received multiple recognitions for his outstanding contributions to mathematics. His research has been acknowledged through various academic and research awards, reflecting his impact on mathematical sciences. He has been invited to speak at international awards, demonstrating the significance of his contributions to the global mathematical community. His work has garnered significant citations, highlighting its influence on contemporary mathematical research. In addition to his scholarly achievements, Dr. Ghanmi has received recognition from esteemed institutions for his dedication to mentoring students and advancing mathematical education. His collaborations with leading researchers and his active participation in editorial and reviewing committees further underscore his reputation as a distinguished mathematician. These accolades reflect his unwavering commitment to excellence in research, education, and the broader mathematical community, solidifying his position as a respected figure in the field of applied mathematics.

Conclusion

Dr. Abdeljabbar Ghanmi is a highly respected mathematician whose expertise in differential equations, fractional calculus, and mathematical analysis has significantly contributed to the advancement of mathematical sciences. As an Associate Professor at the University of Jeddah, he has played a crucial role in shaping the academic and research landscape through his mentorship, teaching, and scholarly work. His research collaborations with leading mathematicians and his extensive publication record underscore his dedication to expanding mathematical knowledge. Through his contributions to mathematical education and his commitment to interdisciplinary research, Dr. Ghanmi has made a lasting impact on the field. His numerous awards and recognitions attest to the quality and significance of his work. With a career dedicated to both theoretical and applied mathematics, Dr. Ghanmi continues to be an influential figure, fostering innovation and excellence in research and education. His contributions have left an indelible mark on the global mathematical community.

Publications Top Noted

Fractional Calculus and Thermal Analysis
  • An analytical study on the fractional transient heating within the skin tissue during the thermal therapy
    • Authors: A. Ghanmi, I.A. Abbas
    • Year: 2019
    • Citations: 114
    • Source: Journal of Thermal Biology 82, 229-233
Fractional and p-Laplacian Problems
  • A multiplicity results for a singular problem involving the fractional p-Laplacian operator

    • Authors: A. Ghanmi, K. Saoudi
    • Year: 2016
    • Citations: 68
    • Source: Complex Variables and Elliptic Equations 61 (9), 1199-1216
  • A multiplicity results for a singular equation involving the p(x)-Laplace operator

    • Authors: K. Saoudi, A. Ghanmi
    • Year: 2017
    • Citations: 65
    • Source: Complex Variables and Elliptic Equations 62 (5), 695-725
  • The Nehari manifold for a singular elliptic equation involving the fractional Laplace operator

    • Authors: A.G.K. Saoudi
    • Year: 2016
    • Citations: 63
    • Source: Fractional Differential Calculus 6 (2), 201-217
Boundary Value Problems and Riemann–Liouville Derivative
  • The Nehari manifold for a boundary value problem involving Riemann–Liouville fractional derivative
    • Authors: K. Saoudi, P. Agarwal, P. Kumam, A. Ghanmi, P. Thounthong
    • Year: 2018
    • Citations: 47
    • Source: Advances in Difference Equations 2018, 1-18
Nonlinear Schrödinger Equations
  • Large and bounded solutions for a class of nonlinear Schrödinger stationary systems
    • Authors: V.R.N.Z. Abdeljabbar Ghanmi, Habib Maagli
    • Year: 2009
    • Citations: 41
    • Source: Analysis and Application 7 (4), 391-404
Kirchhoff-type and Singular Equations
  • Minimax method involving singular p(x)-Kirchhoff equation

    • Authors: K. Ben Ali, A. Ghanmi, K. Kefi
    • Year: 2017
    • Citations: 39
    • Source: Journal of Mathematical Physics 58 (11)
  • Nontrivial solutions for Kirchhoff-type problems involving the -Laplace operator

    • Authors: A. Ghanmi
    • Year: 2018
    • Citations: 21
    • Source:
Singular and Indefinite Weight Problems
  • Existence of solution for a singular fractional Laplacian problem with variable exponents and indefinite weights

    • Authors: R. Chammem, A. Ghanmi, A. Sahbani
    • Year: 2021
    • Citations: 28
    • Source: Complex Variables and Elliptic Equations 66 (8), 1320-1332
  • On the Steklov problem involving the p(x)-Laplacian with indefinite weight

    • Authors: K.B. Ali, A. Ghanmi, K. Kefi
    • Year: 2017
    • Citations: 24
    • Source: Opuscula Mathematica 37 (6), 779-794
Existence and Multiplicity of Solutions in Fractional Differential Equations
  • Existence of solutions for fractional differential equations with Dirichlet boundary conditions

    • Authors: K.B. Ali, A. Ghanmi, K. Kefi
    • Year: 2016
    • Citations: 25
    • Source: Electronic Journal of Differential Equations 116, 1-11
  • Existence of positive solutions for a coupled system of nonlinear fractional differential equations

    • Authors: A. Ghanmi, S. Horrigue
    • Year: 2019
    • Citations: 23
    • Source: Ukrainian Mathematical Journal 71, 39-49
  • Existence of positive bounded solutions for some nonlinear elliptic systems

    • Authors: N.Z. A. Ghanmi, H. Mâagli, S. Turki
    • Year: 2009
    • Citations: 23
    • Source: Journal of Mathematical Analysis and Applications 352, 440-448
Nehari Manifold and Fractional Boundary Value Problems
  • Nehari manifold and multiplicity results for a class of fractional boundary value problems with p-Laplacian

    • Authors: A. Ghanmi, Z. Zhang
    • Year: 2019
    • Citations: 22
    • Source: Bulletin of the Korean Mathematical Society 56 (5), 1297-1314
  • Multiplicity of Nontrivial Solutions of a Class of Fractional p-Laplacian Problem

    • Authors: A. Ghanmi
    • Year: 2015
    • Citations: 20
    • Source: Zeitschrift für Analysis und ihre Anwendungen (Journal of Analysis and its Applications)
  • A multiplicity results for a singular problem involving a Riemann-Liouville fractional derivative

    • Authors: A. Ghanmi, M. Kratou, K. Saoudi
    • Year: 2018
    • Citations: 19
    • Source: Filomat 32 (2), 653-669
Styklov Problems and Fractional Analysis
  • Existence and multiplicity of solutions for some Styklov problem involving p(x)-Laplacian operator

    • Authors: R. Chammem, A. Ghanmi, A. Sahbani
    • Year: 2022
    • Citations: 17
    • Source: Applicable Analysis 101 (7), 2401-2417
  • Existence result and uniqueness for some fractional problem

    • Authors: G. Wang, A. Ghanmi, S. Horrigue, S. Madian
    • Year: 2019
    • Citations: 16
    • Source: Mathematics 7 (6), 516
  • Existence Results for Nonlinear Boundary Value Problems

    • Authors: A. Ghanmi, S. Horrigue
    • Year: 2018
    • Citations: 15
    • Source: Filomat 32 (2), 609-618

 

Siyuan Li | Theoretical Computer Science | Best Researcher Award

Dr. Siyuan Li | Theoretical Computer Science | Best Researcher Award

Dr. Siyuan Li is a dedicated researcher affiliated with Southeast University, holding a Doctorate from the same institution and a Master’s degree from The University of Alabama at Birmingham. With a strong academic foundation, Dr. Li has made notable contributions to scientific research, particularly through publications in SCI-indexed journals and patents, demonstrating expertise in innovation and applied research. Their work reflects a commitment to advancing knowledge in their field, though further details on citation impact, collaborations, and industry engagements would strengthen their profile. Dr. Li’s international academic experience enhances their research perspective, adding to their global credibility. While their contributions position them as a strong candidate for the Best Researcher Award, highlighting editorial roles, professional memberships, and academic leadership would further solidify their standing. Providing a comprehensive research profile, including citation metrics and project details, would enhance their nomination and showcase their full impact in the academic and scientific community.

Professional Profile 

ORCID Profile

Education

Dr. Siyuan Li has a solid academic background, earning a Doctorate from Southeast University and a Master’s degree from The University of Alabama at Birmingham. This educational journey has provided them with a strong theoretical and practical foundation, allowing them to contribute meaningfully to research and innovation. Their advanced degrees demonstrate expertise in their field, equipping them with the necessary analytical and technical skills to undertake complex research projects. By studying in both China and the United States, Dr. Li has gained international exposure, enabling them to engage with diverse academic environments and interdisciplinary research methodologies. Their academic credentials not only highlight their commitment to lifelong learning but also position them as a highly qualified researcher with the potential to drive impactful discoveries in their domain. Continuing to expand their academic qualifications and collaborations will further enhance their contributions to global scientific advancements.

Professional Experience

Dr. Siyuan Li is currently affiliated with Southeast University, where they are actively involved in research, publishing, and patent development. Their work has primarily focused on advancing knowledge through scientific innovation, as evidenced by their patents and publications in SCI-indexed journals. While their exact professional roles and responsibilities are not fully detailed, it is evident that they contribute significantly to their field through research, academic writing, and potential industry collaborations. Engaging with academic institutions and research communities, Dr. Li has demonstrated a strong foundation in applied research. However, further details on teaching experience, leadership roles, and industry engagement would strengthen their professional profile. Expanding involvement in editorial boards, professional organizations, and research grants could further establish their credibility and professional impact. A more comprehensive presentation of their professional contributions would enhance their nomination for prestigious awards and recognitions in academia and industry.

Research Interest

Dr. Siyuan Li’s research interests are rooted in scientific and technological advancements, as demonstrated by their published patents and SCI-indexed journal articles. Their work likely focuses on applied research, contributing to innovations that bridge theoretical concepts with real-world applications. While their exact areas of specialization remain unspecified, their academic background suggests expertise in engineering, computational sciences, or related interdisciplinary fields. Their research interests may also extend to industry-oriented projects, given their involvement in patent development. To further establish a strong research presence, Dr. Li could enhance their profile by detailing specific research projects, collaborations, and citation impact. By engaging in multidisciplinary research, international collaborations, and emerging technological fields, Dr. Li has the potential to make significant contributions to the scientific and academic community. A more detailed articulation of their research focus would strengthen their candidacy for prestigious awards and academic recognition.

Awards and Honors

Dr. Siyuan Li has demonstrated commendable achievements through patents and SCI-indexed journal publications, indicating contributions to research and innovation. While specific awards and honors are not listed, their academic and professional accomplishments suggest eligibility for recognitions such as Best Researcher Award, Outstanding Scientist Award, or Innovation Excellence Awards. To strengthen their award candidacy, highlighting previous recognitions, research grants, award presentations, and institutional honors would be beneficial. Engaging in academic leadership roles, editorial board memberships, and keynote speaker opportunities could further enhance their professional standing. Additionally, participating in international research collaborations and obtaining funding for high-impact projects would position Dr. Li as a leading researcher in their domain. Recognizing their achievements through formal awards would not only validate their contributions but also inspire further advancements in their field. Expanding on previous accolades and institutional recognition would significantly reinforce their standing in the academic and research community.

Conclusion

Dr. Siyuan Li is an accomplished researcher with a strong educational background, international academic exposure, and notable contributions to scientific innovation. Their publications in SCI-indexed journals and patents indicate a commitment to advancing knowledge and developing practical applications in their research field. However, to further enhance their profile, detailed information on research impact, citation index, industry collaborations, and leadership roles should be included. Expanding professional engagement through editorial board appointments, award presentations, and academic leadership roles would further solidify their reputation as a leading researcher. Dr. Li is well-positioned for recognition through research awards, but strengthening their application with additional achievements and professional contributions would make their candidacy even more competitive. By continuing to contribute to interdisciplinary research, international collaborations, and groundbreaking innovations, Dr. Li has the potential to achieve significant recognition and make a lasting impact on the academic and scientific community.

Publications Top Noted

  1. Title: Fully Incomplete Information for Multiview Clustering in Postoperative Liver Tumor Diagnoses

    • Authors: Siyuan Li, Xinde Li
    • Year: 2025
    • Source: Sensors
  2. Title: Analysis of Detection Methods in Massive MIMO Systems

    • Authors: Siyuan Li
    • Year: 2018
    • Source: Journal of Physics: Conference Series

 

LinTian Luh | Applied Mathematics | Numerical Analysis Research Award

Dr. LinTian Luh | Applied Mathematics | Numerical Analysis Research Award

Dr. Lin-Tian Luh is a distinguished mathematician specializing in radial basis functions, approximation theory, numerical mathematics, and topology. With a Ph.D. from the University of Göttingen, he has made significant contributions to the field, particularly in developing error bounds for high-dimensional interpolation and advancing the choice theory of shape parameters. Over his academic career at Providence University, where he served as a lecturer, associate professor, and full professor, he has been instrumental in enhancing research environments and collaborating internationally, notably with Professor R. Schaback. Dr. Luh has published extensively in high-impact journals, presented at major awards worldwide, and held editorial roles in reputable mathematical journals. His groundbreaking work on shape parameter selection has gained international recognition, solving longstanding challenges in the field. Honored multiple times for research excellence, he continues to push the boundaries of numerical analysis and computational mathematics, making profound impacts on scientific advancements.

Professional Profile 

Scopus Profile
ORCID Profile

Education

Dr. Lin-Tian Luh obtained his Ph.D. in Mathematics from the University of Göttingen, Germany, where he studied under leading experts in numerical analysis and approximation theory. His doctoral research focused on radial basis functions and their applications in high-dimensional interpolation. Prior to his Ph.D., he completed his undergraduate and master’s studies in Taiwan, building a strong foundation in pure and applied mathematics. Throughout his academic journey, he demonstrated exceptional analytical skills and a deep passion for solving complex mathematical problems. His international education provided him with a broad perspective, allowing him to integrate diverse mathematical techniques into his research. Exposure to rigorous mathematical training at Göttingen further refined his expertise in error estimation and shape parameter selection. His academic achievements laid the groundwork for a successful career in both theoretical and applied mathematics, enabling him to contribute significantly to the advancement of numerical methods in scientific computation.

Professional Experience

Dr. Lin-Tian Luh has had a distinguished academic career, spanning decades of research, teaching, and mentorship. He began as a lecturer at Providence University in Taiwan, where he quickly established himself as an authority in numerical mathematics. Rising through the ranks to associate professor and later full professor, he played a pivotal role in shaping the university’s mathematics curriculum and fostering a strong research environment. He has collaborated extensively with international scholars, including Professor R. Schaback, contributing to groundbreaking advancements in radial basis function interpolation. Dr. Luh has also held visiting research positions at prestigious institutions, further strengthening his global academic impact. His dedication to teaching has inspired numerous students to pursue research in computational mathematics. Beyond academia, he has served on editorial boards of leading mathematical journals and as a reviewer for high-impact publications, solidifying his reputation as a key figure in numerical analysis and approximation theory.

Research Interest

Dr. Lin-Tian Luh’s research interests lie in numerical analysis, radial basis function (RBF) interpolation, approximation theory, and topology. He has made substantial contributions to high-dimensional interpolation techniques, particularly in error estimation and shape parameter selection for RBF methods. His work on developing optimal strategies for shape parameter choice has addressed longstanding challenges in computational mathematics, influencing applications in engineering, data science, and machine learning. He is also deeply engaged in the theoretical aspects of approximation theory, exploring new methods to improve the efficiency and accuracy of numerical algorithms. Dr. Luh’s research extends into applied topology, where he investigates connections between geometric structures and computational models. His interdisciplinary approach has led to collaborations across various fields, reinforcing the importance of mathematical theory in real-world problem-solving. With numerous publications in top-tier journals, his work continues to shape the evolving landscape of numerical mathematics and scientific computation.

Awards and Honors

Dr. Lin-Tian Luh has received multiple accolades for his exceptional contributions to mathematics, particularly in numerical analysis and approximation theory. He has been recognized by prestigious mathematical societies and institutions for his pioneering work in radial basis function interpolation. His research on shape parameter selection has earned international acclaim, leading to invitations as a keynote speaker at major mathematical awards. Dr. Luh has also been honored with excellence in research awards from Providence University, where his work has significantly advanced the institution’s academic reputation. In addition, he has received grants and fellowships supporting his innovative research, further validating his impact in the field. His editorial contributions to leading mathematical journals have also been acknowledged, highlighting his influence in shaping contemporary numerical mathematics. These honors reflect his dedication, originality, and profound impact on both theoretical and applied mathematics, reinforcing his legacy as a leader in computational and approximation theory.

Conclusion

Dr. Lin-Tian Luh is a renowned mathematician whose work in numerical analysis, radial basis function interpolation, and approximation theory has significantly influenced the field. With a strong educational background from the University of Göttingen and an illustrious academic career at Providence University, he has played a crucial role in advancing research and mentoring future generations of mathematicians. His collaborations with international scholars and contributions to high-dimensional interpolation techniques have provided groundbreaking insights into shape parameter selection and error estimation. Recognized globally for his research excellence, he has received multiple awards and honors, further establishing his prominence in mathematical sciences. Dr. Luh’s work continues to inspire and drive progress in numerical computation, bridging theoretical advancements with practical applications. His dedication to expanding mathematical knowledge and fostering innovation ensures that his contributions will have a lasting impact on the field, shaping the future of approximation theory and scientific computing.

Publications Top Noted

  • The Shape Parameter in the Shifted Surface Spline—A Sharp and Friendly Approach

    • Author: Lin-Tian Luh
    • Year: 2024
    • Source: Mathematics (MDPI)
  • Solving Poisson Equations by the MN-Curve Approach

    • Author: Lin-Tian Luh
    • Year: 2022
    • Source: Mathematics (MDPI)
  • A Direct Prediction of the Shape Parameter in the Collocation Method of Solving Poisson Equation

    • Author: Lin-Tian Luh
    • Year: 2022
    • Source: Mathematics (MDPI)
  • The Shape Parameter in the Shifted Surface Spline—An Easily Accessible Approach

    • Author: Lin-Tian Luh
    • Year: 2022
    • Source: Mathematics (MDPI)
  • A Direct Prediction of the Shape Parameter—A Purely Scattered Data Approach

    • Author: Lin-Tian Luh
    • Year: 2020
    • Source: Engineering Analysis with Boundary Elements (EABE)
  • The Choice of the Shape Parameter–A Friendly Approach

    • Author: Lin-Tian Luh
    • Year: 2019
    • Source: Engineering Analysis with Boundary Elements (Elsevier)
  • The Mystery of the Shape Parameter III

    • Author: Lin-Tian Luh
    • Year: 2016
    • Source: Applied and Computational Harmonic Analysis (Elsevier)
  • The Mystery of the Shape Parameter IV

    • Author: Lin-Tian Luh
    • Year: 2014
    • Source: Engineering Analysis with Boundary Elements (Elsevier)
  • The Shape Parameter in the Gaussian Function II

    • Author: Lin-Tian Luh
    • Year: 2013
    • Source: Engineering Analysis with Boundary Elements (Elsevier)
  • The Shape Parameter in the Gaussian Function

    • Author: Lin-Tian Luh
    • Year: 2012
    • Source: Computers and Mathematics with Applications (Elsevier)
  • The Shape Parameter in the Shifted Surface Spline III

    • Author: Lin-Tian Luh
    • Year: 2012
    • Source: Engineering Analysis with Boundary Elements (Elsevier)
  • Evenly Spaced Data Points and Radial Basis Functions

    • Author: Lin-Tian Luh
    • Year: 2011
    • Source: WIT Transactions on Modelling and Simulation
  • The Crucial Constants in the Exponential-Type Error Estimates for Gaussian Interpolation

    • Author: Lin-Tian Luh
    • Year: 2008
    • Source: Analysis in Theory and Applications
  • A Direct Prediction of the Shape Parameter in the Collocation Method of Solving Poisson Equation (Preprint)

    • Author: Lin-Tian Luh
    • Year: 2022
    • Source: Multidisciplinary Digital Publishing Institute (MDPI Preprints)

 

Yaoshun Fu | Artificial Intelligence in Mathematics | Best Researcher Award

Dr. Yaoshun Fu | Artificial Intelligence in Mathematics | Best Researcher Award

Senior Engineer at Beijing Aerospace Era Optoelectronic Technology Co., Ltd, China

Dr. Yaoshun Fu is a distinguished researcher specializing in formal verification, machine theorem proving, and axiomatic set theory. He holds a Ph.D. in Electronic Science and Technology from Beijing University of Posts and Telecommunications (BUPT) and has made significant contributions to mathematical proof automation using Coq-based formal verification. With over 10 research publications, including two JCR Q1 papers as the first author, he has established himself as a leading scholar in his field. His work spans real analysis, topology, algebra, and set theory, with applications in program verification and security. Dr. Fu has also authored two books, secured nine software copyrights, and presented at prestigious international awards. While his research impact is growing, expanding international collaborations and interdisciplinary applications could further enhance his global recognition. His expertise and contributions make him a strong contender for the Best Researcher Award in theoretical and applied mathematics.

Professional Profile 

Scopus Profile

Education

Dr. Yaoshun Fu obtained his Bachelor’s degree in Communication Engineering from Shandong Normal University in 2015. He then pursued his Master’s and Ph.D. degrees in Electronic Science and Technology at Beijing University of Posts and Telecommunications (BUPT) from 2016 to 2022. His doctoral research focused on formal verification, machine theorem proving, and axiomatic set theory, particularly leveraging the Coq proof assistant for mathematical formalization. Throughout his academic journey, he has engaged in cutting-edge research in real analysis, topology, algebra, and formal logic, demonstrating his deep understanding of both theoretical mathematics and computational proof systems. His educational background has provided him with a strong foundation in both mathematical reasoning and practical applications of formal methods, preparing him for a highly impactful research career. His rigorous training in mathematical formalization and theorem proving has positioned him as an emerging expert in the field.

Professional Experience

Dr. Yaoshun Fu has been actively involved in research in formal methods, mathematical logic, and automated theorem proving for several years. During his doctoral studies at BUPT, he worked on multiple projects supported by the National Natural Science Foundation of China, contributing to the development of Coq-based mathematical proof systems. His work has included formalizing real analysis without limits, proving equivalence among completeness theorems of real numbers, and developing machine-proof systems for topology and algebra. As a researcher, he has collaborated with experts in applied mathematics, theoretical computer science, and logic. He has also authored two books and obtained nine software copyrights, demonstrating his ability to translate theoretical research into tangible software solutions. Additionally, he has presented his findings at leading international awards, strengthening his reputation as a scholar in formal verification and theorem proving.

Research Interest

Dr. Yaoshun Fu’s research interests lie in formal verification, machine theorem proving, axiomatic set theory, and mathematical formalization. His primary focus is on using interactive theorem provers such as Coq to develop rigorous, machine-checkable proofs for real analysis, topology, algebra, and logic. He is particularly interested in bridging the gap between human mathematical intuition and computer-assisted proof verification, with applications in program verification, security, and symbolic computation. His research explores automated reasoning techniques, formalizing classical theorems, and ensuring correctness in mathematical software. His expertise extends to constructive mathematics and foundational theories, with an emphasis on improving the reliability and efficiency of formal proof systems. Looking ahead, he aims to expand his research to interdisciplinary applications, such as AI-driven theorem proving, automated logic solvers, and mathematical modeling for secure computing. His work contributes significantly to advancing the field of computer-aided mathematics and proof automation.

Awards and Honors

Dr. Yaoshun Fu has received several prestigious awards in recognition of his academic excellence and research contributions. In 2021, he played a key role as a core member of a student leadership team, earning his group a Top Ten Student Organization award at BUPT. In 2020, he was recognized as an Outstanding Graduate Student Leader for his role as an organizational committee member. His doctoral research was supported by competitive grants, including funding from the National Natural Science Foundation of China, which enabled him to advance his work in formal verification and mathematical theorem proving. Additionally, he has been invited to present at major international awards, further establishing his scholarly reputation. His awards and honors highlight his dedication to academic excellence, leadership, and impactful research, positioning him as a rising star in formal methods and mathematical verification.

Conclusion

Dr. Yaoshun Fu is an accomplished researcher in formal verification, machine theorem proving, and axiomatic set theory, with a strong academic background and extensive research contributions. His expertise in Coq-based formal verification, real analysis, topology, and logic has led to high-impact publications, software developments, and book authorships. His contributions to mathematical proof automation are not only theoretically significant but also have practical implications in program verification and security applications. While his research impact is steadily growing, further international collaborations and interdisciplinary applications could enhance his global recognition. Given his academic excellence, research productivity, and leadership, Dr. Fu is a strong candidate for prestigious research awards. His continued dedication to mathematical formalization and theorem proving promises to push the boundaries of computer-aided mathematics, making him a valuable asset to the scientific community.

Publications Top Noted

  • Title: A Formalization of Topological Spaces in Coq

      • Authors: Sheng Yan, Yaoshun Fu, Dakai Guo, Wensheng Yu
      • Year: July 2022
      • Citations: 5
      • Source: Lecture Notes in Electrical Engineering
  • Title: Formalizing Calculus without Limit Theory in Coq

      • Authors: Yaoshun Fu, Wensheng Yu
      • Year: June 2021
      • Citations: 4
      • Source: Mathematics
  • Title: Formalization of the Equivalence among Completeness Theorems of Real Number in Coq

      • Authors: Yaoshun Fu, Wensheng Yu
      • Year: December 2020
      • Citations: 5
      • Source: Mathematics
  • Title: A Formalization of Properties of Continuous Functions on Closed Intervals

      • Authors: Yaoshun Fu, Wensheng Yu
      • Year: July 2020
      • Citations: 3
      • Source: Lecture Notes in Computer Science
  • Title: A Formal Proof in Coq of Cantor-Bernstein-Schroeder’s Theorem without Axiom of Choice

      • Authors: Xiaoyan Zao, Tianyu Sun, Yaoshun Fu, Wensheng Yu
      • Year: July 2019
      • Citations: 1
      • Source: Conference Paper
  • Title: A Formal Proof in Coq of Cantor-Bernstein-Schroeder’s Theorem without Axiom of Choice

      • Authors: Yaoshun Fu, Tianyu Sun, Wensheng Yu
      • Year: November 2019
      • Citations: Not specified
      • Source: Conference Paper