- arXiv.org
- Data Analysis, Statistics and Probability
- Space Physics
- Popular Physics
- Physics and Society
- Optics
- History and Philosophy of Physics
- Fluid Dynamics
- Biological Physics
- General Physics
- Atomic and Molecular Clusters
- Medical Physics
- Atomic Physics
- Plasma Physics
- Geophysics
- Classical Physics
- Accelerator Physics
- Instrumentation and Detectors
- Chemical Physics
- Atmospheric and Oceanic Physics
- Computational Physics
- Physics Education

- History and Overview
- Number Theory
- Information Theory
- Analysis of PDEs
- Statistics Theory
- Combinatorics
- Mathematical Physics
- Symplectic Geometry
- Operator Algebras
- Probability
- Group Theory
- Representation Theory
- Complex Variables
- Metric Geometry
- Algebraic Geometry
- General Topology
- Logic
- Quantum Algebra
- Differential Geometry
- Numerical Analysis
- Optimization and Control
- Geometric Topology
- General Mathematics
- Dynamical Systems
- Rings and Algebras
- Commutative Algebra
- K-Theory and Homology
- Algebraic Topology
- Classical Analysis and ODEs
- Spectral Theory
- Functional Analysis
- Category Theory

- General Literature
- Information Theory
- Formal Languages and Automata Theory
- Multiagent Systems
- Information Retrieval
- Symbolic Computation
- Computational Complexity
- Computer Vision and Pattern Recognition
- Emerging Technologies
- Social and Information Networks
- Operating Systems
- Learning
- Other Computer Science
- Neural and Evolutionary Computing
- Programming Languages
- Software Engineering
- Databases
- Numerical Analysis
- Sound
- Human-Computer Interaction
- Mathematical Software
- Hardware Architecture
- Cryptography and Security
- Distributed, Parallel, and Cluster Computing
- Artificial Intelligence
- Computer Science and Game Theory
- Computational Engineering, Finance, and Science
- Digital Libraries
- Systems and Control
- Discrete Mathematics
- Performance
- Computers and Society
- Computation and Language
- Data Structures and Algorithms
- Graphics
- Networking and Internet Architecture
- Logic in Computer Science
- Robotics
- Computational Geometry
- Multimedia

- A special homotopy continuation method, as a combination of the polyhedral homotopy and the linear product homotopy, is proposed for computing all the isolated solutions to a special class of polynomial systems. The root number bound of this method is between the total degree bound and the mixed volume bound and can be easily computed. The new algorithm has been implemented as a program called LPH using C++. Our experiments show its efficiency compared to the polyhedral or other homotopies on such systems. As an application, the algorithm can be used to find witness points on each connected component of a real variety.

A formally verified proof of the Central Limit Theorem

Zoltán Zimborás May 28 2014 04:42 UTC