Sumit Kumar Jha

From MaRDI portal
Person:533359

Available identifiers

zbMath Open jha.sumit-kumarMaRDI QIDQ533359

List of research outcomes





PublicationDate of PublicationType
Two complementary relations for the Rogers-Ramanujan continued fraction2022-07-13Paper
A formula for the number of partitions of \(n\) in terms of the partial Bell polynomials2022-02-11Paper
A congruence for the number of alternating permutations2021-10-20Paper
https://portal.mardi4nfdi.de/entity/Q49589682021-09-15Paper
An identity for the sum of inverses of odd divisors of \(n\) in terms of the number of representations of \(n\) as a sum of squares2021-09-10Paper
https://portal.mardi4nfdi.de/entity/Q49873982021-05-03Paper
https://portal.mardi4nfdi.de/entity/Q51487872021-02-05Paper
https://portal.mardi4nfdi.de/entity/Q51095282020-05-12Paper
Two new explicit formulas for the Bernoulli Numbers2020-05-11Paper
Two new identities involving the Bernoulli numbers, the Euler numbers, and the Stirling numbers of the first kind2020-02-17Paper
An elementary proof of Euler's product expansion for the sine2020-01-31Paper
Initial Excitation-Based Iterative Algorithm for Approximate Optimal Control of Completely Unknown LTI Systems2020-01-28Paper
A new explicit formula for Bernoulli numbers involving the Euler number2019-11-05Paper
Duality-based nested controller synthesis from STL specifications for stochastic linear systems2018-12-06Paper
Revisiting calculation of moments of number of comparisons used by the randomized quick sort algorithm2017-03-07Paper
Distributed Markov Chains2015-02-04Paper
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement2011-05-03Paper
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction2009-03-11Paper
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata2008-09-02Paper
d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata2008-09-02Paper
Hybrid Systems: Computation and Control2005-11-11Paper

Research outcomes over time

This page was built for person: Sumit Kumar Jha