The following pages link to Mathematics in Computer Science (Q294368):
Displaying 50 items.
- On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370) (← links)
- Constructibility classes for triangle location problems (Q294373) (← links)
- Automatic constructibility checking of a corpus of geometric construction problems (Q294375) (← links)
- Towards a certified version of the encyclopedia of triangle centers (Q294378) (← links)
- Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381) (← links)
- The construction of 3D conformal motions (Q294383) (← links)
- Geodesic universal molecules (Q294385) (← links)
- First order perturbation and local stability of parametrized systems (Q294387) (← links)
- Computing the canonical representation of constructible sets (Q294390) (← links)
- Detecting curves of symmetry in images via Hough transform (Q294393) (← links)
- Foreword to the special focus on advances in symbolic and numeric computation (Q340591) (← links)
- Towards a Lanczos' \(\tau \)-method toolkit for differential problems (Q340592) (← links)
- Dynamics and optimal control of Ebola transmission (Q340594) (← links)
- Three-dimensional computational analysis of stress state transition in through-cracked plates (Q340595) (← links)
- On contractions of Lie algebras (Q340599) (← links)
- Symbolic computation applied to the study of the kernel of a singular integral operator with non-Carleman shift and conjugation (Q340603) (← links)
- \(m\)-polar fuzzy labeling graphs with application (Q340605) (← links)
- Associativity and non-associativity of some hypergraph products (Q340610) (← links)
- Stability analysis for discrete biological models using algebraic methods (Q359890) (← links)
- Embedding of biological regulatory networks and property preservation (Q359895) (← links)
- Model reduction of chemical reaction systems using elimination (Q359898) (← links)
- An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems (Q359900) (← links)
- A symbolic-numeric approach to multi-objective optimization in manufacturing design (Q359903) (← links)
- A principled, complete, and efficient representation of C++ (Q359906) (← links)
- Automated reasoning in social choice theory: some remarks (Q475377) (← links)
- Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (Q475379) (← links)
- Formal analysis of optical systems (Q475384) (← links)
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- Tropicalization of classical moduli spaces (Q475401) (← links)
- The \(3\times 3\times 3\) hyperdeterminant as a polynomial in the fundamental invariants for \(\mathrm{SL}_3(\mathbb C)\times\mathrm{SL}_3(\mathbb C)\times\mathrm{SL}_3(\mathbb C)\) (Q475403) (← links)
- Bounds on the dimension of trivariate spline spaces: a homological approach (Q475405) (← links)
- On the discriminant scheme of homogeneous polynomials (Q475407) (← links)
- Newton polytopes and witness sets (Q475408) (← links)
- Using monodromy to avoid high precision in homotopy continuation (Q475409) (← links)
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- An algorithm to compute the adjoint ideal of an affine plane algebraic curve (Q475414) (← links)
- On the parameterization of rational ringed surfaces and rational canal surfaces (Q475418) (← links)
- Verification of linear (in)dependence in finite precision arithmetic (Q475419) (← links)
- Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (Q475420) (← links)
- Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification (Q475422) (← links)
- An improved Bernstein global optimization algorithm for MINLP problems with application in process industry (Q475423) (← links)
- Kernel characterization of an interval function (Q475426) (← links)
- Determination of set-membership identifiability sets (Q475428) (← links)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
- Determination of inner and outer bounds of reachable sets through subpavings (Q475437) (← links)
- Level sets of the value function in differential games with two pursuers and one evader. Interval analysis interpretation (Q475438) (← links)
- Non parametric distributed inference in sensor networks using box particles messages (Q475443) (← links)
- Interval methods for model qualification: methodology and advanced application (Q475446) (← links)
- Phase based localization for underwater vehicles using interval analysis (Q475449) (← links)
- Solving non-linear constraint satisfaction problems involving time-dependent functions (Q475451) (← links)
