The following pages link to Mathematics in Computer Science (Q294368):
Displayed 50 items.
- Interval methods for real-time capable robust control of solid oxide fuel cell systems (Q475452) (← links)
- Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation (Q475453) (← links)
- Special issue: Special sessions under the title ``Algebraic and algorithmic aspects of differential and integral operators session'' (AADIOS). Selected papers based on the presentations at the international conferences on applications of computer algebra (Q533009) (← links)
- Dimension polynomials of intermediate fields and Krull-type dimension of finitely generated differential field extensions (Q541956) (← links)
- Discrete Burgers' equation, binomial coefficients and Mandala (Q541961) (← links)
- Factorization and resultants of partial differential operators (Q541962) (← links)
- A normal form algorithm for regular differential chains (Q541963) (← links)
- Symbolic computation of local symmetries of nonlinear and linear partial and ordinary differential equations (Q541964) (← links)
- Refinement of two-factor factorizations of a linear partial differential operator of arbitrary order and dimension (Q541965) (← links)
- Linear differential elimination for analytic functions (Q541967) (← links)
- Operational calculus approach to nonlocal Cauchy problems (Q541970) (← links)
- A fast approach to creative telescoping (Q541971) (← links)
- A monomial-by-monomial method for computing regular solutions of systems of pseudo-linear equations (Q541974) (← links)
- Serre's reduction of linear functional systems. (Q541975) (← links)
- Enumeration and generating functions of Rota-Baxter words. (Q541977) (← links)
- Enumeration and generating functions of differential Rota-Baxter words. (Q541978) (← links)
- Constructive \(D\)-module theory with \texttt{Singular} (Q541982) (← links)
- Special issue: Special sessions under the title ``Algebraic and algorithmic aspects of differential and integral operators session'' (AADIOS). Selected papers based on the presentations at the international conferences on applications of computer algebra (Q593217) (← links)
- Algorithms for singleton attractor detection in planar and nonplanar AND/OR Boolean networks (Q626872) (← links)
- Deriving behavior of Boolean bioregulatory networks from subnetwork dynamics (Q626873) (← links)
- Towards an automated reduction method for polynomial ODE models of biochemical reaction systems (Q626876) (← links)
- Hybrid dynamics of stochastic \(\pi \)-calculus (Q626878) (← links)
- Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology (Q626879) (← links)
- Stability of disease free equilibria in epidemiological models (Q626881) (← links)
- From individuals to populations: a symbolic process algebra approach to epidemiology (Q626882) (← links)
- The computational complexity of extrapolation methods (Q626884) (← links)
- A Bayesian model for root computation (Q626886) (← links)
- Reduced Gröbner bases in polynomial rings over a polynomial ring (Q626887) (← links)
- An algorithm for computing a Gröbner basis of a polynomial ideal over a ring with zero divisors (Q626888) (← links)
- Good local behavior of offsets to implicit algebraic curves (Q626889) (← links)
- Local algorithms for the prime factorization of strong product graphs (Q626891) (← links)
- Fast, practical algorithms for computing all the repeats in a string (Q626893) (← links)
- Scalability and communication in parallel low-complexity lossless compression (Q626896) (← links)
- BLIM: A new bit-parallel pattern matching algorithm overcoming computer word size limitation (Q626897) (← links)
- A randomized algorithm for 3-SAT (Q626900) (← links)
- Cache oblivious algorithms for the RMQ and the RMSQ problems (Q626901) (← links)
- Analytical studies of energy-time efficiency of blocking expanding ring search (Q626902) (← links)
- Estimating the volumes of the cones in a Gröbner fan (Q626904) (← links)
- Analysis of local search landscapes for \(k\)-SAT instances (Q626907) (← links)
- Scale free properties of random \(k\)-trees (Q626908) (← links)
- Foreword to the special issue on authoring, digitalization and management of mathematical knowledge (Q626909) (← links)
- Digital mathematics libraries: the good, the bad, the ugly (Q626910) (← links)
- Digitization projects in Spain (Q626913) (← links)
- Digitization of mathematical editions in Serbia (Q626916) (← links)
- Evolution of the mathematical collection of the Polish virtual library of science (Q626920) (← links)
- Grammatical verification for mathematical formula recognition based on context-free tree grammar (Q626924) (← links)
- Transforming large collections of scientific publications to XML (Q626929) (← links)
- Tactics for hierarchical proof (Q626933) (← links)
- Mathematical context in interactive documents (Q626936) (← links)
- Specifying rewrite strategies for interactive exercises (Q626940) (← links)