Sumit Kumar Jha

From MaRDI portal
Revision as of 12:06, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Sumit Kumar Jha