Results 61 to 70 of about 38,933 (219)
Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction
Journal of Computational AlgebraRecent work by Shehper et al. (2024) [13] proposed that the well-known Akbulut–Kirby presentation AK(3) is stably Andrews–Curtis (AC) equivalent to the trivial presentation, based on a reduction to a previously studied presentation P.
Alexei Lisitsa
doaj +1 more source
Defining the meaning of TPTP formatted proofs [PDF]
, 2015 International audienceThe TPTP library is one of the leading problem libraries in the automated theorem proving community. Over time, support was added for problems beyond those in first-order clausal form.
Blanco, Roberto +2 more
core +2 more sources
Estimating Interaction Effects With Panel Data
Journal of Applied Econometrics, EarlyView.ABSTRACT This paper analyzes how interaction effects can be consistently estimated under economically plausible assumptions in linear panel models with a fixed T$$ T $$‐dimension. We advocate for a correlated interaction term effects (CITE) estimator and show that it is consistent under conditions that are not sufficient for consistency of the ...
Chris Muris, Konstantin M. Wacker
wiley +1 more source
New Andrews–Curtis trivializations for Miller–Schupp group presentations
Examples and CounterexamplesWe present recent developments in the applications of automated theorem proving in the investigation of the Andrews–Curtis conjecture. We demonstrate previously unknown trivializations of group presentations from a parametric family MSn(w∗) of trivial ...
Alexei Lisitsa
doaj +1 more source
Exchange of Geometric Information Between Applications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The Web Geometry Laboratory (WGL) is a collaborative and adaptive e-learning Web platform integrating a well known dynamic geometry system. Thousands of Geometric problems for Geometric Theorem Provers (TGTP) is a Web-based repository of geometric ...
Pedro Quaresma, Vanda Santos, Nuno Baeta
doaj +1 more source
The needle study: Machine learning as a new method for case‐finding in celiac disease
Journal of Pediatric Gastroenterology and Nutrition, EarlyView.Abstract Objectives Despite a well‐defined diagnostic work‐up, uncertainties persist regarding celiac disease (CeD) detection strategies in the general population. Machine learning (ML) algorithms offer promise in aiding medical decision‐making on clinical data.
Chiara Maria Trovato +9 more
wiley +1 more source
Most General Variant Unifiers [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties.
Santiago Escobar, Julia Sapiña
doaj +1 more source
Towards Ranking Geometric Automated Theorem Provers
, 2019 The field of geometric automated theorem provers has a long and rich history, from the early AI approaches of the 1960s, synthetic provers, to today algebraic and synthetic provers.
Baeta, Nuno, Quaresma, Pedro
core +1 more source
Laser &Photonics Reviews, EarlyView.This work bridges classical and quantum polarimetry toward quantitative quantum photonic sensing of turbid environments. Theoretical and experimental investigations reveal how polarization‐entangled photonic states evolve in turbid media, uncovering robust trends in entanglement evolution and paving the way for advanced quantum sensing in biomedical ...
Vira R. Besaga +5 more
wiley +1 more source
Mixing HOL and Coq in Dedukti (Extended Abstract)
, 2015 We use Dedukti as a logical framework for interoperability. We use automated tools to translate different developments made in HOL and in Coq to Dedukti, and we combine them to prove new results.
Assaf, Ali, Cauderlier, Raphaël
core +2 more sources