ZIB

Hits per page

hits 1 - 2 | 2 hits

Sorting

Electronic Resource

Reasoning over Networks by Symbolic Methods (1999)

Sturm, Thomas

Springer

Applicable algebra in engineering, communication and computing 10 (1999), S. 79-96

add to mindlist on the mindlist

Details

ISSN: 1432-0622

Keywords: Key words: Network analysis, Network sizing, Error detection, Diagnosis, Automatic reasoning, Real quantifier elimination

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science , Mathematics , Technology

Notes: Abstract. Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In contrast to constraint logic programming, which is often used in similar areas, this encoding is straightforward. A quantifier elimination procedure using test point ideas is part of the package REDLOG by the author et al. REDLOG is part of REDUCE 3.7. We discuss how this method can be used for analysis, sizing, and error diagnosis of physical networks. The focus is on electrical networks.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/s002000050123

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

Electronic Resource

Reactions of 2-(Organylseleno)propenenitriles with Dimethyl EthynedicarboxylateDedicated to Professor Peter Sartori on the occasion of his 65th birthday.Parts of this work were taken from the doctoral dissertation of Thomas Sturm, Gerhard-Mercator University Duisburg, 1996. (1997)

Döpp, Dietrich ; Sturm, Thomas

Weinheim : Wiley-Blackwell

Liebigs Annalen 1997 (1997), S. 541-546

add to mindlist on the mindlist

Details

ISSN: 0947-3440

Keywords: [3 + 2] Cycloadditions ; Organylseleno group transfer ; 2,3-Dihydroselenophenes ; Polysubstituted butadienes ; Selenium ; Alkenes ; Chemistry ; Organic Chemistry

Source: Wiley InterScience Backfile Collection 1832-2000

Topics: Chemistry and Pharmacology

Notes: (2-tert-Butylseleno)propenenitrile (12a) has been prepared and treated with dimethyl ethynedicarboxylate (3) and methyl propiolate (18) to give the 2,3-dihydroselenophenes 16 and 21, respectively. In contrast, 2-(ethylseleno)-, 2-(methylseleno)- and 2-(phenylseleno)propenenitrile (12b-d) tend to form polysubstituted butadienes 17b-d with 3 by net organoylseleno group transfer from 12b-d to C-2 of 3 following attachment of C-3 of 17 to C-3 of 3. Five-membered selenonium ylides are proposed as intermediates.