Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
computer-assisted proof
Vertaling van "computer-assisted proof" in Spaans
prueba asistida por ordenador
demostración asistida por computadora
A computer-assisted proof is a mathematical proof that has been at least partially generated by computer.
Una prueba asistida por ordenador es una demostración matemática que ha sido generada al menos parcialmente utilizando una computadora.
In practice, the chances of an error invalidating a computer-assisted proof can be reduced by incorporating redundancy and self-checks into calculations, and by developing multiple independent approaches and programs.
En la práctica las posibilidades de un error que invalide una demostración asistida por computador pueden reducirse al incorporar redundancia y auto-revisiones en los cálculos, y al desarrollar enfoques y programas múltiples e independientes.
The non-existence of a finite plane of order 10 was proven in a computer-assisted proof that finished in 1989 - see (Lam 1991) for details.
La no existencia de un plano finito de orden 10 fue probada en una demostración asistida por computadora que terminó en 1989 (véase (Lam, 1991) para más detalles).
The + on 18 denotes that the Kepler conjecture solution is a computer-assisted proof, a notion anachronistic for a Hilbert problem and to some extent controversial because of its lack of verifiability by a human reader in a reasonable time.
El en el 18 indica que la solución a la ecuación de Kepler es una demostración asistida por computadora, una noción anacrónica para un problema de Hilbert y controvertida hasta cierto punto debido a que un lector humano no puede verificarla en tiempo razonable.
In 2010, academics at The University of Edinburgh offered people the chance to "buy their own theorem" created through a computer-assisted proof.
En 2010, los académicos de la Universidad de Edimburgo ofrecieron a las personas la posibilidad de "comprar su propio teorema" creado a través de una prueba asistida por ordenador.
The main article for this category is Computer-assisted proof.
El artículo principal de esta categoría es: Fabricación asistida por computadora.
In practice, the chances of an error invalidating a computer-assisted proof can be reduced by incorporating redundancy and self-checks into calculations, and by developing multiple independent approaches and programs.
En la práctica las posibilidades de un error que invalide una demostración asistida por computador pueden reducirse al incorporar redundancia y auto-revisiones en los cálculos, y al desarrollar enfoques y programas múltiples e independientes.
The non-existence of a finite plane of order 10 was proven in a computer-assisted proof that finished in 1989 - see (Lam 1991) for details.
La no existencia de un plano finito de orden 10 fue probada en una demostración asistida por computadora que terminó en 1989 (véase (Lam, 1991) para más detalles).
Synoniemen voor computer-assisted proof in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 8. Exact: 8. Verstreken tijd: 118 ms.
