UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 166

Sortiert nach

On initials and the fundamental theorem of tropical partial differential algebraic geometry

Journal of symbolic computation, 2023-03, Vol.115, p.53-73

2023

Volltextzugriff (PDF)

An equivalence theorem for regular differential chains

Journal of symbolic computation, 2019-07, Vol.93, p.34-55

2019

Volltextzugriff (PDF)

Additive normal forms and integration of differential fractions

Journal of symbolic computation, 2016-11, Vol.77, p.16-38

2016

Volltextzugriff (PDF)

Computing differential characteristic sets by change of ordering

Journal of symbolic computation, 2010, Vol.45 (1), p.124-149

2010

Volltextzugriff (PDF)

Optimal management under stochastic interest rates: the case of a protected defined contribution pension fund

Insurance, mathematics & economics, 2001-04, Vol.28 (2), p.173-189

2001

Volltextzugriff (PDF)

Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings

2023

Volltextzugriff (PDF)

Finding First Integrals Using Normal Forms Modulo Differential Regular Chains

Computer Algebra in Scientific Computing, 2015, Vol.9301, p.101-118

2015

Volltextzugriff (PDF)

Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling

Computer Algebra in Scientific Computing, 2018, Vol.11077, p.82-98

2018

Volltextzugriff (PDF)

On Initials and the Fundamental Theorem of Tropical Partial Differential Geometry

Journal of symbolic computation, 2023-03, Vol.115C, p.53-73

2023

Volltextzugriff (PDF)

Differential Algebra and System Modeling in Cellular Biology

Algebraic Biology, 2008, Vol.5147, p.22-39

2008

Volltextzugriff (PDF)

An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data

Computer Algebra in Scientific Computing, p.28-43

Volltextzugriff (PDF)

Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits

Algebraic Biology, p.56-64

Volltextzugriff (PDF)

An Implementation of Parallel Number-Theoretic Transform Using Intel AVX-512 Instructions

Computer Algebra in Scientific Computing, 2022, Vol.13366, p.318-332

2022

Volltextzugriff (PDF)

A New Deterministic Method for Computing Milnor Number of an ICIS

Computer Algebra in Scientific Computing, 2021, Vol.12865, p.391-408

2021

Volltextzugriff (PDF)

Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality

Computer Algebra in Scientific Computing, 2020, Vol.12291, p.543-562

2020

Volltextzugriff (PDF)

Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities

Computer Algebra in Scientific Computing, 2020, Vol.12291, p.447-460

2020

Volltextzugriff (PDF)

The SYMBIONT project: symbolic methods for biological networks

ACM communications in computer algebra, 2018-09, Vol.52 (3), p.67-70

2018

Volltextzugriff (PDF)

On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains

Computer Algebra in Scientific Computing, p.61-72

Volltextzugriff (PDF)

Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System

Computer Algebra in Scientific Computing, 2022, p.62-82

2022

Volltextzugriff (PDF)

On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry

Computer Algebra in Scientific Computing, 2021, Vol.12865, p.62-77

2021

Volltextzugriff (PDF)

New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis

Computer Algebra in Scientific Computing, 2022, Vol.13366, p.300-317

2022

Volltextzugriff (PDF)

A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks

Computer Algebra in Scientific Computing, 2020, p.492-509

2020

Volltextzugriff (PDF)

How to Automatise Proofs of Operator Statements: Moore–Penrose Inverse; A Case Study

Computer Algebra in Scientific Computing, 2023, Vol.14139, p.39-68

2023

Volltextzugriff (PDF)

Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs – A MAPLE Package

Maple in Mathematics Education and Research, p.89-103

Volltextzugriff (PDF)

Root-Squaring for Root-Finding

Computer Algebra in Scientific Computing, 2023, Vol.14139, p.107-127

2023

Volltextzugriff (PDF)

1 – 25 von 166

Suche als RSS-Feed

Aktive Filter

KollektionSpringer Journals

Zeitschrift / SerieAnnales De Biologie Clinique

ThemaAlgorithms

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(128)
Mit Volltextzugriff
(155)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

On initials and the fundamental theorem of tropical partial differential algebraic geometry

An equivalence theorem for regular differential chains

Additive normal forms and integration of differential fractions

Computing differential characteristic sets by change of ordering

Optimal management under stochastic interest rates: the case of a protected defined contribution pension fund

Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings

Finding First Integrals Using Normal Forms Modulo Differential Regular Chains

Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling

On Initials and the Fundamental Theorem of Tropical Partial Differential Geometry

Differential Algebra and System Modeling in Cellular Biology

An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data

Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits

An Implementation of Parallel Number-Theoretic Transform Using Intel AVX-512 Instructions

A New Deterministic Method for Computing Milnor Number of an ICIS

Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality

Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities

The SYMBIONT project: symbolic methods for biological networks

On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains

Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System

On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry

New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis

A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks

How to Automatise Proofs of Operator Statements: Moore–Penrose Inverse; A Case Study

Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs – A MAPLE Package

Root-Squaring for Root-Finding

Aktive Filter

Suchergebnisse filtern