ISSAC '18

ISSAC '18

ISSAC '18

ISSAC

141,34 €
IVA incluido
Disponible
Editorial:
ACM
Año de edición:
2019
Materia
Informática: cuestiones generales
ISBN:
9781450359573
141,34 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2018, to be held at the City University of New York, New York City, USA, is the 43rd meeting in this series. The series has been held annually since 1981. ISSAC is sponsored by the Association for Computing Machinery (ACM) and its Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM), and is generously supported by several other institutions and organizations, which are listed in the following pages.

This year's meeting takes place from the 16th to the 19th of July 2018. The ISSAC meeting is a showcase for original research contributions on all aspects of computer algebra and symbolic mathematical computation, including:

  • Algorithmic aspects
  • Exact and symbolic linear, polynomial, and differential algebra
  • Symbolic-numeric, homotopy, perturbation, and series methods
  • Computational algebraic geometry, group theory, number theory, quantifier elimination, and logic
  • Computer arithmetic
  • Summation, recurrence equations, integration, and solution of ODEs and PDEs
  • Symbolic methods in other areas of pure and applied mathematics
  • Complexity of algebraic algorithms and algebraic complexity
  • Software aspects
  • Design of symbolic computation packages and systems
  • Language design and type systems for symbolic computation
  • Data representation
  • Considerations for modern hardware
  • Algorithm implementation and performance tuning
  • Mathematical user interfaces
  • Use with systems for, e.g., digital libraries, courseware, simulation and optimization, automated theorem-proving, computer-aided design, and automatic differentiation
  • Application aspects
  • Applications that stretch the current limits of computer algebra algorithms or systems, use computer algebra in new areas or new ways, or apply it in situations with broad impact

The conference presents a range of invited speakers, tutorials, poster sessions, software demonstrations, and vendor exhibits, with its centerpiece being peer-reviewed research papers.

The ISSAC program committee has adhered to the highest standards and practices in the evaluation of submitted papers, producing three or more referee reports per submission. All papers submitted iv to ISSAC were judged, and accepted or rejected, based solely on their scientific novelty, importance, non-triviality, and rigor. The program committee selected 47 papers for publication in these proceedings. We gratefully acknowledge the thorough and important work of the program committee members and external reviewers, whose names appear in the following pages, and thank all the authors of all the submitted papers, tutorials, and invited talks for their contributions.

Artículos relacionados

  • Interview with Jeffery Khoury, Bringing Telemedicine to the People
    Richard G Lowe Jr
    Did you know you can consult with a medical specialist over your smartphone from the comfort of your own home? Imagine speaking to a highly-trained and accredited doctor about whatever is ailing you from virtually anywhere in the world.Thanks to a young entrepreneur named Jeffery Khoury, you can get the advice you need from a pool of medical specialists without waiting in a doc...
  • IT Consulting Secrets
    Carl A Katz
    This book is for IT consultants of all experience levels and the content is relevant to any IT support business model from managed services (MSP) to break/fix. The author has methodically compiled these strategies and this information from over sixteen years of experience working in the IT support field at the small and medium sized business and enterprise levels. ...
    Disponible

    29,41 €

  • Modeling, Analysis, and Applications in Metaheuristic Computing
    Peng-Yeng Yin
    The engineering and business problems the world faces today have become more impenetrable and unstructured, making the design of a satisfactory problem-specific algorithm nontrivial. Modeling, Analysis, and Applications in Metaheuristic Computing: Advancements and Trends is a collection of the latest developments, models, and applications within the transdisciplinary fields rel...
  • Knowledge Management and Drivers of Innovation in Services Industries
    Knowledge Management is concerned with all aspects of eliciting, acquiring, modelling, and managing knowledge. Application of knowledge resources successfully helps the organization to deliver creative products and services. Especially in service business, service job experience and information about the customer, as well as the installed site equipment, are key factors to deli...
  • Current Trends and Future Practices for Digital Literacy and Competence
    Antonio Cartelli
    Being a digital citizen has transformed from a process of familiarizing ones’ self with terminology and techniques to a full-time responsibility in the hands of any who want to stay abreast of the latest technological change in their respective field. Current Trends and Future Practices for Digital Literacy and Competence offers a look at the latest research within digital lite...
  • Human Rights and Risks in the Digital Era
    Globalization, along with its digital and information communication technology counterparts, including the Internet and cyberspace, may signify a whole new era for human rights, characterized by new tensions, challenges, and risks for human rights, as well as new opportunities. Human Rights and Risks in the Digital Era: Globalization and the Effects of Information Technologies ...