Author:
Publisher:
ISBN:
Category : Particles (Nuclear physics)
Languages : en
Pages : 660
Book Description
High Energy Physics Index
Author:
Publisher:
ISBN:
Category : Particles (Nuclear physics)
Languages : en
Pages : 660
Book Description
Publisher:
ISBN:
Category : Particles (Nuclear physics)
Languages : en
Pages : 660
Book Description
Scientific and Technical Aerospace Reports
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 380
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 380
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
CPconf2000
Author: Mauro Savrié
Publisher:
ISBN:
Category : CP violation (Nuclear physics)
Languages : en
Pages : 384
Book Description
Publisher:
ISBN:
Category : CP violation (Nuclear physics)
Languages : en
Pages : 384
Book Description
Government Reports Annual Index
Author:
Publisher:
ISBN:
Category : Government reports announcements & index
Languages : en
Pages : 1832
Book Description
Publisher:
ISBN:
Category : Government reports announcements & index
Languages : en
Pages : 1832
Book Description
Nuclear Science Abstracts
Energy Research Abstracts
Publications of the National Institute of Standards and Technology ... Catalog
Author: National Institute of Standards and Technology (U.S.)
Publisher:
ISBN:
Category :
Languages : en
Pages : 452
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 452
Book Description
The Population-Sample Decomposition Method
Author: A.M. Wesselman
Publisher: Springer Science & Business Media
ISBN: 9400936796
Category : Mathematics
Languages : en
Pages : 250
Book Description
Publisher: Springer Science & Business Media
ISBN: 9400936796
Category : Mathematics
Languages : en
Pages : 250
Book Description
Quantifier Elimination and Cylindrical Algebraic Decomposition
Author: Bob F. Caviness
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 464
Book Description
George Collins’ discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. robot motion), also stimulating fundamental research in computer algebra over the past three decades. This volume is a state-of-the-art collection of important papers on CAD and QE and on the related area of algorithmic aspects of real geometry. It contains papers from a symposium held in Linz in 1993, reprints of seminal papers from the area including Tarski’s landmark paper as well as a survey outlining the developments in CAD based QE that have taken place in the last twenty years.
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 464
Book Description
George Collins’ discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. robot motion), also stimulating fundamental research in computer algebra over the past three decades. This volume is a state-of-the-art collection of important papers on CAD and QE and on the related area of algorithmic aspects of real geometry. It contains papers from a symposium held in Linz in 1993, reprints of seminal papers from the area including Tarski’s landmark paper as well as a survey outlining the developments in CAD based QE that have taken place in the last twenty years.
Polarization at LEP
Author:
Publisher:
ISBN:
Category : Polarization (Nuclear physics)
Languages : en
Pages : 364
Book Description
Publisher:
ISBN:
Category : Polarization (Nuclear physics)
Languages : en
Pages : 364
Book Description