Traducere vocală, funcționalități offline, sinonime, conjugare, jocuri educative
Publicitate
Înregistrează-te gratuit: mai multe rezultate și funcții
computer-assisted proof
Traducere "computer-assisted proof" în spaniolă
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).
Sinonime și analogii pentru "computer-assisted proof" în limba Română
Cuvântul și expresia zilei
Imaginea zilei
Sugestii
Rezultate: 8. Exacte: 8. Timp de răspuns: 97 ms.
