Do you know about some software to evaluate mathematical proofs on the web?

More Carlos Segura-Vidal's questions See All

¿Qué método de investigación sería el más adecuado para indagar sobre el racismo en las comunidades racializadas en España ?

Cómo el racismo que está integrado en las estructuras sociales afecta a las comunidades que ya están en riesgo de exclusión, como las comunidades racializadas o marginadas, y cómo esto hace que...

10 March 2024 1,491 3 View

¿Aplicarías el método cualitativo o cuantitativo para investigar sobre el riesgo de exclusión que sufren las personas con discapacidad intelectual?

Qué método sería el más adecuado para investigar este colectivo, de manera ética y respetuosa, para obtener información relevante sin violar sus derechos.

10 March 2024 612 1 View

Handling procedure of brain samples for RT-PCR / Western Blot?

Hello, What would be the best procedure right after extracting brain samples from mice, if we plan to analyze the samples later ? Would it be best to just directly flash freeze the brain...

28 February 2024 7,384 1 View

Is there any one who can provide me SAS syntax for Probit analysis and determine de LC50 & LC95?

Somebody who give me a syntax for SAS software to determine de letal concentration on probit analysis?

04 December 2023 610 2 View

Which statistical tool or test can be used for dose-response curve with time component?

Hello, We are trying to analyze data from different patients. Here's the summary for the entire cohort: 1) Each patient will be followed over time. 2) Each patient will be given a starting dose...

19 November 2023 5,434 4 View

Q-TwisT (Quality adjusted survival analysis)?

I am trying to do the partitioned survival plot for a Q-TwisT analysis. I am not sure what I should use as censoring when calculating the Toxicity state as the survival curve is the time that the...

14 September 2023 5,305 0 View

Noradrenalin or nor/metanephrin ELISAs?

Hi everyone, I have recently used an ELISA kit from Elabscience (E-EL-0047), and the results I got are strange. I have used two different kits and in both of them, the standards and the samples'...

09 March 2023 9,607 0 View

Can the I2 statistic in my CMA meta-analysis be 0?

I have run a meta-analysis comparing the change score of a continuous outcome between females and males using the Comprehensive Meta-analysis (CMA) Software. I entered the pre and post values, and...

27 October 2022 7,354 1 View

How does the hiker's behavior change with the use of new technologies in preparation, during the hike and when returning home?

We note that more and more hikers are using Apps, social networks or other technologies to support their hiking activities. Are there differences between technological hikers and classic hikers?...

26 December 2021 5,670 5 View

How long do vaccines protect us against COVID 19?

Or will we have to get vaccinated every year, as in the case of influenza?

27 February 2021 1,601 5 View

What is the difference between mathematical R^4 space and physical 4D unit space?

We assume that the difference is huge and that it is not possible to compare the two spaces. The R^4 mathematical space considers time as an external controller and the space itself is immobile in...

10 August 2024 6,678 14 View

May members post flyers about opportunities to present at a conference? If so, where to post?

May members post flyers about opportunities to present at a conferehttps://veraeducation.com/nce? If so, where to post for the Virginia Educational Research Association? https://veraeducation.com/

08 August 2024 4,585 1 View

GC-MS retention index prediticon?

Hello experts, Does anyone know any free software about retention index prediction ?

08 August 2024 7,403 2 View

What precautions should be taken while handling S. aureus enterotoxin Type B in the lab?

I would like to understand potential safety concerns while handling SEB in the lab. Especially while working in animal house facility. Would like to know precautions for handling. Sigma MSDS...

07 August 2024 6,034 3 View

How to understand this crystallographic phenomenon of low temperature crystals in zeolite?

During low-temperature testing, new diffraction peaks that appear could be indicative of several phenomena. In one of our tests, we observed notable new peaks around 40° and 45° in a specific...

06 August 2024 726 3 View

Can anyone provide me with molecular docking softwares/ websites?

Molecular docking software/ websites?

02 August 2024 8,704 7 View

What should I do in this situation ?

I'm an undergraduate university student conducting research on the effects of internet use on depression and anxiety among undergraduate Ghanaian university students: Mediation role of Internet...

31 July 2024 2,979 3 View

In teaching with Evidence-Based Practices for students with ASD, what are some that can benefit from the use of AI?

I am a student in a master's program for Special Education and I am curious to see what Evidence-Based Practices that are used in teaching individuals with Autism Spectrum Disorder benefit from...

30 July 2024 5,611 1 View

Tips for teaching Orton Gillingham+ to students with autism?

I am beginning to use OG+ in my district and noticed during training there are a lot of materials and routines, which may be overwhelming for my students, especially those on the autism spectrum....

30 July 2024 5,695 0 View

Do some Staphylococcus aureus strains have in vitro antimycobacterial activity ?

Some Staphylococcus aureus strains Inhibit the growth of Mycobacteria in Mueller Hinton Agar medium containing 10% OADC. Do some Staphylococcus aureus strains have in vitro antimycobacterial activity?

29 July 2024 10,023 2 View

Goran Pavlov

https://codility.com

Here you can evaluate any mathematical proofs!

No, not only that! In the background run all possible script and computer languages. Any possible formula can be checked for correctness. On the left side you write the formula, and on the right you have the result. Bud this portal is used mainly, to examine the programming skills of programmers.

Well, you have to put that in a formula ;)

Carlos Segura-Vidal

Thank you very much for your answers. Must be designed to assess language demonstrations.