Cited in
(72)- Reduction among bracket polynomials
- Unimodular completion of polynomial matrices
- Constructing fewer open cells by GCD computation in CAD projection
- Online order basis algorithm and its impact on the block Wiedemann algorithm
- Maximum likelihood geometry in the presence of data zeros
- SErAPIS
- Evaluating parametric holonomic sequences using rectangular splitting
- Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers
- High performance implementation of the TFT
- Solving higher order linear differential equations having elliptic function coefficients
- Sparse polynomial interpolation codes and their decoding beyond half the minimum distance
- The asymptotic analysis of some interpolated nonlinear recurrence relations
- The MMO problem
- Formalizing ordinal partition relations using Isabelle/HOL
- Linear independence oracles and applications to rectangular and low rank linear systems
- Computing necessary integrability conditions for planar parametrized homogeneous potentials
- Equivariant lattice generators and Markov bases
- An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps
- A fast algorithm for computing the characteristic polynomial of the \(p\)-curvature
- Toric border basis
- Root counts of semi-mixed systems, and an application to counting Nash equilibria
- Optimal positioning of anodes and virtual sources in the design of cathodic protection systems using the method of fundamental solutions
- Faster relaxed multiplication
- Factoring linear differential operators in \(n\) variables
- Multivariate sparse interpolation using randomized Kronecker substitutions
- On the computation of the topology of plane curves
- Formalization of Bing's shrinking method in geometric topology
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
- Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach
- A near-optimal algorithm for computing real roots of sparse polynomials
- Essentially optimal interactive certificates in linear algebra
- Fast arithmetic for the algebraic closure of finite fields
- Bounds for D-finite closure properties
- Powers of tensors and fast matrix multiplication
- Formal solutions of a class of Pfaffian systems in two variables
- On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases
- On the reduction of singularly-perturbed linear differential systems
- Mathematics by machine
- A generalized Apagodu-Zeilberger algorithm
- LLL reducing with the most significant bits
- Randomized detection of extraneous factors
- Tame decompositions and collisions
- Isolde
- ALLTYPES
- modpn
- NCPOLY
- ParamInt
- PfaffInt
- Tame Graphs
- Walnut
- Logspace computations in graph products
- On isomorphisms of modules over non-commutative PID
- Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)
- The Jordan Curve Theorem, Formally and Informally
- Planar nearrings on the Euclidean plane.
- Sparse multivariate function recovery with a high error rate in the evaluations
- Sparse Gröbner bases: the unmixed case
- A new deterministic algorithm for sparse multivariate polynomial interpolation
- Without Loss of Generality
- Sparse interpolation over finite fields via low-order roots of unity
- Computing the differential Galois group of a parameterized second-order linear differential equation
- Parallel telescoping and parameterized Picard-Vessiot theory
- Computational logic: its origins and applications
- The HOL Light theory of Euclidean space
- Improved algorithm for computing separating linear forms for bivariate systems
- Reliability of mathematical inference
- A revision of the proof of the Kepler conjecture
- Sub-cubic change of ordering for Gröbner basis: a probabilistic approach
- Covering of surfaces parametrized without projective base points
- Radical solutions of first order autonomous algebraic ordinary differential equations
- An a posteriori certification algorithm for Newton homotopies
- HOL Light: An Overview
This page was built for software: Jordan
