scispace - formally typeset
BookDOI

Numerische Mathematik 1

Josef Stoer
Reads0
Chats0
About
The article was published on 1989-01-01. It has received 2186 citations till now.

read more

Citations
More filters
Book ChapterDOI

On the properties of runge-kutta discrete adjoints

TL;DR: The consistency analysis uses the concept of elementary differentials and reveals that the discrete Runge-Kutta adjoint method has the same order of accuracy as the original, forward method.
Posted Content

Community Detection in Networks: The Leader-Follower Algorithm

TL;DR: The leader-follower algorithm is proposed which is based upon the natural internal structure expected of communities in social networks and can resolve a finer community structure in dense networks than common spectral clustering methods based on external community structure.

Numerical simulation of photovoltaic generators with shaded cells

TL;DR: In this paper, a model which is able to describe the relationship between current and voltage of a solar cell in generation region as well as the breakdowns at positive and negative voltages is given.
Journal ArticleDOI

Investigating brain community structure abnormalities in bipolar disorder using path length associated community estimation.

TL;DR: The structural brain networks obtained from a sample of 25 euthymic bipolar I subjects versus 25 gender‐ and age‐matched healthy controls showed community structural differences in posterior default mode network regions, with the bipolar group exhibiting left‐right decoupling.
Book ChapterDOI

A Refinement-Based Approach to Computational Algebra in Coq

TL;DR: A step-by-step approach to the implementation and formal verification of efficient algebraic algorithms, illustrated on key applications: matrix rank computation, Winograd's fast matrix product, Karatsuba's polynomial multiplication, and the gcd of multivariate polynomials.