TransWikia.com

All questions asked by john c. j.

List all solved & unsolved questions asked by john c. j.

Gerund-based heading and participle-based heading. How to make them look different?

0   English Language & Usage Asked on 08/09/2020

gerunds  gerunds vs participles  programming 

Can this be accepted as a proof of the question.

0   Mathematics Asked on 12/20/2021

solution verification 

How to derive ${ A vdash C }$ from ${A lor B vdash C}$ in the sequent calculus LK?

1   Mathematics Asked on 12/20/2021

formal proofs  logic  proof theory  propositional calculus  sequent calculus 

Drawing non-intersecting curves (or segments) connecting non-adjacent vertices in a regular polygon

2   Mathematics Asked on 12/20/2021

combinatorial geometry  combinatorics  geometry  graph theory  planar graphs 

Time continuity of the function in L1 norm i.e. $C([0,T];L^1) $

1   Mathematics Asked on 12/20/2021

bounded variation  lp spaces  measure theory  real analysis  total variation 

stationary independent increments: f(t+s) = f(t) + f(s), therefore f(t)=ct

2   Mathematics Asked on 12/20/2021

poisson process  stochastic processes 

Let $Phi$ be standard Gaussian CDF and $u > 0$. What is good u-bound for $int_0^1Phi(u/r - ur)dr$ as a function of $u$?

1   Mathematics Asked on 12/20/2021

gaussian integral  probability  real analysis  special functions  upper lower bounds 

Diagonal of (self) product of doubly stochastic transition matrix

1   Mathematics Asked on 12/20/2021

markov chains  matrices  probability  stochastic matrices  stochastic processes 

$mathbb R$ as continuum many of pairwise disjoint of Bernstein sets

1   Mathematics Asked on 12/20/2021

set theory  transfinite induction  transfinite recursion 

How to evaluate the following limit: $lim_{xto 0}frac{12^x-4^x}{9^x-3^x}$?

6   Mathematics Asked on 12/20/2021

calculus  limits  limits without lhopital 

Ask a Question

Get help from others!

Recent Answers

Recent Questions

Categories

Tags

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP