Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View history
Purge
English
Log in
No label defined
(Q3384160)
From MaRDI portal
Jump to:
navigation
,
search
scientific article
Language
Label
Description
Also known as
English
No label defined
scientific article
Statements
instance of
scholarly article
0 references
author
Lisa Hutschenreiter
0 references
Joachim Klein
0 references
Christel Baier
0 references
publication date
14 December 2021
0 references
full work available at URL
http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.2
0 references
MaRDI profile type
MaRDI publication profile
0 references
cites work
Q5322945
0 references
Computational Solutions of Matrix Problems Over an Integral Domain
0 references
Computing the first Betti number of a semi-algebraic set
0 references
The complexity of elementary algebra and geometry
0 references
LTL Model Checking of Interval Markov Chains
0 references
Model-Checking ω-Regular Properties of Interval Markov Chains
0 references
Theoretical Aspects of Computing - ICTAC 2004
0 references
Q4023676
0 references
A logic for reasoning about time and reliability
0 references
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
0 references
Q2736352
0 references
Solving systems of linear equations over polynomials
0 references
Q4864760
0 references
Parametric probabilistic transition systems for system design and analysis
0 references
The Exact Solution of Systems of Linear Equations with Polynomial Coefficients
0 references
Parameter synthesis for Markov models: faster than ever
0 references
Tools and Algorithms for the Construction and Analysis of Systems
0 references
An algorithm for solving parametric linear systems
0 references
Identifiers
zbMATH Open document ID
1483.68195
0 references
Mathematics Subject Classification ID
68Q60
0 references
03B70
0 references
60J20
0 references
68Q25
0 references
68Q87
0 references
zbMATH DE Number
7445155
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Publication:3384160
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI