Sumit Kumar Jha

Available identifiers

zbMath Open jha.sumit-kumarMaRDI QIDQ533359

List of research outcomes

Publication	Date of Publication	Type
Two complementary relations for the Rogers-Ramanujan continued fraction	2022-07-13	Paper
A formula for the number of partitions of \(n\) in terms of the partial Bell polynomials	2022-02-11	Paper
A congruence for the number of alternating permutations	2021-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4958968	2021-09-15	Paper
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 squares	2021-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q4987398	2021-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q5148787	2021-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q5109528	2020-05-12	Paper
Two new explicit formulas for the Bernoulli Numbers	2020-05-11	Paper
Two new identities involving the Bernoulli numbers, the Euler numbers, and the Stirling numbers of the first kind	2020-02-17	Paper
An elementary proof of Euler's product expansion for the sine	2020-01-31	Paper
Initial Excitation-Based Iterative Algorithm for Approximate Optimal Control of Completely Unknown LTI Systems	2020-01-28	Paper
A new explicit formula for Bernoulli numbers involving the Euler number	2019-11-05	Paper
Duality-based nested controller synthesis from STL specifications for stochastic linear systems	2018-12-06	Paper
Revisiting calculation of moments of number of comparisons used by the randomized quick sort algorithm	2017-03-07	Paper
Distributed Markov Chains	2015-02-04	Paper
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement	2011-05-03	Paper
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction	2009-03-11	Paper
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata	2008-09-02	Paper
d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata	2008-09-02	Paper
Hybrid Systems: Computation and Control	2005-11-11	Paper

Research outcomes over time

This page was built for person: Sumit Kumar Jha