ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Algebraically (or real) closed field  (1)
  • Chemical Engineering  (1)
Collection
Keywords
Publisher
Years
  • 1
    Electronic Resource
    Electronic Resource
    On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (1989)
    Springer
    Algorithmica 4 (1989), S. 237-262 
    Details
    ISSN: 1432-0541
    Keywords: Geometry theorem proving ; Provers ; Nondegenerate conditions ; Ritt's algorithms ; Wu's method ; The Gröbner basis method ; Algebraically (or real) closed field ; Algebraic geometry ; Irreducible variety ; Nondegenerate component ; Generally true ; Simson's theorem ; Pappus' theorem
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract In this paper we analyze the algebraic formulations of certain geometry statements appearing in recent literature related to mechanical geometry theorem proving and give several examples to show that one of these formulations can cause serious problems. We clarify a formulation which is essentially due to W. T. Wu and, in our opinion, is the most satisfactory.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01553889
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Numerical model for the vacuum pyrolysis of scrap tires in batch reactors (1995)
    Hoboken, NJ : Wiley-Blackwell
    AIChE Journal 41 (1995), S. 1500-1512 
    Details
    ISSN: 0001-1541
    Keywords: Chemistry ; Chemical Engineering
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Process Engineering, Biotechnology, Nutrition Technology
    Notes: A quantitative model for scrap tire pyrolysis in a batch scale reactor developed comprises the following basic phenomena: conduction inside tire particles; conduction, convection, and radiation between the feedstock particles or between the fluids and the particles; tire pyrolysis reaction; exothermicity and endothermicity caused by tire decomposition and volatilization; and the variation of the composition and the thermal properties of tire particles. This model was used to predict the transient temperature and density distributions in the bed of particles, the volatile product evolution rate, the mass change, the energy consumption during the pyrolysis process, and the pressure histoiy in a tire pyrolysis reactor with a load of 1 kg. The model predictions agree well with independent experimental data.
    Additional Material: 15 Ill.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1002/aic.690410614
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...