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.
13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : proceedings : [SYNASC 2011], Timișoara, Romania, 26-29 September 2011
| 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : proceedings : [SYNASC 2011], Timișoara, Romania, 26-29 September 2011 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2012 |
| Soggetto topico |
Science - Data processing
Parallel processing (Electronic computers) Neural networks (Computer science) Physical Sciences & Mathematics Sciences - General |
| ISBN | 0-7695-4630-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | SYNASC 2011 |
| Record Nr. | UNISA-996205845603316 |
| [Place of publication not identified], : IEEE Computer Society, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : proceedings : [SYNASC 2011], Timișoara, Romania, 26-29 September 2011
| 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : proceedings : [SYNASC 2011], Timișoara, Romania, 26-29 September 2011 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2012 |
| Soggetto topico |
Science - Data processing
Parallel processing (Electronic computers) Neural networks (Computer science) Physical Sciences & Mathematics Sciences - General |
| ISBN | 0-7695-4630-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | SYNASC 2011 |
| Record Nr. | UNINA-9910619137903321 |
| [Place of publication not identified], : IEEE Computer Society, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Intelligence and Symbolic Computation [[electronic resource] ] : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / / edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet
| Artificial Intelligence and Symbolic Computation [[electronic resource] ] : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / / edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 269 p. 59 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Application software Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
| ISBN | 3-319-99957-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Artificial Intelligence, Theorem Proving and SAT Solving -- Symbolic and Numerical Computation -- Intelligent Documents and Collective Intelligence. |
| Record Nr. | UNISA-996466354003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / / edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet
| Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / / edited by Jacques Fleuriot, Dongming Wang, Jacques Calmet |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 269 p. 59 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Application software Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
| ISBN | 3-319-99957-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Artificial Intelligence, Theorem Proving and SAT Solving -- Symbolic and Numerical Computation -- Intelligent Documents and Collective Intelligence. |
| Record Nr. | UNINA-9910349413403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Intelligence and Symbolic Computation [[electronic resource] ] : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings / / edited by Jaques Calmet, Tetsuo Ida, Dongming Wang
| Artificial Intelligence and Symbolic Computation [[electronic resource] ] : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings / / edited by Jaques Calmet, Tetsuo Ida, Dongming Wang |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIII, 269 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science—Mathematics Numerical analysis Mathematical logic Artificial Intelligence Symbolic and Algebraic Manipulation Numeric Computing Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages |
| ISBN | 3-540-39730-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- Interactive Mathematical Documents -- Algebra and Geometry -- An Inductive Inference System and Its Rationality -- Semantic Guidance for Saturation Provers -- Contributed Papers -- Labeled @-Calculus: Formalism for Time-Concerned Human Factors -- Enhanced Theorem Reuse by Partial Theory Inclusions -- Extension of First-Order Theories into Trees -- The Confluence Problem for Flat TRSs -- Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer -- A New Definition for Passivity and Its Relation to Coherence -- A Full System of Invariants for Third-Order Linear Partial Differential Operators -- An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial -- Quantifier Elimination for Quartics -- On the Mixed Cayley-Sylvester Resultant Matrix -- Implicitization of Rational Curves -- Operator Calculus Approach to Solving Analytic Systems -- Solving Dynamic Geometric Constraints Involving Inequalities -- Constraints for Continuous Reachability in the Verification of Hybrid Systems -- Using Hajós’ Construction to Generate Hard Graph 3-Colorability Instances -- Finding Relations Among Linear Constraints -- A Search Engine for Mathematical Formulae -- Hierarchical Representations with Signatures for Large Expression Management. |
| Record Nr. | UNISA-996466152003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Deduction in Geometry [[electronic resource] ] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers / / edited by Hoon Hong, Dongming Wang
| Automated Deduction in Geometry [[electronic resource] ] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers / / edited by Hoon Hong, Dongming Wang |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 213 p.) |
| Disciplina | 516.00285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer science—Mathematics Computer graphics Pattern recognition Convex geometry Discrete geometry Artificial Intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Computer Graphics Pattern Recognition Convex and Discrete Geometry |
| ISBN | 3-540-31363-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mechanical Theorem Proving in Computational Geometry -- Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness -- Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases -- Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides -- Symbolic Solution of a Piano Movers’ Problem with Four Parameters -- Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods -- Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach -- On the Decidability of Tracing Problems in Dynamic Geometry -- Towards a Geometric-Object-Oriented Language -- Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods -- nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation -- Planar Generalized Stewart Platforms and Their Direct Kinematics. |
| Record Nr. | UNISA-996466121303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers / / Hoon Hong, Dongming Wang (eds.)
| Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers / / Hoon Hong, Dongming Wang (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (X, 213 p.) |
| Disciplina | 516.00285 |
| Altri autori (Persone) |
HongHoon
WangDongming |
| Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Geometry - Data processing
Automatic theorem proving Logic, Symbolic and mathematical |
| ISBN | 3-540-31363-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mechanical Theorem Proving in Computational Geometry -- Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness -- Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases -- Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides -- Symbolic Solution of a Piano Movers’ Problem with Four Parameters -- Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods -- Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach -- On the Decidability of Tracing Problems in Dynamic Geometry -- Towards a Geometric-Object-Oriented Language -- Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods -- nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation -- Planar Generalized Stewart Platforms and Their Direct Kinematics. |
| Altri titoli varianti | ADG 2004 |
| Record Nr. | UNINA-9910484837703321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Deduction in Geometry [[electronic resource] ] : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / / edited by Jürgen Richter-Gebert, Dongming Wang
| Automated Deduction in Geometry [[electronic resource] ] : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / / edited by Jürgen Richter-Gebert, Dongming Wang |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VIII, 328 p.) |
| Disciplina | 516/.00285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Geometry Application software Computer graphics Mathematical logic Pattern recognition Artificial Intelligence Computer Applications Computer Graphics Mathematical Logic and Formal Languages Pattern Recognition |
| ISBN | 3-540-45410-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Spatial Constraint Solving Approaches -- A Hybrid Method for Solving Geometric Constraint Problems -- Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study -- A Practical Program of Automated Proving for a Class of Geometric Inequalities -- Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving -- Algebraic and Semialgebraic Proofs: Methods and Paradoxes -- Remarks on Geometric Theorem Proving -- The Kinds of Truth of Geometry Theorems -- A Complex Change of Variables for Geometrical Reasoning -- Reasoning about Surfaces Using Differential Zero and Ideal Decomposition -- Effective Methods in Computational Synthetic Geometry -- Decision Complexity in Dynamic Geometry -- Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method -- Qubit Logic, Algebra and Geometry -- Nonstandard Geometric Proofs -- Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization -- Higher-Order Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry. |
| Record Nr. | UNISA-996465903803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Deduction in Geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / / edited by Jürgen Richter-Gebert, Dongming Wang
| Automated Deduction in Geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / / edited by Jürgen Richter-Gebert, Dongming Wang |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VIII, 328 p.) |
| Disciplina | 516/.00285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Geometry Application software Computer graphics Logic, Symbolic and mathematical Pattern perception Artificial Intelligence Computer Applications Computer Graphics Mathematical Logic and Formal Languages Pattern Recognition |
| ISBN | 3-540-45410-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Spatial Constraint Solving Approaches -- A Hybrid Method for Solving Geometric Constraint Problems -- Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study -- A Practical Program of Automated Proving for a Class of Geometric Inequalities -- Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving -- Algebraic and Semialgebraic Proofs: Methods and Paradoxes -- Remarks on Geometric Theorem Proving -- The Kinds of Truth of Geometry Theorems -- A Complex Change of Variables for Geometrical Reasoning -- Reasoning about Surfaces Using Differential Zero and Ideal Decomposition -- Effective Methods in Computational Synthetic Geometry -- Decision Complexity in Dynamic Geometry -- Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method -- Qubit Logic, Algebra and Geometry -- Nonstandard Geometric Proofs -- Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization -- Higher-Order Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry. |
| Record Nr. | UNINA-9910143602603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / / Xiao-Shan Gao, Dongming Wang, Lu Yang, editors
| Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / / Xiao-Shan Gao, Dongming Wang, Lu Yang, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (VIII, 292 p.) |
| Disciplina | 516.00285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Geometry - Data processing
Automatic theorem proving |
| ISBN | 3-540-47997-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving -- Solving Geometric Problems with Real Quantifier Elimination -- Automated Discovering and Proving for Geometric Inequalities -- Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle -- Readable Machine Solving in Geometry and ICAI Software MSG -- Plane Euclidean Reasoning -- A Clifford Algebraic Method for Geometric Reasoning -- Clifford Term Rewriting for Geometric Reasoning in 3D -- Some Applications of Clifford Algebra to Geometries -- Decomposing Algebraic Varieties -- An Application of Automatic Theorem Proving in Computer Vision -- Automated Geometry Diagram Construction and Engineering Geometry -- A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction -- Variant Geometry Analysis and Synthesis in Mechanical CAD. |
| Record Nr. | UNISA-996465597603316 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||