-
Charge Transport and Defects in Sulfur-Deficient Chalcogenide Perovskite BaZrS$_3$
Authors:
Garima Aggarwal,
Adeem Saeed Mirza,
Stefania Riva,
Corrado Comparotto,
Robert J. W. Frost,
Soham Mukherjee,
Monica Morales-Masis,
Håkan Rensmo,
Jonathan Staaf Scragg
Abstract:
Exploring the conduction mechanism in the chalcogenide perovskite BaZrS$_3$ is of significant interest due to its potential suitability as a top absorber layer in silicon-based tandem solar cells and other optoelectronic applications. Theoretical and experimental studies anticipate native ambipolar do** in BaZrS$_3$, although experimental validation remains limited. This study reveals a transiti…
▽ More
Exploring the conduction mechanism in the chalcogenide perovskite BaZrS$_3$ is of significant interest due to its potential suitability as a top absorber layer in silicon-based tandem solar cells and other optoelectronic applications. Theoretical and experimental studies anticipate native ambipolar do** in BaZrS$_3$, although experimental validation remains limited. This study reveals a transition from highly insulating behavior to n-type conductivity in BaZrS$_3$ through annealing in an S-poor environment. BaZrS$_3$ thin films are synthesized $\textit{via}$ a two step process: co-sputtering of Ba-Zr followed by sulfurization at 600 $^{\circ}$C, and subsequent annealing in high vacuum. UV-Vis measurement reveal a red-shift in the absorption edge concurrent with sample color darkening after annealing. The increase in defect density with vacuum annealing, coupled with low activation energy and n-type character of defects, strongly suggests that sulfur vacancies (V$_{\mathrm{S}}$) are responsible, in agreement with theoretical predictions. The shift of the Fermi level towards conduction band minimum, quantified by Hard X-ray Photoelectron Spectroscopy (Ga K$α$, 9.25 keV), further corroborates the induced n-type of conductivity in annealed samples. Our findings indicate that vacuum annealing induces V$_{\mathrm{S}}$ defects that dominate the charge transport, thereby making BaZrS$_3$ an n-type semiconductor under S-poor conditions. This study offers crucial insights into understanding the defect properties of BaZrS$_3$, facilitating further improvements for its use in solar cell applications.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Roots in the semiring of finite deterministic dynamical systems
Authors:
François Doré,
Kévin Perrot,
Antonio E. Porreca,
Sara Riva,
Marius Rolland
Abstract:
Finite discrete-time dynamical systems (FDDS) model phenomena that evolve deterministically in discrete time. It is possible to define sum and product operations on these systems (disjoint union and direct product, respectively) giving a commutative semiring. This algebraic structure led to several works employing polynomial equations to model hypotheses on phenomena modelled using FDDS. To solve…
▽ More
Finite discrete-time dynamical systems (FDDS) model phenomena that evolve deterministically in discrete time. It is possible to define sum and product operations on these systems (disjoint union and direct product, respectively) giving a commutative semiring. This algebraic structure led to several works employing polynomial equations to model hypotheses on phenomena modelled using FDDS. To solve these equations, algorithms for performing the division and computing $k$-th roots are needed. In this paper, we propose two polynomial algorithms for these tasks, under the condition that the result is a connected FDDS. This ultimately leads to an efficient solution to equations of the type $AX^k=B$ for connected $X$. These results are some of the important final steps for solving more general polynomial equations on FDDS.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Bringing memory to Boolean networks: a unifying framework
Authors:
Maximilien Gadouleau,
Loïc Paulevé,
Sara Riva
Abstract:
Boolean networks are extensively applied as models of complex dynamical systems, aiming at capturing essential features related to causality and synchronicity of the state changes of components along time. Dynamics of Boolean networks result from the application of their Boolean map according to a so-called update mode, specifying the possible transitions between network configurations. In this pa…
▽ More
Boolean networks are extensively applied as models of complex dynamical systems, aiming at capturing essential features related to causality and synchronicity of the state changes of components along time. Dynamics of Boolean networks result from the application of their Boolean map according to a so-called update mode, specifying the possible transitions between network configurations. In this paper, we explore update modes that possess a memory on past configurations, and provide a generic framework to define them. We show that recently introduced modes such as the most permissive and interval modes can be naturally expressed in this framework. We propose novel update modes, the history-based and trap** modes, and provide a comprehensive comparison between them. Furthermore, we show that trap** dynamics, which further generalize the most permissive mode, correspond to a rich class of networks related to transitive dynamics and encompassing commutative networks. Finally, we provide a thorough characterization of the structure of minimal and principal trapspaces, bringing a combinatorial and algebraic understanding of these objects.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
Accurate PRD modeling of the forward-scattering Hanle effect in the chromospheric CaI 4227 Å line
Authors:
Luca Belluzzi,
Simone Riva,
Gioele Janett,
Nuno Guerreiro,
Fabio Riva,
Pietro Benedusi,
Tanausú del Pino Alemán,
Ernest Alsina Ballester,
Javier Trujillo Bueno,
Jiří Štěpán
Abstract:
Measurable linear scattering polarization signals have been predicted and detected at the solar disk center in the core of chromospheric lines. These forward-scattering polarization signals, which are of high interest for magnetic field diagnostics, have always been modeled either under the assumption of complete frequency redistribution (CRD), or taking partial frequency redistribution (PRD) effe…
▽ More
Measurable linear scattering polarization signals have been predicted and detected at the solar disk center in the core of chromospheric lines. These forward-scattering polarization signals, which are of high interest for magnetic field diagnostics, have always been modeled either under the assumption of complete frequency redistribution (CRD), or taking partial frequency redistribution (PRD) effects into account under the angle-averaged (AA) approximation. This work aims at assessing the suitability of the CRD and PRD-AA approximations for modeling the forward-scattering polarization signals produced by the presence of an inclined magnetic field, the so-called forward-scattering Hanle effect, in the chromospheric CaI 4227 A line. Radiative transfer calculations are performed in semi-empirical 1D solar atmospheres, out of local thermodynamic equilibrium (LTE). A two-step solution strategy is applied: the non-LTE RT problem is first solved considering a multilevel atom and neglecting polarization phenomena. The same problem is then solved including polarization, considering a two-level atom and kee** fixed the lower-level population calculated at the previous step. The emergent linear polarization signals calculated under the CRD and PRD-AA approximations are analyzed and compared to those obtained by modeling PRD effects in their general angle-dependent (AD) formulation. With respect to the PRD-AD case, the CRD and PRD-AA calculations significantly underestimate the amplitude of the line-center polarization signals produced by the forward-scattering Hanle effect. The results of this work suggest that a PRD-AD modeling is required in order to develop reliable diagnostic techniques exploiting the forward-scattering polarization signals observed in the CaI 4227 A line. These results need to be confirmed by full 3D calculations including non-magnetic symmetry-breaking effects.
△ Less
Submitted 29 March, 2024;
originally announced April 2024.
-
A note on solving basic equations over the semiring of functional digraphs
Authors:
Alberto Dennunzio,
Enrico Formenti,
Luciano Margara,
Sara Riva
Abstract:
Endowing the set of functional graphs (FGs) with the sum (disjoint union of graphs) and product (standard direct product on graphs) operations induces on FGs a structure of a commutative semiring $\ring$. The operations on $\ring$ can be naturally extended to the set of univariate polynomials $\ring[X]$ over $\ring$. This paper provides a polynomial time algorithm for deciding if equations of the…
▽ More
Endowing the set of functional graphs (FGs) with the sum (disjoint union of graphs) and product (standard direct product on graphs) operations induces on FGs a structure of a commutative semiring $\ring$. The operations on $\ring$ can be naturally extended to the set of univariate polynomials $\ring[X]$ over $\ring$. This paper provides a polynomial time algorithm for deciding if equations of the type $AX=B$ have solutions when $A$ is just a single cycle and $B$ a set of cycles of identical size. We also prove a similar complexity result for some variants of the previous equation.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Multi-Physics Model Bias Correction with Data-Driven Reduced Order Modelling Techniques: Application to Nuclear Case Studies
Authors:
Stefano Riva,
Carolina Introini,
Antonio Cammi
Abstract:
Nowadays, interest in combining mathematical knowledge about phenomena and data from the physical system is growing. Past research was devoted to develo** so-called high-fidelity models, intending to make them able to catch most of the physical phenomena occurring in the system. Nevertheless, models will always be affected by uncertainties related, for example, to the parameters and inevitably l…
▽ More
Nowadays, interest in combining mathematical knowledge about phenomena and data from the physical system is growing. Past research was devoted to develo** so-called high-fidelity models, intending to make them able to catch most of the physical phenomena occurring in the system. Nevertheless, models will always be affected by uncertainties related, for example, to the parameters and inevitably limited by the underlying simplifying hypotheses on, for example, geometry and mathematical equations; thus, in a way, there exists an upper threshold of model performance. Now, research in many engineering sectors also focuses on the so-called data-driven modelling, which aims at extracting information from available data to combine it with the mathematical model. Focusing on the nuclear field, interest in this approach is also related to the Multi-Physics modelling of nuclear reactors. Due to the multiple physics involved and their mutual and complex interactions, develo** accurate and stable models both from the physical and numerical point of view remains a challenging task despite the advancements in computational hardware and software, and combining the available mathematical model with data can further improve the performance and the accuracy of the former.
This work investigates this aspect by applying two Data-Driven Reduced Order Modelling (DDROM) techniques, the Generalised Empirical Interpolation Method and the Parametrised-Background Data-Weak formulation, to literature benchmark nuclear case studies. The main goal of this work is to assess the possibility of using data to perform model bias correction, that is, verifying the reliability of DDROM approaches in improving the model performance and accuracy through the information provided by the data. The obtained numerical results are promising, foreseeing further investigation of the DDROM approach to nuclear industrial cases.
△ Less
Submitted 14 January, 2024;
originally announced January 2024.
-
Assessment of the CRD approximation for the observer's frame RIII redistribution matrix
Authors:
Simone Riva,
Nuno Guerreiro,
Gioele Janett,
Diego Rossinelli,
Pietro Benedusi,
Rolf Krause,
Luca Belluzzi
Abstract:
Approximated forms of the RII and RIII redistribution matrices are frequently applied to simplify the numerical solution of the radiative transfer problem for polarized radiation, taking partial frequency redistribution (PRD) effects into account. A widely used approximation for RIII is to consider its expression under the assumption of complete frequency redistribution (CRD) in the observer frame…
▽ More
Approximated forms of the RII and RIII redistribution matrices are frequently applied to simplify the numerical solution of the radiative transfer problem for polarized radiation, taking partial frequency redistribution (PRD) effects into account. A widely used approximation for RIII is to consider its expression under the assumption of complete frequency redistribution (CRD) in the observer frame (RIII CRD). The adequacy of this approximation for modeling the intensity profiles has been firmly established. By contrast, its suitability for modeling scattering polarization signals has only been analyzed in a few studies, considering simplified settings.
In this work, we aim at quantitatively assessing the impact and the range of validity of the RIII CRD approximation in the modeling of scattering polarization. Methods. We first present an analytic comparison between RIII and RIII CRD. We then compare the results of radiative transfer calculations, out of local thermodynamic equilibrium, performed with RIII and RIII CRD in realistic 1D atmospheric models. We focus on the chromospheric Ca i line at 4227 A and on the photospheric Sr i line at 4607 A.
△ Less
Submitted 12 November, 2023; v1 submitted 3 October, 2023;
originally announced October 2023.
-
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks
Authors:
Sara Riva,
Jean-Marie Lagniez,
Gustavo Magaña López,
Loïc Paulevé
Abstract:
Minimal trap spaces (MTSs) capture subspaces in which the Boolean dynamics is trapped, whatever the update mode. They correspond to the attractors of the most permissive mode. Due to their versatility, the computation of MTSs has recently gained traction, essentially by focusing on their enumeration. In this paper, we address the logical reasoning on universal properties of MTSs in the scope of tw…
▽ More
Minimal trap spaces (MTSs) capture subspaces in which the Boolean dynamics is trapped, whatever the update mode. They correspond to the attractors of the most permissive mode. Due to their versatility, the computation of MTSs has recently gained traction, essentially by focusing on their enumeration. In this paper, we address the logical reasoning on universal properties of MTSs in the scope of two problems: the reprogramming of Boolean networks for identifying the permanent freeze of Boolean variables that enforce a given property on all the MTSs, and the synthesis of Boolean networks from universal properties on their MTSs. Both problems reduce to solving the satisfiability of quantified propositional logic formula with 3 levels of quantifiers ($\exists\forall\exists$). In this paper, we introduce a Counter-Example Guided Refinement Abstraction (CEGAR) to efficiently solve these problems by coupling the resolution of two simpler formulas. We provide a prototype relying on Answer-Set Programming for each formula and show its tractability on a wide range of Boolean models of biological networks.
△ Less
Submitted 20 July, 2023; v1 submitted 3 May, 2023;
originally announced May 2023.
-
An Algorithmic Pipeline for Solving Equations over Discrete Dynamical Systems Modelling Hypothesis on Real Phenomena
Authors:
Alberto Dennunzio,
Enrico Formenti,
Luciano Margara,
Sara Riva
Abstract:
This paper provides an algorithmic pipeline for studying the intrinsic structure of a finite discrete dynamical system (DDS) modelling an evolving phenomenon. Here, by intrinsic structure we mean, regarding the dynamics of the DDS under observation, the feature of resulting from the "cooperation" of the dynamics of two or more smaller DDS. The intrinsic structure is described by an equation over D…
▽ More
This paper provides an algorithmic pipeline for studying the intrinsic structure of a finite discrete dynamical system (DDS) modelling an evolving phenomenon. Here, by intrinsic structure we mean, regarding the dynamics of the DDS under observation, the feature of resulting from the "cooperation" of the dynamics of two or more smaller DDS. The intrinsic structure is described by an equation over DDS which represents a hypothesis over the phenomenon under observation. The pipeline allows solving such an equation, i.e., validating the hypothesis over the phenomenon, as far the asymptotic behavior and the number of states of the DDS under observation are concerned. The results are about the soundness and completeness of the pipeline and they are obtained by exploiting the algebraic setting for DDS introduced in [10].
△ Less
Submitted 19 December, 2022; v1 submitted 9 November, 2022;
originally announced November 2022.
-
Decomposition and factorisation of transients in Functional Graphs
Authors:
François Doré,
Enrico Formenti,
Antonio E. Porreca,
Sara Riva
Abstract:
Functional graphs (FGs) model the graph structures used to analyse the behaviour of functions from a discrete set to itself. In turn, such functions are used to study real complex phenomena evolving in time. As the systems involved can be quite large, it is interesting to decompose and factorise them into several subgraphs acting together. Polynomial equations over functional graphs provide a form…
▽ More
Functional graphs (FGs) model the graph structures used to analyse the behaviour of functions from a discrete set to itself. In turn, such functions are used to study real complex phenomena evolving in time. As the systems involved can be quite large, it is interesting to decompose and factorise them into several subgraphs acting together. Polynomial equations over functional graphs provide a formal way to represent this decomposition and factorisation mechanism, and solving them validates or invalidates hypotheses on their decomposability. The current solution method breaks down a single equation into a series of basic equations of the form AxX = B (with A, X, and B being FGs) to identify the possible solutions. However, it is able to consider just FGs made of cycles only. This work proposes an algorithm for solving these basic equations for general connected FGs. By exploiting a connection with the cancellation problem, we prove that the upper bound to the number of solutions is closely related to the size of the cycle in the coefficient A of the equation. The cancellation problem is also involved in the main algorithms provided by the paper. We introduce a polynomial-time semi-decision algorithm able to provide constraints that a potential solution will have to satisfy if it exists. Then, exploiting the ideas introduced in the first algorithm, we introduce a second exponential-time algorithm capable of finding all solutions by integrating several 'hacks' that try to keep the exponential as tight as possible.
△ Less
Submitted 4 April, 2024; v1 submitted 17 August, 2022;
originally announced August 2022.
-
Solution to the two-body Smoluchowski equation with shear flow for charge-stabilized colloids at low to moderate Péclet numbers
Authors:
Simone Riva,
Luca Banetta,
Alessio Zaccone
Abstract:
We developed an analytical theoretical method to determine the microscopical structure of weakly to moderately sheared colloidal suspensions in dilute conditions. The microstructure is described by the static structure factor, obtained by solving the stationary two-body Smoluchowski advection-diffusion equation. The singularly perturbed PDE problem is solved by performing an angular averaging over…
▽ More
We developed an analytical theoretical method to determine the microscopical structure of weakly to moderately sheared colloidal suspensions in dilute conditions. The microstructure is described by the static structure factor, obtained by solving the stationary two-body Smoluchowski advection-diffusion equation. The singularly perturbed PDE problem is solved by performing an angular averaging over the extensional and compressing sectors and by the rigorous application of boundary-layer theory (intermediate asymptotics). This allows us to expand the solution to a higher order in Péclet with respect to previous methods. The scheme is independent of the type of interaction potential. We apply it to the example of charge-stabilized colloidal particles interacting via the repulsive Yukawa potential and study the distortion of the structure factor. It is predicted that the distortion is larger at small wavevectors $k$ and its dependence on $Pe$ is a simple power law. At increasing $Pe$, the main peak of the structure factor displays a broadening and shift towards lower $k$ in the extensional sectors, which indicates shear-induced spreading out of particle correlations and neighbor particles locally being dragged away from the reference one. In the compressing sectors, instead, a narrowing and shift towards high $k$ is predicted, reflecting shear-induced ordering near contact and concomitant depletion in the medium-range. An overall narrowing of the peak is also predicted for the structure factor averaged over the whole solid angle. Calculations are also performed for hard spheres, showing good overall agreement with experimental data. It is also shown that the shear-induced structure factor distortion is orders of magnitude larger for the Yukawa repulsion than for the hard spheres.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
Modeling the scattering polarization of the solar Ca i 4227 Å line with angle-dependent partial frequency redistribution
Authors:
Gioele Janett,
Ernest Alsina Ballester,
Nuno Guerreiro,
Simone Riva,
Luca Belluzzi,
Tanausú del Pino Alemán,
Javier Trujillo Bueno
Abstract:
Context. The correct modeling of the scattering polarization signals observed in several strong resonance lines requires taking partial frequency redistribution (PRD) phenomena into account. Aims. This work aims at assessing the impact and the range of validity of the angle-averaged AA approximation with respect to the general angle-dependent (AD) treatment of PRD effects in the modeling of scatte…
▽ More
Context. The correct modeling of the scattering polarization signals observed in several strong resonance lines requires taking partial frequency redistribution (PRD) phenomena into account. Aims. This work aims at assessing the impact and the range of validity of the angle-averaged AA approximation with respect to the general angle-dependent (AD) treatment of PRD effects in the modeling of scattering polarization in strong resonance lines, with focus on the solar Ca i 4227 Å line. Methods. Spectral line polarization is modeled by solving the radiative transfer problem for polarized radiation, under nonlocal thermodynamic equilibrium conditions, taking PRD effects into account, in static one-dimensional semi-empirical atmospheric models presenting arbitrary magnetic fields. The problem is solved through a two-step approach. In step 1, the problem is solved for intensity only, considering a multi-level atom. In step 2, the problem is solved including polarization, considering a two-level atom with an unpolarized and infinitely sharp lower level, and fixing the lower level population calculated at step 1. Results. The results for the Ca i 4227 Å line show a good agreement between the AA and AD calculations for the Q/I and U/I wings signals. However, AA calculations reveal an artificial trough in the line-core peak of the linear polarization profiles, whereas AD calculations show a sharper peak in agreement with observations. Conclusions. An AD treatment of PRD effects is essential to correctly model the line-core peak of the scattering polarization signal of the Ca i 4227 Å line. By contrast, in the considered static case, the AA approximation seems to be suitable to model the wing scattering polarization lobes and their magnetic sensitivity through magneto-optical effects.
△ Less
Submitted 22 October, 2021;
originally announced October 2021.
-
Sleep quality, chronotype and social jet lag of adolescents from a population with a very late chronotype
Authors:
Andrés H. Calderón,
Romina A. Capellino,
Damián Dellavale,
D. Lorena Franco,
Pablo M. Gleiser,
Sergio Lindenbaum,
Mara López-Wortzman,
Sabrina C. Riva,
Fernanda R. Román,
Sebastián Risau-Gusman
Abstract:
Sleep disorders can be a negative factor both for learning as for the mental and physical development of adolescents. It has been shown that, in many populations, adolescents tend to have a poor sleep quality, and a very late chronotype. Furthermore, these features peak at adolescence, in the sense that adults tend to sleep better and have an earlier chronotype. But what happens when we consider a…
▽ More
Sleep disorders can be a negative factor both for learning as for the mental and physical development of adolescents. It has been shown that, in many populations, adolescents tend to have a poor sleep quality, and a very late chronotype. Furthermore, these features peak at adolescence, in the sense that adults tend to sleep better and have an earlier chronotype. But what happens when we consider adolescents in a population where already adults have poor sleep quality and a very late chronotype? We have conducted two non-clinical studies in the city of Bariloche, Argentina aimed at measuring sleep quality, chronotype, and social jet lag, using the Pittsburgh and Munich questionnaires. These were administered individually to groups of high school students, as well as to smaller samples of adults and preadolescents, in order to study differences between adolescents and these groups. The results show that in this population sleep quality is much poorer than in most other healthy populations recorded elsewhere. Furthermore, sleep quality is consistently worse for adolescents than for the other groups. The difference with adults seems to be due mainly to increased daytime sleepiness and sleep latency, whereas the difference with preadolescents seems to be due mainly to shorter sleep duration. We also found that the chronotypes of all the groups are very late, with a peak at an age between 18 and 24 ys. Social jet lag and sleep onset latency are also large, and they peak at adolescence, which suggests that they might be closely related to the large prevalence of poor sleep quality that we find in adolescents.
△ Less
Submitted 19 March, 2021;
originally announced March 2021.
-
Non-maximal sensitivity to synchronism in periodic elementary cellular automata: exact asymptotic measures
Authors:
Pedro P. B. de Oliveira,
Enrico Formenti,
Kévin Perrot,
Sara Riva,
Eurico L. P. Ruivo
Abstract:
In [11] and [13] the authors showed that elementary cellular automata rules 0, 3, 8, 12, 15, 28, 32, 34, 44, 51, 60, 128, 136, 140, 160, 162, 170, 200 and 204 (and their conjugation, reflection, reflected-conjugation) are not maximum sensitive to synchronism, i.e. they do not have a different dynamics for each (non-equivalent) block-sequential update schedule (defined as ordered partitions of cell…
▽ More
In [11] and [13] the authors showed that elementary cellular automata rules 0, 3, 8, 12, 15, 28, 32, 34, 44, 51, 60, 128, 136, 140, 160, 162, 170, 200 and 204 (and their conjugation, reflection, reflected-conjugation) are not maximum sensitive to synchronism, i.e. they do not have a different dynamics for each (non-equivalent) block-sequential update schedule (defined as ordered partitions of cell positions). In this work we present exact measurements of the sensitivity to synchronism for these rules, as functions of the size. These exhibit a surprising variety of values and associated proof methods, such as the special pairs of rule 128, and the connection to the bissection of Lucas numbers of rule 8.
△ Less
Submitted 23 July, 2020; v1 submitted 15 April, 2020;
originally announced April 2020.
-
Solving Equations on Discrete Dynamical Systems (Extended version)
Authors:
Alberto Dennunzio,
Enrico Formenti,
Luciano Margara,
Valentin Montmirail,
Sara Riva
Abstract:
Boolean automata networks, genetic regulation networks, and metabolic networks are just a few examples of biological modelling by discrete dynamical systems (DDS). A major issue in modelling is the verification of the model against the experimental data or inducing the model under uncertainties in the data. Equip** finite discrete dynamical systems with an algebraic structure of commutative semi…
▽ More
Boolean automata networks, genetic regulation networks, and metabolic networks are just a few examples of biological modelling by discrete dynamical systems (DDS). A major issue in modelling is the verification of the model against the experimental data or inducing the model under uncertainties in the data. Equip** finite discrete dynamical systems with an algebraic structure of commutative semiring provides a suitable context for hypothesis verification on the dynamics of DDS. Indeed, hypothesis on the systems can be translated into polynomial equations over DDS. Solutions to these equations provide the validation to the initial hypothesis. Unfortunately, finding solutions to general equations over DDS is undecidable. In this article, we want to push the envelope further by proposing a practical approach for some decidable cases in a suitable configuration that we call the Hypothesis Checking. We demonstrate that for many decidable equations all boils down to a "simpler" equation. However, the problem is not to decide if the simple equation has a solution, but to enumerate all the solutions in order to verify the hypothesis on the real and undecidable systems. We evaluate experimentally our approach and show that it has good scalability properties.
△ Less
Submitted 25 November, 2019; v1 submitted 30 April, 2019;
originally announced April 2019.
