Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Mathematics in Computer Science

Issue 4/2012

Constraint Solving and Complex Systems

Content (9 Articles)

Foreword

Stefan Ratschan, Thomas Sturm

Combining Interval Analysis with Flatness Theory for State Estimation of Sailboat Robots

Luc Jaulin

Rational General Solutions of Trivariate Rational Differential Systems

Yanli Huang, L. X. Châu Ngô, Franz Winkler

The Non-Archimedean Theory of Discrete Systems

Vladimir Anashin

Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems

Jiang Liu, Naijun Zhan, Hengjun Zhao

Superposition as a Decision Procedure for Timed Automata

Arnaud Fietzke, Christoph Weidenbach

Superposition Decides the First-Order Logic Fragment Over Ground Theories

Evgeny Kruglov, Christoph Weidenbach

On Solving Parametric Polynomial Systems

Marc Moreno Maza, Bican Xia, Rong Xiao

A Calculus for Generic, QoS-Aware Component Composition

L. S. Barbosa, Sun Meng

Sep 12
Issue: 3/2012
Special Focus on Mathematics and Algorithms for CAM and CNC
Mar 13
Issue: 1/2013
Near Set Theory and Applications

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits