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.
EUROCAL '87 [[electronic resource] ] : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings / / edited by James H. Davenport
| EUROCAL '87 [[electronic resource] ] : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings / / edited by James H. Davenport |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (VIII, 500 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Mathematical logic Algorithms Computer science—Mathematics Computational complexity Programming languages (Electronic computers) Theory of Computation Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Symbolic and Algebraic Manipulation Complexity Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-48207-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computer algebra in physical research of jinr -- Complexity of quantifier elimination in the theory of ordinary differential equations -- Groups and polynomials -- Symbolic computation in relativity theory -- A zero structure theorem for polynomial-equations-solving and its applications -- Some algorithms of rational function algebra -- The computer algebra system simath -- Converting SAC-2 code to lisp -- Computer algebra system for continued fractions manipulation -- Computing a lattice basis from a system of generating vectors -- Expression optimization using high-level knowledge -- Catfact: Computer algebraic tools for applications of catastrophe theory -- Computer algebra application for investigating integrability of nonlinear evolution systems -- Computer classification of integrable seventh order MKdV — Like equations -- Symbolic computation and the finite element method -- Application of lie group and computer algebra to nonliner mechanics -- Hierarchical symbolic computations in the analysis of large-scale dynamical systems -- Schoonschip for computing of gravitino interaction cross sections in N=2 supergravity -- Creation of efficient symbolic-numeric interface -- Automatic generation of FORTRAN-Coded Jacobians and Hessians -- Laplace transformations in reduce 3 -- Reduce 3. 2 on iAPX86/286 — based personal computers -- Some extensions and applications of reduce system -- Infinite structures in scratchpad II -- Application of a structured LISP system to computer algebra -- Number-theoretic transforms of prescribed length -- A hybrid algebraic-numeric system ANS and its preliminary implementation -- The calculation of QCD triangular Feynman graphs in the external gluonic field using reduce-2 system -- Computer algebra application for determining local symmetries of differential equations -- Trace calculations for gauge theories on a personal computer -- Evaluation of plasma fluid equations collision integrals using reduce -- Computerized system of analytic transformations for analysing of differential equations -- Integral equation with hidden eigenparameter solver: Reduce + fortran in tandem -- Combinatorial aspects of simplification of algebraic expressions -- Dynamic program improvement -- Computer algebra and numerical convergence -- Computer algebra and computation of puiseux expansions of algebraic functions -- Boundary value problems for the laplacian in the Euclidean space solved by symbolic computation -- The methods for symbolic evaluation of determinants and their realization in the planner-analytic system -- Transformation of computation formulae in systems of recurrence relations -- "Dimreg" the package for calculations in the dimensional regularization with 4-dimensional ?5-matrix in quantum field theory -- CTS — Algebraic debugging system for reduce programs -- Applications of computer algebra in solid modelling -- Implementation of a geometry theorem proving package in SCRATCHPAD II -- Collision of convex objects -- Solving algebraic equations via Buchberger's algorithm -- Primary ideal decomposition -- Solving systems of algebraic equations by using gröbner bases -- Properties of Gröbner bases under specializations -- The computation of polynomial greatest common divisors over an algebraic number field -- An extension of buchberger's algorithm to compute all reduced gröbner bases of a polynomial ideal -- Singularities of moduli spaces -- Radical simplification using algebraic extension fields -- Hermite normal forms for integer matrices -- Mr. Smith goes to Las Vegas: Randomized parallel computation of the Smith Normal form of polynomial matrices -- Fonctions symétriques et changements de bases -- Complexity of standard bases in projective dimension zero -- Gröbner bases for polynomial ideals over commutative regular rings -- Some algebraic algorithms based on head term elimination over polynomial rings -- Algorithmic determination of the jacobson radical of monomial algebras -- A recursive algorithm for the computation of the hilbert polynomial -- An affine point of view on minima finding in integer lattices of lower dimensions -- A combinatorial and logical approach to linear-time computability (extended abstract) -- Complexity of computation of embedded resolution of algebraic curves -- Polynomial factorisation: an exploration of Lenstra's algorithm -- A matrix-approach for proving inequalities -- Using automatic program synthesizer as a problem solver: Some interesting experiments -- Strong splitting rules in automated theorem proving -- Towards a refined classification of geometric search and computation problems -- Matrix Padé fractions -- Computation of generalized Padé approximants -- A critical pair criterion for completion modulo a congruence -- Shortest paths of a disc inside a polygonal region -- Rabin's width of a complete proof and the width of a semialgebraic set -- Practical aspects of symbolic integration over Q(x) -- Integration: Solving the Risch differential equation -- Computation and simplification in lie fields -- A package for the analytic investigation and exact solution of differential equations -- An algorithm for the integration of elementary functions. |
| Record Nr. | UNISA-996466139903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Computer Mathematics [[electronic resource] ] : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban
| Intelligent Computer Mathematics [[electronic resource] ] : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XX, 458 p. 111 illus.) |
| Disciplina | 512 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
| ISBN | 3-319-08434-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks.-What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools -- Towards Robust Hyperlinks for Web-Based Scholarly Communication -- Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram Alpha -- Calculemus -- Towards the Formal Reliability Analysis of Oil and Gas Pipelines -- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition -- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata -- Detecting Unknots via Equational Reasoning, I: Exploration -- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition -- Hipster: Integrating Theory Exploration in a Proof Assistant -- Formalization of Complex Vectors in Higher-Order Logic -- A Mathematical Structure for Modeling Inventions -- Digital Mathematics Library -- Search Interfaces for Mathematicians -- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics -- PDF/A-3u as an Archival Format for Accessible Mathematics -- Which One Is Better: Presentation-Based or Content-Based Math Search? -- POS Tagging and Its Applications for Mathematics -- Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia -- Mathematical Knowledge Management -- Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? -- Realms: A Structure for Consolidating Knowledge about Mathematical Theories -- Matching Concepts across HOL Libraries -- Mining State-Based Models from Proof Corpora -- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices -- Flexary Operators for Formalized Mathematics -- Interactive Simplifier Tracing and Debugging in Isabelle -- Towards an Interaction-based Integration of MKM Services into End-User Applications -- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System -- A Vernacular for Coherent Logic -- An Approach to Math-Similarity Search -- Systems and Projects -- Digital Repository of Mathematical Formulae -- NNexus Reloaded -- E-books and Graphics with LATExml -- System Description: MathHub.info -- Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description -- System Description: A Semantics-Aware LATEX-to-Office Converter -- Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians’ Information Needs -- SAT-Enhanced Mizar Proof Checking -- A Framework for Formal Reasoning about Geometrical Optics. |
| Record Nr. | UNISA-996199993903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Computer Mathematics : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban
| Intelligent Computer Mathematics : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XX, 458 p. 111 illus.) |
| Disciplina | 512 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
| ISBN | 3-319-08434-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks.-What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools -- Towards Robust Hyperlinks for Web-Based Scholarly Communication -- Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram Alpha -- Calculemus -- Towards the Formal Reliability Analysis of Oil and Gas Pipelines -- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition -- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata -- Detecting Unknots via Equational Reasoning, I: Exploration -- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition -- Hipster: Integrating Theory Exploration in a Proof Assistant -- Formalization of Complex Vectors in Higher-Order Logic -- A Mathematical Structure for Modeling Inventions -- Digital Mathematics Library -- Search Interfaces for Mathematicians -- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics -- PDF/A-3u as an Archival Format for Accessible Mathematics -- Which One Is Better: Presentation-Based or Content-Based Math Search? -- POS Tagging and Its Applications for Mathematics -- Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia -- Mathematical Knowledge Management -- Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? -- Realms: A Structure for Consolidating Knowledge about Mathematical Theories -- Matching Concepts across HOL Libraries -- Mining State-Based Models from Proof Corpora -- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices -- Flexary Operators for Formalized Mathematics -- Interactive Simplifier Tracing and Debugging in Isabelle -- Towards an Interaction-based Integration of MKM Services into End-User Applications -- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System -- A Vernacular for Coherent Logic -- An Approach to Math-Similarity Search -- Systems and Projects -- Digital Repository of Mathematical Formulae -- NNexus Reloaded -- E-books and Graphics with LATExml -- System Description: MathHub.info -- Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description -- System Description: A Semantics-Aware LATEX-to-Office Converter -- Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians’ Information Needs -- SAT-Enhanced Mizar Proof Checking -- A Framework for Formal Reasoning about Geometrical Optics. |
| Record Nr. | UNINA-9910484944603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Computer Mathematics [[electronic resource] ] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings / / edited by James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban
| Intelligent Computer Mathematics [[electronic resource] ] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings / / edited by James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIII, 312 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Database management Information storage and retrieval Mathematical logic Data mining Artificial Intelligence Information Systems Applications (incl. Internet) Database Management Information Storage and Retrieval Mathematical Logic and Formal Languages Data Mining and Knowledge Discovery |
| ISBN | 3-642-22673-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465968403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Software – ICMS 2018 [[electronic resource] ] : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / / edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban
| Mathematical Software – ICMS 2018 [[electronic resource] ] : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / / edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 508 p. 132 illus.) |
| Disciplina | 510.285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Artificial intelligence Data protection Computer programming Compilers (Computer programs) Information storage and retrieval systems Discrete Mathematics in Computer Science Artificial Intelligence Data and Information Security Programming Techniques Compilers and Interpreters Information Storage and Retrieval |
| ISBN | 3-319-96418-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic -- Number theory -- Combinatorics -- Algebra -- Analysis -- Geometry -- Inter-disciplinary -- Mathematical problem solving platform. |
| Record Nr. | UNISA-996466184003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Software – ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / / edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban
| Mathematical Software – ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / / edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 508 p. 132 illus.) |
| Disciplina | 510.285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Artificial intelligence Data protection Computer programming Compilers (Computer programs) Information storage and retrieval systems Discrete Mathematics in Computer Science Artificial Intelligence Data and Information Security Programming Techniques Compilers and Interpreters Information Storage and Retrieval |
| ISBN | 3-319-96418-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic -- Number theory -- Combinatorics -- Algebra -- Analysis -- Geometry -- Inter-disciplinary -- Mathematical problem solving platform. |
| Record Nr. | UNINA-9910349418503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Software – ICMS 2020 [[electronic resource] ] : 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings / / edited by Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff
| Mathematical Software – ICMS 2020 [[electronic resource] ] : 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings / / edited by Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXIII, 494 p. 529 illus., 111 illus. in color.) |
| Disciplina | 510.285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Data structures (Computer science) Information theory Computer networks Computers, Special purpose Computer systems Discrete Mathematics in Computer Science Data Structures and Information Theory Computer Communication Networks Special Purpose and Application-Based Systems Computer System Implementation Mathematical Applications in Computer Science |
| ISBN | 3-030-52200-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Gröbner Bases in Theory and Practice -- Algebraic Geometry via Numerical Computation -- Software for Number Theory and Arithmetic Geometry -- Groups and Group Actions -- The Classification Problem in Geometry -- Univalent Mathematics: Theory and Implementation -- Databases in Mathematics -- Accelerating Innovation Speed in Mathematics by Trading Mathematical Research Data -- The Jupyter Environment for Computational Mathematics -- General Session. |
| Record Nr. | UNISA-996418280603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Software – ICMS 2020 : 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings / / edited by Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff
| Mathematical Software – ICMS 2020 : 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings / / edited by Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXIII, 494 p. 529 illus., 111 illus. in color.) |
| Disciplina |
510.285
510.285536 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Data structures (Computer science) Information theory Computer networks Computers, Special purpose Computer systems Discrete Mathematics in Computer Science Data Structures and Information Theory Computer Communication Networks Special Purpose and Application-Based Systems Computer System Implementation Mathematical Applications in Computer Science |
| ISBN | 3-030-52200-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Gröbner Bases in Theory and Practice -- Algebraic Geometry via Numerical Computation -- Software for Number Theory and Arithmetic Geometry -- Groups and Group Actions -- The Classification Problem in Geometry -- Univalent Mathematics: Theory and Implementation -- Databases in Mathematics -- Accelerating Innovation Speed in Mathematics by Trading Mathematical Research Data -- The Jupyter Environment for Computational Mathematics -- General Session. |
| Record Nr. | UNINA-9910413441703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||