BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Sebastian Walcher

Sebastian Walcher appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.DSmath-phmath.MPMolecular NetworksLogic in Computer ScienceQuantitative MethodsSymbolic Computation

Catalog footprint

What is connected

6works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2021arXiv

Algorithmic Reduction of Biological Networks With Multiple Time Scales

We present a symbolic algorithmic approach that allows to compute invariant manifolds and corresponding reduced systems for differential equations modeling biological networks which comprise chemical reaction networks for cellular biochemistry, and compartmental models for pharmacology, epidemiology and ecology. Multiple time scales of a given network are obtained by scaling, based on tropical geometry. Our reduction is mathematically justified within a singular perturbation setting. The existence of invariant manifolds is subject to hyperbolicity conditions, for which we propose an algorithmic test based on Hurwitz criteria. We finally obtain a sequence of nested invariant manifolds and respective reduced systems on those manifolds. Our theoretical results are generally accompanied by rigorous algorithmic descriptions suitable for direct implementation based on existing off-the-shelf software systems, specifically symbolic computation libraries and Satisfiability Modulo Theories solvers. We present computational examples taken from the well-known BioModels database using our own prototypical implementations.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Tikhonov-Fenichel reduction for parameterized critical manifolds with applications to chemical reaction networks

We derive a reduction formula for singularly perturbed ordinary differential equations (in the sense of Tikhonov and Fenichel) with a known parameterization of the critical manifold. No a priori assumptions concerning separation of slow and fast variables are made, or necessary.We apply the theoretical results to chemical reaction networks with mass action kinetics admitting slow and fast reactions. For some relevant classes of such systems there exist canonical parameterizations of the variety of stationary points, hence the theory is applicable in a natural manner. In particular we obtain a closed form expression for the reduced system when the fast subsystem admits complex balanced steady states.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Dynamical systems and σ-symmetries

A deformation of the standard prolongation operation, defined on sets of vector fields in involution rather than on single ones, was recently introduced and christened "σ-prolongation"; correspondingly one has "σ-symmetries" of differential equations. These can be used to reduce the equations under study, but the general reduction procedure under σ-symmetries fails for equations of order one. In this note we discuss how σ-symmetries can be used to reduce dynamical systems, i.e. sets of first order ODEs in the form dx^a/dt = f^a (x).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A generalization of λ-symmetry reduction for systems of ODEs: σ-symmetries

We consider a deformation of the prolongation operation, defined on sets of vector fields and involving a mutual interaction in the definition of prolonged ones. This maintains the "invariants by differentiation" property, and can hence be used to reduce ODEs satisfying suitable invariance conditions in a fully algorithmic way, similarly to what happens for standard prolongations and symmetries.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Orbital reducibility and a generalization of lambda symmetries

We review the notion of reducibility and we introduce and discuss the notion of orbital reducibility for autonomous ordinary differential equations of first order. The relation between (orbital) reducibility and (orbital) symmetry is investigated and employed to construct (orbitally) reducible systems. By standard identifications, the notions extend to non-autonomous ODEs of first and higher order. Moreover we thus obtain a generalization of the lambda symmetries of Muriel and Romero. Several examples are given.

0 citations0 reviewsNo code linkedOpen access