{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":38,"n_cols":5,"rows_kept":38,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[12,2,12,3],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[16,4,16,5],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[24,2,24,3],[32,2,32,3],[33,2,33,3],[35,2,35,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910350198203321"]
[null,null,"Autore",null,"Hermon Carole"]
[null,null,"Titolo",null,"Services écosystémiques et protection des sols : Analyses juridiques et éclairages agronomiques"]
[null,null,"Pubbl/distr/stampa",null,"éditions Quae, 2018"]
[null,null,"ISBN",null,"979-1-0971-4302-2"]
[{"$nulls":4},"2-7592-2791-X"]
[null,null,"Descrizione fisica",null,"1 online resource (326)"]
[null,null,"Collana",null,"Update Sciences and Technologies"]
[null,null,"Soggetti",null,"Environmental science, engineering & technology"]
[null,null,"Lingua di pubblicazione",null,"Francese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Intro -- Table des matières -- Services écosystémiques et protection des sols - Analyses juridiques et éclairages agronomiques -- Avant-propos -- Liste des auteurs -- Remerciements -- Introduction -- Chapitre 1 - L'intégration de la notion de service écosystémique en droit -- Chapitre 2 - Les services écosystémiques rendus par les sols du point de vue de l'agronomie : le cas de l'agriculture de conservation -- Chapitre 3 - Pour une protection des sols en droit : quel apport de la notion de service écosystémique ? -- Glossaire général -- Glossaire des termes juridiques -- Bibliographie."]
[null,null,null,"Sommario/riassunto","Based on analyses by agricultural and legal experts, this work offers food for thought on using the law to include the notion of ecosystem service in soil protection. It has been written as part of the research programme â€œSoil cultivation, ecosystem services and compensation. Agricultural and legal aspectsâ€\u009d within the Institute of legal studies on town planning, construction and environment."]
[null,"2.","Record Nr.",null,"UNINA9910315360303321"]
[null,null,"Autore",null,"Montes Antonio"]
[null,null,"Titolo",null,"The Gröbner Cover / / by Antonio Montes"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018"]
[null,null,"ISBN",null,"3-030-03904-8"]
[null,null,"Edizione",null,"[1st ed. 2018.]"]
[null,null,"Descrizione fisica",null,"1 online resource (285 pages)"]
[null,null,"Collana",null,"Algorithms and Computation in Mathematics, , 2512-3254 ; ; 27"]
[null,null,"Disciplina",null,"512.24"]
[{"$nulls":4},"512.25"]
[null,null,"Soggetti",null,"Commutative algebra"]
[{"$nulls":4},"Commutative rings"]
[{"$nulls":4},"Algebraic fields"]
[{"$nulls":4},"Polynomials"]
[{"$nulls":4},"Computer science - Mathematics"]
[{"$nulls":4},"Commutative Rings and Algebras"]
[{"$nulls":4},"Field Theory and Polynomials"]
[{"$nulls":4},"Symbolic and Algebraic Manipulation"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"FM -- Preliminaries -- Part I Theory -- Constructible sets -- Comprehensive Gröbner Systems and Bases -- I-regular functions on a locally closed set -- The Canonical Gröbner Cover -- Part II Applications -- Automatic Deduction of Geometric Theorems -- Geometric Loci -- Geometric Envelopes -- The BUILD TREE Algorithm.-Bibliography -- Index."]
[null,null,null,"Sommario/riassunto","This book is divided into two parts, one theoretical and one focusing on applications, and offers a complete description of the Canonical Gröbner Cover, the most accurate algebraic method for discussing parametric polynomial systems. It also includes applications to the Automatic Deduction of Geometric Theorems, Loci Computation and Envelopes. The theoretical part is a self-contained exposition on the theory of Parametric Gröbner Systems and Bases. It begins with Weispfenning’s introduction of Comprehensive Gröbner Systems (CGS) in 1992, and provides a complete description of the Gröbner Cover (GC), which includes a canonical discussion of a set of parametric polynomial equations developed by Michael Wibmer and the author. In "]
[{"$nulls":4},"turn, the application part selects three problems for which the Gröbner Cover offers valuable new perspectives. The automatic deduction of geometric theorems (ADGT) becomes fully automatic and straightforward using GC, representing a major improvement on all previous methods. In terms of loci and envelope computation, GC makes it possible to introduce a taxonomy of the components and automatically compute it. The book also generalizes the definition of the envelope of a family of hypersurfaces, and provides algorithms for its computation, as well as for discussing how to determine the real envelope. All the algorithms described here have also been included in the software library “grobcov.lib” implemented in Singular by the author, and serve as a User Manual for it."]