Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben

Journal of Systems Science and Complexity

Ausgabe 1/2019

Inhalt (19 Artikel)

Foreword to the Special Issue

Xiao-Shan Gao, Hongbo Li, Dongming Wang

On the Contribution of Wu Wen-Tsün to Algebraic Topology

Jean-Paul Brasselet

Characteristic Decomposition: From Regular Sets to Normal Sets

Chenqi Mou, Dongming Wang

Hilbert Problem 15 and Ritt-Wu Method (I)

Banghe Li

Ritt-Wu Characteristic Set Method for Laurent Partial Differential Polynomial Systems

Youren Hu, Xiao-Shan Gao

Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity

Jingzhong Zhang, Xicheng Peng, Mao Chen

Automated Theorem Proving Practice with Null Geometric Algebra

Hongbo Li

On the Mechanization of Straightedge and Compass Constructions

Pascal Schreck

A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves

Francisco Botana, Tomás Recio

Global Optimization of Polynomials over Real Algebraic Sets

Chu Wang, Zhi-Hong Yang, Lihong Zhi

A Hybrid Procedure for Finding Real Points on a Real Algebraic Set

Yu Wang, Bican Xia

Speeding Up the GVW Algorithm via a Substituting Method

Ting Li, Yao Sun, Zhenyu Huang, Dingkang Wang, Dongdai Lin

A Survey on Algorithms for Computing Comprehensive Gröbner Systems and Comprehensive Gröbner Bases

Dong Lu, Yao Sun, Dingkang Wang

The Algebro-Geometric Method for Solving Algebraic Differential Equations — A Survey

Franz Winkler

The Ore-Sato Theorem and Shift Exponents in the q-Difference Case

Hao Du, Ziming Li

Elimination Theory in Differential and Difference Algebra

Wei Li, Chun-Ming Yuan

Conditional Congruence Closure over Uninterpreted and Interpreted Symbols

Deepak Kapur

Recent Results on Constructing Boolean Functions with (Potentially) Optimal Algebraic Immunity Based on Decompositions of Finite Fields

Zhuojun Liu, Baofeng Wu

Quantum Algorithm Design: Techniques and Applications

Changpeng Shao, Yang Li, Hongbo Li

Dez 18
Ausgabe: 6/2018
Apr 19
Ausgabe: 2/2019

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr