top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy
Autore Basu, Saugata
Edizione [2. ed]
Pubbl/distr/stampa Berlin, : Springer, 2006
Descrizione fisica VIII, 602 p. : ill. ; 24 cm.
Altri autori (Persone) Roy, Marie-Françoise
Pollack, Richard D.
Soggetto topico 68W30 - Symbolic computation and algebraic computation [MSC 2020]
68Q25 - Analysis of algorithms and problem complexity [MSC 2020]
14P10 - Semialgebraic sets and related spaces [MSC 2020]
52C45 - Combinatorial complexity of geometric structures [MSC 2020]
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
ISBN 35-403-3098-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0065556
Basu, Saugata  
Berlin, : Springer, 2006
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy
Autore Basu, Saugata
Edizione [2. ed]
Pubbl/distr/stampa Berlin, : Springer, 2006
Descrizione fisica VIII, 602 p. : ill. ; 24 cm
Altri autori (Persone) Pollack, Richard D.
Roy, Marie-Françoise
Soggetto topico 68W30 - Symbolic computation and algebraic computation [MSC 2020]
68Q25 - Analysis of algorithms and problem complexity [MSC 2020]
14P10 - Semialgebraic sets and related spaces [MSC 2020]
52C45 - Combinatorial complexity of geometric structures [MSC 2020]
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
ISBN 978-35-403-3098-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNISOB-VAN0065556
Basu, Saugata  
Berlin, : Springer, 2006
Materiale a stampa
Lo trovi qui: Univ. Suor Orsola Benincasa
Opac: Controlla la disponibilità qui
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy
Autore Basu, Saugata
Edizione [2. ed]
Pubbl/distr/stampa Berlin, : Springer, 2006
Descrizione fisica VIII, 602 p. : ill. ; 24 cm
Altri autori (Persone) Pollack, Richard D.
Roy, Marie-Françoise
Soggetto topico 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
14P10 - Semialgebraic sets and related spaces [MSC 2020]
52C45 - Combinatorial complexity of geometric structures [MSC 2020]
68Q25 - Analysis of algorithms and problem complexity [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020]
ISBN 978-35-403-3098-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0065556
Basu, Saugata  
Berlin, : Springer, 2006
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy
Autore Basu, Saugata
Edizione [2. ed]
Pubbl/distr/stampa Berlin, : Springer, 2006
Descrizione fisica VIII, 602 p. : ill. ; 24 cm
Altri autori (Persone) Pollack, Richard D.
Roy, Marie-Françoise
Soggetto topico 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
14P10 - Semialgebraic sets and related spaces [MSC 2020]
52C45 - Combinatorial complexity of geometric structures [MSC 2020]
68Q25 - Analysis of algorithms and problem complexity [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020]
ISBN 978-35-403-3098-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00065556
Basu, Saugata  
Berlin, : Springer, 2006
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Field arithmetic / Michael D. Fried, Moshe Jarden
Field arithmetic / Michael D. Fried, Moshe Jarden
Autore Fried, Michael D. <1942- >
Pubbl/distr/stampa Berlin, : Springer, 1986
Descrizione fisica xvi, 458 p. : ill. ; 25 cm
Altri autori (Persone) Jarden, Moshe
Soggetto topico 12-XX - Field theory and polynomials [MSC 2020]
14G05 - Rational points [MSC 2020]
12E25 - Hilbertian fields; Hilbert's irreducibility theorem [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020]
03H15 - Nonstandard models of arithmetic [MSC 2020]
03C20 - Ultraproducts and related constructions [MSC 2020]
12E30 - Field arithmetic [MSC 2020]
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
12L12 - Model theory of fields [MSC 2020]
12L15 - Nonstandard arithmetic and field theory [MSC 2020]
12L05 - Decidability and field theory [MSC 2020]
Soggetto non controllato Absolute Galois Groups
Algebra
Algebraic Geometry
Finite Groups
Galois Stratification
Galois groups
Galois theory
Hilbertian Fields
Irreducibility
PAC Fields
Profinite groups
ultraproductS
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0263774
Fried, Michael D. <1942- >  
Berlin, : Springer, 1986
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Field arithmetic / Michael D. Fried, Moshe Jarden
Field arithmetic / Michael D. Fried, Moshe Jarden
Autore Fried, Michael D. <1942- >
Pubbl/distr/stampa Berlin, : Springer, 1986
Descrizione fisica xvi, 458 p. : ill. ; 25 cm
Altri autori (Persone) Jarden, Moshe
Soggetto topico 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
03C20 - Ultraproducts and related constructions [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020]
03H15 - Nonstandard models of arithmetic [MSC 2020]
12-XX - Field theory and polynomials [MSC 2020]
12E25 - Hilbertian fields; Hilbert's irreducibility theorem [MSC 2020]
12E30 - Field arithmetic [MSC 2020]
12L05 - Decidability and field theory [MSC 2020]
12L12 - Model theory of fields [MSC 2020]
12L15 - Nonstandard arithmetic and field theory [MSC 2020]
14G05 - Rational points [MSC 2020]
Soggetto non controllato Absolute Galois Groups
Algebra
Algebraic Geometry
Finite Groups
Galois Stratification
Galois groups
Galois theory
Hilbertian Fields
Irreducibility
PAC Fields
Profinite groups
Ultraproducts
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00263774
Fried, Michael D. <1942- >  
Berlin, : Springer, 1986
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Kurt Gödel : The Princeton Lectures on Intuitionism / Maria Hämeen-Anttila, Jan von Plato editors
Kurt Gödel : The Princeton Lectures on Intuitionism / Maria Hämeen-Anttila, Jan von Plato editors
Pubbl/distr/stampa Cham, : Springer, 2021
Descrizione fisica ix, 133 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01A60 - History of mathematics in the 20th century [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020]
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
Soggetto non controllato Arbeitshefte
Axiomatic intuitionistic logic
Constructive reasoning
Dialectica paper
Heyting arithmetic
Properties of partial recursive functions
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0274862
Cham, : Springer, 2021
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Kurt Gödel : The Princeton Lectures on Intuitionism / Maria Hämeen-Anttila, Jan von Plato editors
Kurt Gödel : The Princeton Lectures on Intuitionism / Maria Hämeen-Anttila, Jan von Plato editors
Pubbl/distr/stampa Cham, : Springer, 2021
Descrizione fisica ix, 133 p. : ill. ; 24 cm
Soggetto topico 01A60 - History of mathematics in the 20th century [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
Soggetto non controllato Arbeitshefte
Axiomatic intuitionistic logic
Constructive reasoning
Dialectica paper
Heyting arithmetic
Properties of partial recursive functions
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00274862
Cham, : Springer, 2021
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries ... [et al.] ; editors: H. Dugald Macpherson, Carlo Toffalori
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries ... [et al.] ; editors: H. Dugald Macpherson, Carlo Toffalori
Pubbl/distr/stampa Berlin, : Springer, 2014
Descrizione fisica VII, 195 p. ; 24 cm
Soggetto topico 12J20 - General valuation theory for fields [MSC 2020]
11U09 - Model theory (number-theoretic aspects) [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020]
03Cxx - Model theory [MSC 2020]
03C45 - Classification theory, stability and related concepts in model theory [MSC 2020]
03C64 - Model theory of ordered structures; o-minimality [MSC 2020]
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
11U05 - Decidability (number-theoretic aspects) [MSC 2020]
Soggetto non controllato Decidable theory
Dependent theory
Exponential field
Model theory
Valued field
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0101555
Berlin, : Springer, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries ... [et al.] ; editors: H. Dugald Macpherson, Carlo Toffalori
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries ... [et al.] ; editors: H. Dugald Macpherson, Carlo Toffalori
Pubbl/distr/stampa Berlin, : Springer, 2014
Descrizione fisica VII, 195 p. ; 24 cm
Soggetto topico 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
03C45 - Classification theory, stability and related concepts in model theory [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020]
03C64 - Model theory of ordered structures; o-minimality [MSC 2020]
03Cxx - Model theory [MSC 2020]
11U05 - Decidability (number-theoretic aspects) [MSC 2020]
11U09 - Model theory (number-theoretic aspects) [MSC 2020]
12J20 - General valuation theory for fields [MSC 2020]
Soggetto non controllato Decidable theory
Dependent theory
Exponential field
Model theory
Valued field
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00101555
Berlin, : Springer, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui